Towards a general theory of action and time
Artificial Intelligence
Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems
Journal of the ACM (JACM)
A Note on Dijkstra's Shortest Path Algorithm
Journal of the ACM (JACM)
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Synthesizing constraint expressions
Communications of the ACM
A multi - agent based architecture to qualitative temporal constraint reasoning
ECC'10 Proceedings of the 4th conference on European computing conference
A temporal terminological logic
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Reasoning about qualitative temporal information
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
On generalized interval calculi
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
On the minimality and decomposability of constraint networks
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Algorithms and complexity for reasoning about time
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Maximal tractable subclasses of Allen's interval algebra: preliminary report
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Temporal query processing with indefinite information
Artificial Intelligence in Medicine
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |
Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...