Logic programming and knowledge representation, J. Log. Program, vol.19, pp.73-148, 1994. ,
Modal Logic. Cambridge Tracts in Theoretical Computer Science, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00100503
Splitting epistemic logic programs, Proceedings of the 17th International Workshop on Nonmonotonic Reasoning, pp.27-29, 2018. ,
Epistemic equilibrium logic, Proceedings of the 24th International Joint Conference on Artificial Intelligence, pp.2964-2970, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01334713
The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications, J. Log. Comput, vol.7, issue.2, pp.159-174, 1997. ,
Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, France. Advances in Data Base Theory, pp.293-322, 1977. ,
, What is negation as failure? In: Artikis, vol.7360, pp.52-78, 2012.
Strong introspection, Proceedings of the 9th National Conference on Artificial Intelligence, vol.1, pp.386-391, 1991. ,
Logic programming and reasoning with incomplete information, Ann. Math. Artif. Intell, vol.12, issue.1-2, pp.89-116, 1994. ,
Answer sets, Handbook of Knowledge Representation, vol.1, p.285, 2008. ,
New semantics for epistemic specifications, LPNMR 2011, vol.6645, pp.260-265, 2011. ,
New definition of epistemic specifications, 2011. ,
The stable model semantics for logic programming, Logic Programming, Proceedings of the Fifth International Conference and Symposium, vol.2, pp.1070-1080, 1988. ,
Classical negation in logic programs and disjunctive databases, New Gener. Comput, vol.9, pp.365-386, 1991. ,
Die formalen Regeln der intuitionistischen Logik, Sitzungsber. Preuss. Akad. Wiss. 42-71, pp.158-169, 1930. ,
Negation as failure in the head, J. Log. Program, vol.35, issue.1, pp.39-78, 1998. ,
The language of epistemic specifications (refined) including a prototype solver, J. Log. Comput, 2015. ,
Refining the semantics for epistemic logic programs, 2014. ,
Epistemic logic programs with world view constraints, Technical Communications of the 34th International Conference on Logic Programming, vol.64, pp.14-17, 2018. ,
A parallel memory-efficient epistemic logic program solver: harder, better, 2016. ,
Logic programming, Computational Logic, Handbook of the History of Logic, vol.9, pp.523-569, 2014. ,
A survey of advances in epistemic logic program solvers. abs/1809, Also in the Proceedings of the 11th International Workshop on Answer Set Programming and other Computer Paradigms, p.7141, 2018. ,
Nested expressions in logic programs, Ann. Math. Artif. Intell, vol.25, issue.3-4, pp.369-389, 1999. ,
Stable models and an alternative logic programming paradigm, 1998. ,
Logic programs with stable model semantics as a constraint programming paradigm, Ann. Math. Artif. Intell, vol.25, issue.3-4, pp.241-273, 1999. ,
A new logical characterisation of stable models and answer sets, NMELP 1996, vol.1216, pp.57-70, 1997. ,
Equilibrium logic, Ann. Math. Artif. Intell, vol.47, issue.1-2, pp.3-41, 2006. ,
On the relationship between logic programming and nonmonotonic reasoning, Proceedings of the 7th National Conference on Artificial Intelligence, pp.444-448, 1988. ,
Evaluating epistemic negation in answer set programming, Artif. Intell, vol.237, pp.115-135, 2016. ,
Evaluating epistemic negation in answer set programming (extended abstract), Proceedings of the 26th International Joint Conference on Artificial Intelligence, pp.5060-5064, 2017. ,
On computing world views of epistemic logic programs, Proceedings of the 26th International Joint Conference on Artificial Intelligence, pp.1269-1275, 2017. ,
What is a nonmonotonic consequence relation? Fundam, Inform, vol.21, issue.1/2, pp.7-21, 1994. ,
Extensions of equilibrium logic by modal concepts. (Extensions de la logique d'équilibre par des concepts modaux), 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01636791
Revisiting epistemic specifications, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, vol.6565, pp.315-333, 2011. ,
Nested epistemic logic programs, LPNMR 2005, vol.3662, pp.279-290, 2005. ,
A splitting set theorem for epistemic specifications, 2000. ,
Updating epistemic logic programs, J. Log. Comput, vol.19, issue.2, pp.405-423, 2009. ,
Epistemic specifications and conformant planning, Proceedings of the 2017 Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning, 2017. ,
Introspecting preferences in answer set programming, Technical Communications of the 34th International Conference on Logic Programming, vol.64, pp.14-17, 2018. ,