Representing paraconsistent reasoning via quantified propositional logic

DOI10.1007/978-3-540-30597-2_4MaRDI QIDQ5464028zbMATH OpenOpenAlexFDO

Authors Torsten Schaub, Hans Tompits, Stefan Woltran, P. Besnard

Publication date 17 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b104925

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Logic in artificial intelligence (68T27)

Recommendations

• Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
• Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories
• Paraconsistent reasoning via quantified Boolean formulas. I: Axiomatising signed systems
• Automatic reasoning in paraconsistent logic
• A knowledge representation perspective: Logics for paraconsistent reasoning

Cited in

(10)

• A solver for QBFs in negation normal form
• Resource-bounded paraconsistent inference
• A QBF-based formalization of abstract argumentation semantics
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• Paraconsistent reasoning via quantified Boolean formulas. I: Axiomatising signed systems
• scientific article; zbMATH DE number 910433 (Why is no real title available?)
• scientific article; zbMATH DE number 7455717 (Why is no real title available?)
• Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
• Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories
• Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard

Describes a project that uses

Uses Software

• Quaffle

This page was built for publication: Representing paraconsistent reasoning via quantified propositional logic

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