Foundations of a functional approach to knowledge representation.
Artificial Intelligence
A formal theory of indexical knowledge and action
A formal theory of indexical knowledge and action
A Deduction Model of Belief
Indexical knowledge in robot plans
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
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 ...