A note on the stable model semantics for logic programs

Revisiting quantification in autoepistemic logic

ACM Transactions on Computational Logic (TOCL)

Logic programming and knowledge representation-the A-prolog perspective

Artificial Intelligence

Representing Knowledge in A-Prolog

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II

Open Default Theories over Closed Domains

ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

Default theories over monadic languages

Theoretical Computer Science - Logic, language, information and computation

Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning

Journal of Logic, Language and Information

Default Theories Over Monadic Languages

Electronic Notes in Theoretical Computer Science (ENTCS)

First-order Non-monotonic Modal Logics

Fundamenta Informaticae

Agent-supported collaboration and interoperability for networked enterprises: Modeling interactions and service compositions

Computers in Industry