On the Semantics of Arbitration
DOI10.1142/S0218196797000095zbMATH Open0865.68040OpenAlexW2025889479WikidataQ57641744 ScholiaQ57641744MaRDI QIDQ3128543
Publication date: 16 June 1997
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218196797000095
combinationrelational databasesknowledge basesarbitrationrevisionfinite modelsminimal model changeupdata
Information storage and retrieval of data (68P20) Knowledge representation (68T30) Database theory (68P15) Other algebras related to logic (03G25) Other applications of logic (03B80)
Cited In (35)
- Confluence operators and their relationships with revision, update and merging
- Arbitration systems and negotiations
- Infinitary belief revision
- Disjunctive merging: quota and Gmin merging operators
- Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation
- Belief fusion and revision: an overview based on epistemic logic semantics
- Merging Belief Bases Represented by Logic Programs
- Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
- On the semantics of combination operations
- Main issues in belief revision, belief merging and information fusion
- Belief Merging by Examples
- Belief Merging within Fragments of Propositional Logic
- Assertional Removed Sets Merging of DL-Lite Knowledge Bases
- Implementing semantic merging operators using binary decision diagrams
- Logic based merging
- Syntactic Propositional Belief Bases Fusion with Removed Sets
- Merging First-Order Knowledge Using Dilation Operators
- Sum-based weighted belief base merging: from commensurable to incommensurable framework
- Prime forms and minimal change in propositional belief bases
- A split-combination approach to merging knowledge bases in possibilistic logic
- Majority merging by adaptive counting
- Reasoning under inconsistency: a forgetting-based approach
- Implementing Prioritized Merging with ASP
- An argumentation framework for merging conflicting knowledge bases
- \(\text{DA}^2\) merging operators
- Merging Qualitative Constraints Networks Using Propositional Logic
- Belief base merging as a game
- Query answering DL-lite knowledge bases from hidden datasets
- On the use of aggregation operations in information fusion processes.
- Fusion of possibilistic knowledge bases from a postulate point of view.
- Recovering Consistency by Forgetting Inconsistency
- Merging in the Horn Fragment
- Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases
- Confluence Operators
- Title not available (Why is that?)
This page was built for publication: On the Semantics of Arbitration
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3128543)
