Simplified forms of computerized reasoning with distance semantics

DOI10.1016/j.jal.2010.07.001zbMath1216.68254OpenAlexW1999586011MaRDI QIDQ545150

Anna Zamansky, Ofer Arieli

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

zbMATH Keywords

automated reasoningnon-classical logicsdistance semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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

• MaxSolver
• MiniMaxSat

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