Default consequence relations as a logical framework for logic programs

DOI10.1007/3-540-59487-6_18zbMath1496.68085OpenAlexW1600217631MaRDI QIDQ5101454

Alexander Bochman

Publication date: 30 August 2022

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59487-6_18

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

On the relation between default and modal nonmonotonic reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Three-valued nonmonotonic formalisms and semantics of logic programs
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Formalizing a logic for logic programming
• A theory of nonmonotonic rule systems I
• A kripke-kleene semantics for logic programs*
• The family of stable models
• The well-founded semantics for general logic programs
• Logic programming semantics made easy

This page was built for publication: Default consequence relations as a logical framework for logic programs