Reflexive autoepistemic logic and logic programming

Logic programming and knowledge representation-the A-prolog perspective

Artificial Intelligence

Applications of intuitionistic logic in Answer Set Programming

Theory and Practice of Logic Programming

Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2

Theory and Practice of Logic Programming

Embedding nonground logic programs into autoepistemic logic for knowledge-base combination

ACM Transactions on Computational Logic (TOCL)

The Logic Of Only Knowing As A Unified Framework For Non-Monotonic Reasoning

Fundamenta Informaticae

Displacement logic for anaphora

Journal of Computer and System Sciences