Approximate coherence-based reasoning

DOI10.3166/jancl.12.239-258zbMath1060.68119OpenAlexW2065153879MaRDI QIDQ4453903

Frédéric Koriche

Publication date: 7 March 2004

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00268549/file/b73922c73dd6e4fc0f110ba7fcb70afc7582.pdf

zbMATH Keywords

four-valued logicmulti-modal logicsanytime computation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (1)

Does This Set of Clauses Overlap with at Least One MUS?

Cites Work

• Nonmonotonic reasoning: From complexity to algorithms
• Anytime clausal reasoning
• Limited reasoning in first-order knowledge bases
• On the complexity of entailment in propositional multivalued logics
• Tractable reasoning via approximation
• Another perspective on default reasoning
• Implementing the Davis-Putnam method
• On inference from inconsistent premisses
• Argumentative logics: Reasoning with classically inconsistent information
• Knowledge compilation and theory approximation
• Counterfactuals
• A nonstandard approach to the logical omniscience problem
• Local search characteristics of incomplete SAT procedures

This page was built for publication: Approximate coherence-based reasoning