Alviano, M., Calimeri, F., Faber, W., Leone, N. and Perri, S.
2011. Unfounded sets and well-founded semantics of answer set programs with aggregates. Journal of Artificial Intelligence Research
Baader, F., McGuinness, D. L. and Nardi, D.
2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
Bi, Y., You, J. and Feng, Z.
2014. A generalization of approximation fixpoint theory and application. In Proc. of the 8th International Conference on Web Reasoning and Rule Systems, 45–59.
Denecker, M., Marek, V. W. and Truszczynski, M.
2004. Ultimate approximation and its application in nonmonotonic knowledge representation systems. Information and Computation
192, 1, 84–121.
Eiter, T., Kaminski, T., Redl, C. and Weinzierl, A.
2016. Exploiting partial assignments for efficient evaluation of answer set programs with external source access. In Proc. of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, NY, USA, 9–15 July 2016, 1058–1065.
Gebser, M., Kaufmann, B. and Schaub, T.
2012. Conflict-driven answer set solving: From theory to practice. Artificial Intelligence
Gelder, A. V.
1993. The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences
47, 1, 185–221.
Heule, M. and Schaub, T.
2015. What's hot in the SAT and ASP competitions. In Proc. of the 29th AAAI Conference on Artificial Intelligence (AAAI-15), 4322–4323.
Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P. F. and Rudolph, S.
2009. Owl 2 web ontology language primer. W3C Recommendation
27, 1, 123.
Ji, J., Wan, H., Huo, Z. and Yuan, Z.
2015. Simplifying A logic program using its consequences. In Proc. of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), July 25–31, 2015, Buenos Aires, Argentina, 3069–3075.
Knorr, M., Alferes, J. J. and Hitzler, P.
2011. Local closed world reasoning with description logics under the well-founded semantics. Artificial Intelligence
175, 9, 1528–1554.
Leone, N., Rullo, P. and Scarcello, F.
1997. Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation. Information and Computation
135, 2, 69–112.
1991. Nonmonotonic databases and epistemic queries. In Proc. of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), 381–386.
Malik, S. and Zhang, L.
2009. Boolean satisfiability from theoretical hardness to practical success. Communications ACM
52, 8, 76–82.
Motik, B. and Rosati, R.
2010. Reconciling description logics and rules. Journal of the ACM
57, 5, 30.
Nieuwenhuis, R., Oliveras, A. and Tinelli, C.
2006. Solving SAT and SAT Modulo Theories: From an abstract davis-putnam-logemann-loveland procedure to DPLL(T). Journal of the ACM
53, 6, 937–977.
Simons, P., Niemelä, I. and Soininen, T.
2002. Extending and implementing the stable model semantics. Artificial Intelligence
138, 1–2, 181–234.
1955. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics
5, 2, 285–309.
Van Gelder, A., Ross, K. A. and Schlipf, J. S.
1991. The well-founded semantics for general logic programs. Journal of the ACM
38, 3, 619–649.
Vennekens, J., Denecker, M. and Bruynooghe, M.
2010. FO(ID) as an extension of DL with rules. Annals of Mathematics and Artificial Intelligence
58, 1–2, 85–115.
Zhang, L. and Malik, S.
2002. The quest for efficient Boolean satisfiability solvers. In Proc. of the14th International Conference on Computer Aided Verification, (CAV 2002), July 27–31, 2002, Copenhagen, Denmark, 17–36.