Hypothetical reasoning and definitional reflection in logic programming

DOI10.1007/BFB0038701MaRDI QIDQ5053014zbMATH OpenOpenAlexFDO

Authors Peter Schroeder-Heister

Publication date 26 November 2022

Published in Extensions of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0038701

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Hypothetical reasoning in logic programs
• Hypothetical reasoning in logic programming: A semantic approach
• Contextual hypotheses and semantics of logic programs
• Logics with definitional reflection rules
• scientific article; zbMATH DE number 1670488
• Logic Programming, Argumentation and Human Reasoning
• Logic Programming with Defaults and Argumentation Theories
• scientific article; zbMATH DE number 1531967
• Logic programming revisited: logic programs as inductive definitions
• Reasoning with higher-order abstract syntax in a logical framework

Cited in

(7)

• Computational reflection via mechanized logical deduction
• Proof-theoretic notions for software maintenance
• Planning for an efficient implementation of hypothetical BousiProlog
• scientific article; zbMATH DE number 970709 (Why is no real title available?)
• Proof-theoretic semantics: an autobiographical survey
• Incorporating top-down information into bottom-up hypothetical reasoning
• Hypothetical reasoning in logic programming: A semantic approach

This page was built for publication: Hypothetical reasoning and definitional reflection in logic programming

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