The IFF proof procedure for abductive logic programming

DOI10.1016/S0743-1066(97)00026-5zbMath0890.68029OpenAlexW2071787143MaRDI QIDQ4371992

Robert Kowalski, Tze Ho Fung

Publication date: 21 January 1998

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

Full work available at URL: https://doi.org/10.1016/s0743-1066(97)00026-5

zbMATH Keywords

integrity constraintsproof procedure

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (17)

Abduction in logic programming: A new definition and an abductive procedure based on rewriting ⋮ Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Integration of Abductive Reasoning and Constraint Optimization in SCIFF ⋮ Obligation as optimal goal satisfaction ⋮ Programming in logic without logic programming ⋮ Abductive logic programming agents with destructive databases ⋮ Stabilization of Information Sharing for Queries Answering in Multiagent Systems ⋮ ${\cal B}$ -Tropos ⋮ Mapping deontic operators to abductive expectations ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ Answers that Have Integrity ⋮ SELECT TOPICS IN LEGAL EVIDENCE AND ASSISTANCE BY ARTIFICIAL INTELLIGENCE TECHNIQUES ⋮ The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments ⋮ Dischargeable Obligations in the 𝒮CIFF Framework ⋮ Abduction with probabilistic logic programming under the distribution semantics ⋮ A formal analysis of interest-based negotiation ⋮ Nonground Abductive Logic Programming with Probabilistic Integrity Constraints

This page was built for publication: The IFF proof procedure for abductive logic programming