Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
Methods of Automated Reasoning
Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
On Anytime Coherence-Based Reasoning
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Revising Nonmonotonic Theories: The Case of Defeasible Logic
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Relaxing Ceteris Paribus Preferences with Partially Ordered Priorities
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Compiling the Lexicographic Inference Using Boolean Cardinality Constraints
Canadian AI '09 Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence
Local Computation Schemes with Partially Ordered Preferences
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Knowledge Base Stratification and Merging Based on Degree of Support
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Argumentation Context Systems: A Framework for Abstract Group Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An Analysis of Sum-Based Incommensurable Belief Base Merging
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Inconsistency management and prioritized syntax-based entailment
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Specifying multiple time granularities in interactive systems
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Compact preference representation for boolean games
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
On defaults in action theories
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Reasoning under inconsistency: A forgetting-based approach
Artificial Intelligence
Disjunctive merging: Quota and Gmin merging operators
Artificial Intelligence
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
Abduction as belief revision: a model of preferred explanations
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Handling inconsistency with preference-based argumentation
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
A Structuralist Theory of Belief Revision
Journal of Logic, Language and Information
Preferences in AI: An overview
Artificial Intelligence
Solving conflicts in information merging by a flexible interpretation of atomic propositions
Artificial Intelligence
Underwater archaeological 3D surveys validation within the removed sets framework
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Contrastive Reasoning with Inconsistent Ontologies
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Belief functions and default reasoning
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Transforming prioritized defaults and specificity into parallel defaults
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Belief revision with uncertain inputs in the possibilistic setting
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Possibility and necessity functions over non-classical logic
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Penalty logic and its link with Dempster-Shafer theory
UAI'94 Proceedings of the Tenth international 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
Exceptional subclasses in qualitative probability
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Argumentative inference in uncertain and inconsistent knowledge bases
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Reasoning with qualitative probabilities can be tractable
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Introduction to inconsistency tolerance
Inconsistency Tolerance
Representing paraconsistent reasoning via quantified propositional logic
Inconsistency Tolerance
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
Approaches to measuring inconsistent information
Inconsistency Tolerance
A possibilistic inconsistency handling in answer set programming
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Multiple semi-revision in possibilistic logic
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A new approach for preference-based argumentation frameworks
Annals of Mathematics and Artificial Intelligence
Preference-driven querying of inconsistent relational databases
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Prioritized repairing and consistent query answering in relational databases
Annals of Mathematics and Artificial Intelligence
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
A method of contrastive reasoning with inconsistent ontologies
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Identifying the class of maxi-consistent operators in argumentation
Journal of Artificial Intelligence Research
Approaches to measuring inconsistency for stratified knowledge bases
International Journal of Approximate Reasoning
Rich preference-based argumentation frameworks
International Journal of Approximate Reasoning
Hi-index | 0.01 |
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 ...