General default logic

DOI10.1007/S10472-009-9161-6zbMATH Open1196.68248OpenAlexW2989366559MaRDI QIDQ987485FDOQ987485

Authors 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 logicdefault logicautoepistemic logicanswer set program

Mathematics Subject Classification ID

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

Recommendations

• General Default Logic
• Default logic generalized and simplified
• scientific article; zbMATH DE number 1538053
• Publication:3490931
• Operational concepts of nonmonotonic logics. I: Default logic

Cites Work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 67490 (Why is no real title available?)
• scientific article; zbMATH DE number 1301756 (Why is no real title available?)
• scientific article; zbMATH DE number 549992 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 2085248 (Why is no real title available?)
• scientific article; zbMATH DE number 1884383 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• A logic for default reasoning
• A logic of knowledge and justified assumption
• An epistemic operator for description logics
• Autoepistemic logic
• Complexity Results for Nonmonotonic Logics
• General Default Logic
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic programming and reasoning with incomplete information
• NP trees and Carnap's modal logic
• Negation by default and unstratifiable logic programs
• Nested expressions in logic programs
• On the relation between default and autoepistemic logic
• Strongly equivalent logic programs
• The Computational Complexity of Provability in Systems of Modal Propositional Logic

Cited In (8)

• General Default Logic
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Default logic generalized and simplified
• Defaults as Generalized Quantifiers
• Default logic about assertions
• Title not available (Why is no real title available?)

This page was built for publication: General default logic

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