Towards a general theory of action and time
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
A formal approach to planning with concurrent actions and external events
A formal approach to planning with concurrent actions and external events
Temporal reasoning in artificial intelligence
Exploring artificial intelligence
The synthesis of digital machines with provable epistemic properties
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
MIV'05 Proceedings of the 5th WSEAS international conference on Multimedia, internet & video technologies
Intelligent interaction for linguistic learning
ACII'05 Proceedings of the First international conference on Affective Computing and Intelligent Interaction
UIC'06 Proceedings of the Third international conference on Ubiquitous Intelligence and Computing
Applied Computational Intelligence and Soft Computing - Special issue on Awareness Science and Engineering
UIC'07 Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing
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 ...