Simplified forms of computerized reasoning with distance semantics
From MaRDI portal
Publication:545150
DOI10.1016/j.jal.2010.07.001zbMath1216.68254OpenAlexW1999586011MaRDI QIDQ545150
Publication date: 22 June 2011
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2010.07.001
Related Items (2)
A graded approach to database repair by context-aware distance semantics ⋮ A dissimilarity-based framework for generating inconsistency-tolerant logics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(\text{DA}^2\) merging operators
- Reasoning with prioritized information by iterative aggregation of distance functions
- Disjunctive merging: quota and Gmin merging operators
- Resolution for Max-SAT
- Two modellings for theory change
- Multiset theory
- Measuring inconsistency
- Minimal-change integrity maintenance using tuple deletions
- Another perspective on default reasoning
- Distance-based paraconsistent logics
- Implementing semantic merging operators using binary decision diagrams
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
- Distance semantics for database repair
- Distance semantics for belief revision
- Voting by Committees
- Error Detecting and Error Correcting Codes
- Merging Information Under Constraints: A Logical Framework
- Answer sets for consistent query answering in inconsistent databases
- A sphere world semantics for default reasoning
This page was built for publication: Simplified forms of computerized reasoning with distance semantics
