Circumscription: a form of non-monotonic reasoning, Artif. Intell, vol.13, issue.1-2, pp.27-39, 1980. ,
A logic for default reasoning, Artif. Intell, vol.13, issue.1-2, pp.81-132, 1980. ,
Non-monotonic logic I, Artif. Intell, vol.13, issue.1-2, pp.41-72, 1980. ,
Knowledge Representation, Reasoning and Declarative Problem Solving, 2003. ,
Conflict-driven answer set solving: from theory to practice, Artif. Intell, pp.52-89, 2012. ,
Design and implementation of aggregate functions in the DLV system, Theory Pract. Log. Program, vol.8, issue.5-6, pp.545-580, 2008. ,
, , vol.37, pp.53-68, 2016.
The stable model semantics for logic programming, Proceedings of the Fifth International Conference and Symposium of Logic Programming (ICLP'88), pp.1070-1080, 1988. ,
Equilibrium logic, Ann. Math. Artif. Intell, vol.47, issue.1-2, pp.3-41, 2006. ,
, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), pp.372-379, 2007.
On equivalence of infinitary formulas under the stable model semantics, Theory Pract, Log. Program, vol.15, issue.1, pp.18-34, 2015. ,
A new logical characterisation of stable models and answer sets, Proceedings of the Sixth International Workshop on Non-Monotonic Extensions of Logic Programming (NMELP'96), vol.1216, pp.57-70, 1997. ,
ASP-Core-2: input language format, 2012. ,
Extending and implementing the stable model semantics, Artif. Intell, vol.138, issue.1-2, pp.181-234, 2002. ,
Well-founded and stable semantics of logic programs with aggregates, Theory Pract, Log. Program, vol.7, issue.3, pp.301-353, 2007. ,
A constructive semantic characterization of aggregates in answer set programming, Theory Pract, Log. Program, vol.7, issue.3, pp.355-375, 2007. ,
Logic programs with propositional connectives and aggregates, ACM Trans. Comput. Log, vol.12, issue.4, p.25, 2011. ,
Semantics and complexity of recursive aggregates in answer set programming, Artif. Intell, vol.175, issue.1, pp.278-298, 2011. ,
Vicious circle principle and logic programs with aggregates, Theory Pract, Log. Program, vol.14, issue.4-5, pp.587-601, 2014. ,
Stable model semantics of abstract dialectical frameworks revisited: a logic programming perspective, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pp.2684-2690, 2015. ,
, Theory Pract. Log. Program, vol.15, issue.4-5, pp.449-463, 2015.
Answer sets for propositional theories, Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), vol.3662, pp.119-131, 2005. ,
Strongly equivalent logic programs, ACM Trans. Comput. Log, vol.2, issue.4, pp.526-541, 2001. ,
A denotational semantics for equilibrium logic, Theory Pract, Log. Program, vol.15, issue.4-5, pp.620-634, 2015. ,
On the properties of GZ-aggregates in answer set programming, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, pp.4105-4109, 2016. ,
The semantics of gringo and infinitary propositional formulas, Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 2014. ,
Functional answer set programming, Theory Pract, Log. Program, vol.11, issue.2-3, pp.203-233, 2011. ,
Functional ASP with intensional sets: application to Gelfond-Zhang aggregates, Theory Pract, Log. Program, vol.18, issue.3-4), pp.390-405, 2018. ,