scientific article; zbMATH DE number 2080019

MaRDI QIDQ4472206zbMATH OpenFDO

Authors Ofer Arieli, Marc Denecker

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2284/22840001.htm

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Recommendations

• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• A simple signed system for paraconsistent reasoning
• scientific article; zbMATH DE number 1269574
• scientific article; zbMATH DE number 4128792
• Signed systems for paraconsistent reasoning

Cited in

(10)

• A model-theoretic approach for recovering consistent data from inconsistent knowledge bases
• Signed systems for paraconsistent reasoning
• Restricted semantics for default reasoning
• A normative model of classical reasoning in higher order languages
• Computational methods for database repair by signed formulae
• scientific article; zbMATH DE number 6389528 (Why is no real title available?)
• Enthymematic classical recapture
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• A simple signed system for paraconsistent reasoning
• Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories

This page was built for publication:

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