Belief Merging by Examples

DOI10.1145/2818645zbMath1367.68285arXiv1409.5340OpenAlexW2293884587MaRDI QIDQ5277910

Paolo Liberatore

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1409.5340

zbMATH Keywords

belief mergingreliability estimation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (1)

Mixed Iterated Revisions: Rationale, Algorithms, and Complexity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Revising beliefs on the basis of evidence
• Logic based merging
• The complexity of nested counterfactuals and iterated knowledge base revisions
• Disjunctive merging: quota and Gmin merging operators
• Iterated belief revision, revised
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the logic of iterated belief revision
• Maps in Multiple Belief Change
• A Model-Theoretic Approach to Belief Change in Answer Set Programming
• Propositional Update Operators Based on Formula/Literal Dependence
• Degrees of acyclicity for hypergraphs and relational database schemes
• On the Semantics of Arbitration
• Solving SAT and SAT Modulo Theories
• Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
• On the logic of theory change: Partial meet contraction and revision functions
• Belief contraction in the context of the general theory of rational choice
• Revision by History
• Belief revision and update: Complexity of model checking

This page was built for publication: Belief Merging by Examples