Three-valued nonmonotonic formalisms and semantics of logic programs

Pragmatic Reasoning: Inferring Contexts

CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context

Agent-oriented programming: from prolog to guarded definite clauses

Agent-oriented programming: from prolog to guarded definite clauses

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

ACM Transactions on Computational Logic (TOCL)

On a Logical Basis of Normal Logic Programs

Fundamenta Informaticae

Stationary Default Extensions

Fundamenta Informaticae