Challenges for Action Theories: Solving the
Ramification and Qualification Problem
LNAI 1775, Springer 2000.
From Situation Calculus To Fluent Calculus: A New Motivation
International Workshop on Nonmonotonic Reasoning (NMR-98), Trento, Italy, 1998.
Non-Classical Automated Deduction
In: Trends in Theoretical Informatics, p. 39-59, Oldenbourg München, 1996.
The Role of Automated Deduction in Intellectics
AISB Workshop on Automated Reasoning, April 1995.
On the Logic of Dynamic Systems
AAAI Spring Symposium Series--Extending Theories of Actions: Formal Theory and Practical Applications, March 1995.
Skeptical Query-Answering in Constrained Default Logic
Dutch/German Workshop on Nonmonotonic Reasoning, March 1995.
Disjunction in Resource-Oriented Deductive Planning
Poster presentation at: International Logic Programming Symposium (ILPS), p. 670, MIT Press 1993.