General default logic

DOI10.1007/S10472-009-9161-6zbMath1196.68248OpenAlexW2989366559MaRDI QIDQ987485

J. Martínez

Publication date: 13 August 2010

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

Full work available at URL: https://doi.org/10.1007/s10472-009-9161-6

zbMATH Keywords

nonmonotonic logicautoepistemic logicdefault logicanswer set program

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Cites Work

• Negation by default and unstratifiable logic programs
• On the relation between default and autoepistemic logic
• An epistemic operator for description logics
• A logic for default reasoning
• A guide to completeness and complexity for modal logics of knowledge and belief
• A logic of knowledge and justified assumption
• Logic programming and reasoning with incomplete information
• Nested expressions in logic programs
• Complexity Results for Nonmonotonic Logics
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Autoepistemic logic
• NP trees and Carnap's modal logic
• Logic Programming and Nonmonotonic Reasoning
• General Default Logic
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: General default logic