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

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

zbMATH Keywords

nonmonotonic logicdefault logicautoepistemic logicanswer set program

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

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

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)