Representing Incomplete Knowledge in Abductive Logic Programming

DOI10.1093/LOGCOM/5.5.553MaRDI QIDQ4849644zbMATH OpenOpenAlexFDO

Authors Marc Denecker, Danny De Schreye

Publication date 20 February 1996

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/c34d0a1c30a169ba16a6abf20bc751149ed2801c

zbMATH Keywords

abductive logic programmingsituation calculus

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1761893
• Abductive Logic Programming
• scientific article; zbMATH DE number 4094860
• Representing and reasoning about concurrent actions with abductive logic programs
• Logic programming and knowledge representation

Cited in

(16)

• Representing and reasoning about concurrent actions with abductive logic programs
• Abduction from logic programs: Semantics and complexity
• A unifying view for logic programming with non-monotonic reasoning
• Abductive reasoning through filtering
• A measure of arbitrariness in abductive explanations
• scientific article; zbMATH DE number 4094860 (Why is no real title available?)
• scientific article; zbMATH DE number 67860 (Why is no real title available?)
• Representing action and change by logic programs
• scientific article; zbMATH DE number 1538055 (Why is no real title available?)
• Complexity results for abductive logic programming
• A terminological interpretation of (abductive) logic programming
• Situation calculus specifications for event calculus logic programs
• An abductive framework for extended logic programming
• Indefinite abductive explanations
• Three-valued completion for abductive logic programs
• Reasoning about interaction protocols for customizing web service selection and composition

This page was built for publication: Representing Incomplete Knowledge in Abductive Logic Programming

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