A LOGICAL ANALYSIS OF RULE INCONSISTENCY

DOI10.1142/S1793351X11001250zbMath1234.68368MaRDI QIDQ3225381

Philippe Besnard

Publication date: 19 March 2012

Published in: International Journal of Semantic Computing (Search for Journal in Brave)

zbMATH Keywords

consistencylogicrule

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A sound and complete semantics for a version of negation as failure
• Completeness theory for propositional logics
• On systems containing Aristotle's thesis

This page was built for publication: A LOGICAL ANALYSIS OF RULE INCONSISTENCY