Provably correct theories of action
Journal of the ACM (JACM)
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
The Situation and State Calculus versus Branching Temporal Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Belief revision in a changing world
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Temporal projection and explanation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Minimal change and maximal coherence: a basis for belief revision and reasoning about actions
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Prediction is deduction but explanation is abduction
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
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Provably correct theories of action
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |