Akbarpour, B. and Paulson, L. C.
2010. Metitarski: An automatic theorem prover for real-valued special functions. J. Autom. Reasoning
44, 3, 175–205.
Alviano, M., Calimeri, F., Charwat, G., Dao-Tran, M., Dodaro, C., Ianni, G., Krennwallner, T., Kronegger, M., Oetsch, J., Pfandler, A., Pührer, J., Redl, C., Ricca, F., Schneider, P., Schwengerer, M., Spendier, L. K., Wallner, J. P. and Xiao, G.
2013. The fourth answer set programming competition: Preliminary report. In LPNMR, Cabalar, P. and Son, T. C., Eds. LNCS. 42–53.
Alviano, M., Dodaro, C., Faber, W., Leone, N. and Ricca, F.
2013. WASP: A native ASP solver based on constraint learning. In Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, Cabalar, P. and Son, T. C., Eds. Lecture Notes in Computer Science, vol. 8148. Springer, 54–66.
Alviano, M., Faber, W., Leone, N., Perri, S., Pfeifer, G. and Terracina, G.
2010. The disjunctive datalog system DLV. In Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, de Moor, O., Gottlob, G., Furche, T., and Sellers, A. J., Eds. Lecture Notes in Computer Science, vol. 6702. Springer, 282–301.
Alviano, M. and Peñaloza, R.
2013. Fuzzy answer sets approximations. TPLP
13, 4–5, 753–767.
Asuncion, V., Lin, F., Zhang, Y. and Zhou, Y.
2012. Ordered completion for first-order logic programs on finite structures. Artif. Intell.
2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
Barrett, C. W., Sebastiani, R., Seshia, S. A. and Tinelli, C.
2009. Satisfiability modulo theories. In Handbook of Satisfiability, Biere, A., Heule, M., van Maaren, H., and Walsh, T., Eds. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press, 825–885.
Ben-Eliyahu, R. and Dechter, R.
1994. Propositional semantics for disjunctive logic programs. Ann. Math. Artif. Intell.
12, 1–2, 53–87.
Blondeel, M., Schockaert, S., Vermeir, D. and Cock, M. D.
2014. Complexity of fuzzy answer set programming under łukasiewicz semantics. Int. J. Approx. Reasoning
55, 9, 1971–2003.
Calimeri, F., Gebser, M., Maratea, M. and Ricca, F.
2014. The design of the fifth answer set programming competition. CoRR abs/1405.3710.
Clark, K. L.
1977. Negation as failure. In Logic and Data Bases. 293–322.
de Moura, L. M. and Bjørner, N.
2008. Z3: an efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, Ramakrishnan, C. R. and Rehof, J., Eds. Lecture Notes in Computer Science, vol. 4963. Springer, 337–340.
Delgrande, J. P., Schaub, T., Tompits, H. and Woltran, S.
2008. Belief revision of logic programs under answer set semantics. In Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, Brewka, G. and Lang, J., Eds. 411–421.
Eiter, T., Fink, M. and Woltran, S.
2007. Semantical characterizations and complexity of equivalences in answer set programming. ACM Trans. Comput. Log.
Eiter, T. and Gottlob, G.
1995. On the computational cost of disjunctive logic programming: Propositional case. Ann. Math. Artif. Intell.
15, 3–4, 289–323.
Ge, Y. and de Moura, L. M.
2009. Complete instantiation for quantified formulas in satisfiabiliby modulo theories. In Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, Bouajjani, A. and Maler, O., Eds. Lecture Notes in Computer Science, vol. 5643. Springer, 306–320.
Gebser, M., Kaminski, R., König, A. and Schaub, T.
2011. Advances in gringo series 3. In Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings, Delgrande, J. P. and Faber, W., Eds. Lecture Notes in Computer Science, vol. 6645. Springer, 345–351.
Gebser, M., Kaufmann, B. and Schaub, T.
2012. Conflict-driven answer set solving: From theory to practice. Artif. Intell.
Gelfond, M. and Lifschitz, V.
1991. Classical negation in logic programs and disjunctive databases. New Generation Comput.
9, 3/4, 365–386.
2004. Representing normal programs with clauses. In Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, Valencia, Spain, August 22-27, 2004, de Mántaras, R. L. and Saitta, L., Eds. IOS Press, 358–362.
Janssen, J., Schockaert, S., Vermeir, D. and Cock, M. D.
2012. Answer Set Programming for Continuous Domains - A Fuzzy Logic Approach. Atlantis Computational Intelligence Systems, vol. 5. Atlantis Press.
Janssen, J., Vermeir, D., Schockaert, S. and Cock, M. D.
2012. Reducing fuzzy answer set programming to model finding in fuzzy logics. TPLP
12, 6, 811–842.
Lee, J. and Wang, Y.
2014. Stable models of fuzzy propositional formulas. In Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, Fermé, E. and Leite, J., Eds. Lecture Notes in Computer Science, vol. 8761. Springer, 326–339.
Lierler, Y. and Maratea, M.
2004. Cmodels-2: Sat-based answer set solver enhanced to non-tight programs. In Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, Lifschitz, V. and Niemelä, I., Eds. Lecture Notes in Computer Science, vol. 2923. Springer, 346–350.
Lin, F. and You, J.-H.
2002. Abduction in logic programming: A new definition and an abductive procedure based on rewriting. Artificial Intelligence
140, 1/2, 175–205.
Marek, V. W. and Remmel, J. B.
2004. Answer set programming with default logic. In 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, Delgrande, J. P. and Schaub, T., Eds. 276–284.
Marek, V. W. and Truszczyński, M.
1999. Stable Models and an Alternative Logic Programming Paradigm. In The Logic Programming Paradigm – A 25-Year Perspective, Apt, K. R., Marek, V. W., Truszczyński, M., and Warren, D. S., Eds. Springer Verlag, 375–398.
Mushthofa, M., Schockaert, S. and Cock, M. D.
2014. A finite-valued solver for disjunctive fuzzy answer set programs. In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, Schaub, T., Friedrich, G., and O'Sullivan, B., Eds. Frontiers in Artificial Intelligence and Applications, vol. 263. IOS Press, 645–650.
1999. Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell.
25, 3–4, 241–273.
2008. Stable models and difference logic. Ann. Math. Artif. Intell.
53, 1–4, 313–329.
Nieuwenborgh, D. V., Cock, M. D. and Vermeir, D.
2007. An introduction to fuzzy answer set programming. Ann. Math. Artif. Intell.
50, 3–4, 363–388.
2006. Efficient solving of quantified inequality constraints over the real numbers. ACM Trans. Comput. Log.
7, 4, 723–748.