Default timed concurrent constraint programming
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Provably correct theories of action
Journal of the ACM (JACM)
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Postdiction Problems in Dynamic Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Distance Functions for Defaults in Reactive Systems
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Situated nonmonotonic temporal reasoning with BABY‐SIT
AI Communications
A temporal argumentative system
AI Communications
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
Soundness and completeness theorems for three formalizations of action
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Challenges for action theories
Challenges for action theories
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Reasoning about continuous processes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Possibilistic decreasing persistence
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Fundamenta Informaticae
| Hi-index | 0.00 |