Reasoning in multiple belief spaces
Reasoning in multiple belief spaces
Theoretical foundations for belief revision
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
A process theory of non-monotonic inference
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Computing the extensions of autoepistemic and default logics with a truth maintenance system
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Reasoning as axioms change: incremental view maintenance reconsidered
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
An RDF storage and query framework with flexible inference strategy
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
| Hi-index | 0.00 |
To progress significantly beyond current reason maintenance systems, we must formulate their structure and intended behavior precisely enough to analyze computational complexities and tradeoffs independently of the current set of limited implementation proposals. This paper summarizes one such formulation, and indicates some unsolved practical problems for investigation in future reason maintenance sys terns.