Hypothetical reasoning in logic programs
From MaRDI portal
Publication:4290617
DOI10.1016/0743-1066(94)90043-4zbMath0803.68013OpenAlexW1979017246MaRDI QIDQ4290617
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
abductionclosed world assumptionincomplete knowledgedefault reasoningnegation as failurehypothetical reasoningextended logic programscommon sense knowledgecontradiction removalslogic programs with classical negation
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Reconciling communication delays and negation ⋮ Any-world assumptions in logic programming ⋮ Prioritized logic programming and its application to commonsense reasoning ⋮ Can you answer while you wait?
This page was built for publication: Hypothetical reasoning in logic programs
