Artificial Intelligence
Artificial Intelligence
Introduction to algorithms
Prioritising preference relations
Proceedings of the First Imperial College Department of Computing Workshop on Theory and formal methods 1993
Tractable reasoning via approximation
Artificial Intelligence
Propositional belief base update and minimal change
Artificial Intelligence
Otter - The CADE-13 Competition Incarnations
Journal of Automated Reasoning
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Knowledge compilation using theory prime implicates
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A new algorithm for computing theory prime implicates compilations
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
In the past twenty years, several theoretical models (and some implementations) for non-monotonic reasoning have been proposed. We present an analysis of a model for prioritized inference. We are interested in modeling resource-bounded agents, with limitations in memory, time, and logical ability. We list the computational bottlenecks of the model and suggest the use of some existent techniques to deal with the computational complexity. We also present an analysis of the tradeoff between formal properties and computational efficiency.