Default consequence relations as a logical framework for logic programs

DOI10.1007/3-540-59487-6_18MaRDI QIDQ5101454zbMATH OpenOpenAlexFDO

Authors 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 programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 994055
• A three-valued approach to default logic
• Logical considerations on default semantics
• A logical framework for default reasoning
• A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion

Cites work

• A kripke-kleene semantics for logic programs*
• A logic for default reasoning
• A theory of nonmonotonic rule systems I
• Formalizing a logic for logic programming
• scientific article; zbMATH DE number 4155872 (Why is no real title available?)
• scientific article; zbMATH DE number 4160107 (Why is no real title available?)
• scientific article; zbMATH DE number 517029 (Why is no real title available?)
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Logic programming semantics made easy
• Nonmonotonic reasoning, preferential models and cumulative logics
• Semantical considerations on nonmonotonic logic
• The family of stable models
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs
• The well-founded semantics for general logic programs
• Three-valued nonmonotonic formalisms and semantics of logic programs

Cited in

(7)

• On the relation between default and modal nonmonotonic reasoning
• Connections between default reasoning and partial constraint satisfaction
• scientific article; zbMATH DE number 994055 (Why is no real title available?)
• A three-valued approach to default logic
• A system for computing constrained default logic extensions
• Logics in Artificial Intelligence
• On logics and semantics for general logic programs

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

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