PARACONSISTENT INFERENCE FROM DATA USING EXISTENTIAL Ω-ENTAILMENT

DOI10.1142/S1793351X11001249zbMath1234.68375OpenAlexW1964226204MaRDI QIDQ3225380

Michael R. Genesereth, Michael Kassoff

Publication date: 19 March 2012

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

Full work available at URL: https://doi.org/10.1142/s1793351x11001249

zbMATH Keywords

logicdeductive databasesparaconsistent reasoning

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Unnamed Item
• Unnamed Item
• Nonmonotonic reasoning, preferential models and cumulative logics
• Argumentative logics: Reasoning with classically inconsistent information
• A LANGUAGE FOR QUESTIONS AND ANSWERS
• Defeasible logic programming: an argumentative approach

This page was built for publication: PARACONSISTENT INFERENCE FROM DATA USING EXISTENTIAL Ω-ENTAILMENT