A model-based approach to updating databases with incomplete information
ACM Transactions on Database Systems (TODS)
Hypothetical datalog negation and linear recursion
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Hierarchically organised formalisations
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
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
The complexity of logic-based abduction
Journal of the ACM (JACM)
The size of a revised knowledge base
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A framework for comparison of update semantics
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Compilability and compact representations of revision of Horn knowledge bases
ACM Transactions on Computational Logic (TOCL)
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Refined Epistemic Entrenchment
Journal of Logic, Language and Information
Explanations, belief revision and defeasible reasoning
Artificial Intelligence
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
A New Approach to Base Revision
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Epistemic Context, Defeasible Inference and Conversational Implicature
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Context and Relevance: A Pragmatic Approach
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
A Calculus and Complexity Bound for Minimal Conditional Logic
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases
JELIA '00 Proceedings of the European Workshop on Logics 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
Succinct Representations of Model Based Belief Revision
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
A Theory of First-Order Counterfactual Reasoning
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Fast algorithms for revision of some special propositional knowledge bases
Journal of Computer Science and Technology
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence - Special issue on nonmonotonic reasoning
A knowledge-based framework for belief change part I: foundations
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
On the semantics of belief revision systems
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Notes on conditional semantics
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Weak AGM postulates and strong Ramsey Test: a logical formalization
Artificial Intelligence
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Logic-based approaches to information fusion
Information Fusion
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic (TOCL)
Dynamic intention structures I: a theory of intention representation
Autonomous Agents and Multi-Agent Systems
A solver for QBFs in negation normal form
Constraints
Tableau calculus for preference-based conditional logics: PCL and its extensions
ACM Transactions on Computational Logic (TOCL)
Prime Implicate-based Belief Revision Operators
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A semantic approach for iterated revision in possibilistic logic
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Space efficiency of propositional knowledge representation formalisms
Journal of Artificial Intelligence Research
Decision-theoretic foundations for causal reasoning
Journal of Artificial Intelligence Research
Incremental recompilation of knowledge
Journal of Artificial Intelligence Research
Sometimes updates are circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the semantics of counterfactuals
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A schema-based approach to understanding subjunctive conditionals
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Revision sequences and nested conditionals
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The complexity of nested counterfactuals and iterated knowledge base revisions
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A unified view of consequence relation, belief revision and conditional logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Relating belief revision and circumscription
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Weak AGM postulates and strong Ramsey Test: A logical formalization
Artificial Intelligence
Conditional and Preferential Logics: Proof Methods and Theorem Proving
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
Rationality, autonomy and coordination: the sunk costs perspective
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Reasoning under inconsistency: A forgetting-based approach
Artificial Intelligence
Possible worlds and the qualification problem
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Counterfactual reasoning with direct models
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Possible worlds and the qualification problem
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Counterfactual reasoning with direct models
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The P-systems: a systematic classification of logics of n onmonotonicity
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
A logic for revision and subjunctive queries
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Abduction as belief revision: a model of preferred explanations
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Discovering Semantic Web services using SPARQL and intelligent agents
Web Semantics: Science, Services and Agents on the World Wide Web
What is believed is what is explained (sometimes)
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
The complexity of model checking for belief revision and update
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
What Is A Nonmonotonic Consequence Relation?
Fundamenta Informaticae
Nested sequent calculi for conditional logics
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Sequent systems for lewis' conditional logics
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A Lewisian Logic of Causal Counterfactuals
Minds and Machines
Hi-index | 0.00 |