PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Solving normative conflicts by merging roles
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Reasoning About Data Provided By Federated Deductive Databases
Journal of Intelligent Information Systems
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Using a belief revision operator for document ranking in extended Boolean models
Proceedings of the 22nd annual international ACM SIGIR conference on Research and development in information retrieval
A sequential reversible belief revision method based on polynomials
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Compilability and compact representations of revision of Horn knowledge bases
ACM Transactions on Computational Logic (TOCL)
Beliefs, time and incomplete information in multiple encounter negotiations among autonomous agents
Annals of Mathematics and Artificial Intelligence
Maximal state independent approximations to minimal real change
Annals of Mathematics and Artificial Intelligence
Counterfactuals and Updates as Inverse Modalities
Journal of Logic, Language and Information
Journal of Logic, Language and Information
A Power Algebra for Theory Change
Journal of Logic, Language and Information
Infobase Change: A First Approximation
Journal of Logic, Language and Information
Refined Epistemic Entrenchment
Journal of Logic, Language and Information
Belief Fusion: Aggregating Pedigreed Belief States
Journal of Logic, Language and Information
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
An Algebraic Approach to Knowledge Representation
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Representing Belief Revision through Default Theories
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
The learning power of belief revision
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Querying a Multilevel Database: A Logical Analysis
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
On a Linear Representation Theory for Quantitative Belief Change
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
The Principle of Conditional Preservation in Belief Revision
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Spatial Information Revision: A Comparison between 3 Approaches
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Some Operators for Iterated Revision
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On Complexity of Updates through Integrity Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Following Conditional Structures of Knowledge
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Merging with Integrity Constraints
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Towards mathematical morpho-logics
Technologies for constructing intelligent systems
Making revision reversible: an approach based on polynomials
Fundamenta Informaticae
The semantics of preference-based belief operators
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision
Annals of Mathematics and Artificial Intelligence
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation
Artificial Intelligence
A consistency-based approach for belief change
Artificial Intelligence
The Knowledge Engineering Review
Belief revision: from theory to practice
The Knowledge Engineering Review
On the logic of iterated belief revision
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Consistent belief reasoning in the presence of inconsistency
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Non-prioritised ranked belief change
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Counterfactuals and updates as inverse modalities: preliminary version
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
On the semantics of belief revision systems
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
Matrix representation of belief states: an algebraic semantics for belief logics
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Additive Consolidation with Maximal Change
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic-based approaches to information fusion
Information Fusion
Social choice theory, belief merging, and strategy-proofness
Information Fusion
Iterated belief revision, revised
Artificial Intelligence
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Artificial Intelligence
Updates in answer set programming: An approach based on basic structural properties
Theory and Practice of Logic Programming
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
Internal models and private multi-agent belief revision
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Failure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Conservative Adaptation in Metric Spaces
ECCBR '08 Proceedings of the 9th European conference on Advances in Case-Based Reasoning
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Causality and Dynamics of Beliefs in Qualitative Uncertainty Frameworks
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the Dynamics of Total Preorders: Revising Abstract Interval Orders
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Survey of Revision Approaches in Description Logics
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A Kernel Revision Operator for Terminologies -- Algorithms and Evaluation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Iterated Belief Revision in the Face of Uncertain Communication
Declarative Agent Languages and Technologies VI
Rational choice and AGM belief revision
Artificial Intelligence
Reasoning with Prioritized Data by Aggregation of Distance Functions
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Elaborating domain descriptions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Conflicts between Relevance-Sensitive and Iterated Belief Revision
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A General Model for Epistemic State Revision using Plausibility Measures
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Goal Generation and Adoption from Partially Trusted Beliefs
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Propositional merging operators based on set-theoretic closeness
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Prime Implicate-based Belief Revision Operators
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Using Transfinite Ordinal Conditional Functions
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Encoding the Revision of Partially Preordered Information in Answer Set Programming
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Belief Merging-Based Case Combination
ICCBR '09 Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Belief Revision with Bounded Treewidth
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A semantic approach for iterated revision in possibilistic logic
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Revising imprecise probabilistic beliefs in the framework of probabilistic logic programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Representing and aggregating conflicting beliefs
Journal of Artificial Intelligence Research
Admissible and restrained revision
Journal of Artificial Intelligence Research
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
Proving theorems in a multi-source environment
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Syntactic characterizations of belief change operators
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Reasoning about persistence: a theory of actions
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Postulates for conditional belief revision
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hidden uncertainty in the logical representation of desires
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
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
A granularity-based framework of deduction, induction, and abduction
International Journal of Approximate Reasoning
Updates, actions, and planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Revision of partially ordered information: axiomatization, semantics and iteration
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Iterated belief revision, revised
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Model-based revision operators for terminologies in description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On a linear framework for belief dynamics in multi-agent environments
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Dialogue game tree with nondeterministic additive consolidation
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
On a linear framework for belief dynamics in multi-agent environments
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
On the diffvierence of horn theories
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
PRICAI'00 Proceedings of the 6th 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
A framework for handling revisions in distributed ontologies
Proceedings of the 2010 ACM Symposium on Applied Computing
Implementing knowledge update sequences
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Approaches to inconsistency handling in description-logic based ontologies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
A general family of preferential belief removal operators
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Double preference relations for generalised belief change
Artificial Intelligence
A logic for revision and subjunctive queries
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Extending Removed Sets Revision to partially preordered belief bases
International Journal of Approximate Reasoning
Updating knowledge bases with disjunctive information
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Iterated belief change in the situation calculus
Artificial Intelligence
Prime forms and minimal change in propositional belief bases
Annals of Mathematics and Artificial Intelligence
Belief extrapolation (or how to reason about observations and unpredicted change)
Artificial Intelligence
Superiority based revision of defeasible theories
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
From inconsistency to consistency: knowledge base revision by tableaux opening
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Iterated belief change due to actions and observations
Journal of Artificial Intelligence Research
A framework for managing uncertain inputs: An axiomization of rewarding
International Journal of Approximate Reasoning
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Logic-based fusion of complex epistemic states
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
A modal framework for relating belief and signed information
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Parallel belief revision: Revising by sets of formulas
Artificial Intelligence
(Dis)Belief change based on messages processing
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Knowledge base revision in description logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Conciliation and consensus in iterated belief merging
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Belief revision of product-based causal possibilistic networks
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
Revising beliefs on the basis of evidence
International Journal of Approximate Reasoning
On the logic of iterated non-prioritised revision
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
On the link between partial meet, kernel, and infra contraction and its application to Horn logic
Journal of Artificial Intelligence Research
Duality between merging operators and social contraction operators
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Revising by an inconsistent set of formulas
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Repairing incorrect knowledge with model formulation and metareasoning
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Belief base rationalization for propositional merging
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Transitively relational partial meet horn contraction
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Considerations on belief revision in an action theory
Correct Reasoning
Making revision reversible: an approach based on polynomials
Fundamenta Informaticae
Fundamenta Informaticae
Critical reasoning: AI for emergency response
Applied Intelligence
PTL: a propositional typicality logic
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Relevant minimal change in belief update
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Revision over partial pre-orders: a postulational study
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
A reasoning platform based on the MI shapley inconsistency value
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Definability of horn revision from horn contraction
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Case adaptation with qualitative algebras
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Dynamic of argumentation frameworks
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Belief revision within fragments of propositional logic
Journal of Computer and System Sciences
Lost in translation: Language independence in propositional logic - application to belief change
Artificial Intelligence
Confluence operators and their relationships with revision, update and merging
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |