On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning About Data Provided By Federated Deductive Databases
Journal of Intelligent Information Systems
Knowledge-Driven versus Data-Driven Logics
Journal of Logic, Language and Information
Infobase Change: A First Approximation
Journal of Logic, Language and Information
A representation theorem for recovering contraction relations satisfying wci
Theoretical Computer Science
A New Approach to Base Revision
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Minimal Belief Change and Pareto-Optimality
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Hypergraph Transversal Computation and Related Problems in Logic and AI
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
Belief revision: from theory to practice
The Knowledge Engineering Review
Artificial Intelligence - Special issue on nonmonotonic reasoning
Artificial Intelligence - Special issue on nonmonotonic reasoning
On the semantics of belief revision systems
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
On Generalizing the AGM Postulates
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Knowledge state reconsideration: hindsight belief revision
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Dependency-directed reconsideration belief base optimization for truth maintenance systems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Proving theorems in a multi-source environment
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Iterated theory base change: a computational model
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the use of matrices for belief revision
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
Journal of Artificial Intelligence Research
Prime forms and minimal change in propositional belief bases
Annals of Mathematics and Artificial Intelligence
Autodoxastic conditional reasoning: the monotonic case
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
Transforming prioritized defaults and specificity into parallel defaults
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Syntax-based default reasoning as probabilistic model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Resource-Bounded belief revision and contraction
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Automating belief revision for agentspeak
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |