Splitting epistemic logic programs, Proceedings of the 17th International Workshop on Non-monotonic Reasoning (NMR 2018), pp.81-89, 2018. ,
Epistemic equilibrium logic, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2015), pp.2964-2970, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01334713
Strong introspection, Proceedings of the AAAI Conference, vol.1, pp.386-391, 1991. ,
New semantics for epistemic specifications, LPNMR 2011, vol.6645, pp.260-265, 2011. ,
The stable model semantics for logic programming, Proceedings of the 5th International Conference on Logic Programming, pp.1070-1080, 1988. ,
The language of epistemic specifications (refined) including a prototype solver, J. Log. Comput, 2015. ,
Epistemic logic programs with world view constraints, Technical communication of the 34th International Conference on Logic Programming (ICLP 2018), 2018. ,
A survey of advances in epistemic logic program solvers, Proceedings of the 11th International Workshop on Answer Set Programming and Other Computer Paradigms (ASPOCP 2018), 2018. ,
Splitting a logic program, Proceedings of the International Conference on Logic Programming, pp.23-37, 1994. ,
Evaluating epistemic negation in answer set programming (extended abstract), Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2017), pp.5060-5064, 2017. ,
On computing world views of epistemic logic programs, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2017), vol.6565, pp.315-333, 2011. ,
A splitting set theorem for epistemic specifications, CoRR: Proceedings of the 8th International Workshop on Non-monotonic Reasoning, 2000. ,