Autoepistemic logic and formalization of commonsense reasoning: preliminary report

Answer set programming and plan generation

Artificial Intelligence

Representing and reasoning about concurrent actions with abductive logic programs

Annals of Mathematics and Artificial Intelligence

Two components of an action language

Annals of Mathematics and Artificial Intelligence

Temporal representation and reasoning in artificial intelligence: Issues and approaches

Annals of Mathematics and Artificial Intelligence

Temporal projection and explanation

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2

Truth maintenance

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2

Formal Real-Time Imagination

Fundamenta Informaticae