Hypothetical reasoning and definitional reflection in logic programming

DOI10.1007/BFB0038701zbMATH Open1502.68073OpenAlexW1524443432MaRDI QIDQ5053014FDOQ5053014

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

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

Mathematics Subject Classification ID

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

Cited In (6)

• Incorporating top-down information into bottom-up hypothetical reasoning
• Proof-theoretic semantics: an autobiographical survey
• Computational reflection via mechanized logical deduction
• Hypothetical reasoning in logic programming: A semantic approach
• Proof-theoretic notions for software maintenance
• Planning for an efficient implementation of hypothetical Bousi\(\sim\)Prolog

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)