Computational Aspects of Quasi-Classical Entailment

DOI10.3166/JANCL.11.295-312MaRDI QIDQ4443010zbMATH OpenOpenAlexWikidataFDO

Authors Pierre Marquis, Nadège Porquet

Publication date 8 January 2004

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

Full work available at URL https://doi.org/10.3166/jancl.11.295-312

zbMATH Keywords

paraconsistent logicautomated reasoningreasoning under inconsistencyquasi-classical logicquasi-classical entailmenttractable classes of formulas

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Reasoning under uncertainty in the context of artificial intelligence (68T37) Paraconsistent logics (03B53)

Recommendations

• scientific article; zbMATH DE number 1844496
• Quasi-classical description logic
• Reasoning with contradictory information using quasi-classical logic
• Quasi-classical reasoning in paraconsistent databases
• scientific article; zbMATH DE number 4181307

Cites work

• scientific article; zbMATH DE number 3986613 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1198948 (Why is no real title available?)
• A machine program for theorem-proving
• Knowledge compilation and theory approximation
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• On the theory of inconsistent formal systems
• Reasoning with contradictory information using quasi-classical logic
• Renaming a Set of Clauses as a Horn Set
• Tractable reasoning via approximation

Cited in

(7)

• Reasoning with contradictory information using quasi-classical logic
• Quasi-classical description logic
• Quasi-classical reasoning in paraconsistent databases
• Inconsistency-tolerant reasoning with OWL DL
• On quasi-inconsistency and its complexity
• An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
• scientific article; zbMATH DE number 1844496 (Why is no real title available?)

This page was built for publication: Computational Aspects of Quasi-Classical Entailment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4443010)