Handling infinite temporal data
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
STCSP – structured temporal constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Some Considerations on Branching Areas of Time
Journal of Logic, Language and Information
Circumscription in a modal logic
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Selected AI-Related Dissertations Assembled
ACM SIGART Bulletin
Using and refining simplifications: explanation-based learning of plans in intractable domains
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Situation recognition: representation and algorithms
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic logics: meaning and utility
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Formalizing and using persistency
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Learning general completable reactive plans
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
A New Method Of Circumscribing Beliefs The Propositional Case
Fundamenta Informaticae
Hi-index | 0.00 |