The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Two components of an action language
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Applied Intelligence
Solving the Qualification Problem
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A New Equational Foundation for the Fluent Calculus
CL '00 Proceedings of the First International Conference on Computational Logic
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Reasoning with incomplete initial information and nondeterminism in situation calculus
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Things that change by themselves
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Temporal projection and explanation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Explanation in the situation calculus
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A formal theory of multiple agent nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The generalized theory of model preference
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Provably correct theories of action
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Formalizing reasoning about change: a qualitative reasoning approach
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Reasoning about multi-agent domains using action language C: a preliminary study
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Fundamenta Informaticae
Hi-index | 0.00 |