Restricted semantics for default reasoning

DOI10.1007/s10472-018-9592-zzbMath1443.68179OpenAlexW2809625647MaRDI QIDQ1757453

Zuoquan Lin, Chen Chen

Publication date: 4 January 2019

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-018-9592-z

zbMATH Keywords

paraconsistencydefault logicfour-valued logicnonmonotonic reasoningrestricted semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Many-valued logic (03B50) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• The value of the four values
• Default theories that always have extensions
• Uniform semantic treatment of default and autoepistemic logics
• On the theory of inconsistent formal systems
• Semi-stable semantics
• A Fault-Tolerant Default Logic
• A Default Logic Patch for Default Logic
• Complexity Results for Nonmonotonic Logics
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• A simple signed system for paraconsistent reasoning

This page was built for publication: Restricted semantics for default reasoning