Hypothetical reasoning in logic programs

DOI10.1016/0743-1066(94)90043-4MaRDI QIDQ4290617zbMATH OpenOpenAlexFDO

Authors Katsumi Inoue

Publication date 8 January 1995

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

Full work available at URL https://doi.org/10.1016/0743-1066(94)90043-4

zbMATH Keywords

abductionclosed world assumptioncommon sense knowledgecontradiction removalsdefault reasoningextended logic programshypothetical reasoningincomplete knowledgelogic programs with classical negationnegation as failure

Mathematics Subject Classification ID

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

Recommendations

• Hypothetical reasoning in logic programming: A semantic approach
• Logic programming and reasoning with incomplete information
• Contextual hypotheses and semantics of logic programs
• Hypothesis-based semantics of logic programs in multivalued logics
• An abductive framework for extended logic programming

Cited in

(8)

• Prioritized logic programming and its application to commonsense reasoning
• Can you answer while you wait?
• Any-world assumptions in logic programming
• Hypothetical reasoning and definitional reflection in logic programming
• Reconciling communication delays and negation
• Can't you answer while you wait?
• Hypothetical answers to continuous queries over data streams
• Hypothetical reasoning in logic programming: A semantic approach

This page was built for publication: Hypothetical reasoning in logic programs

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