The IFF proof procedure for abductive logic programming
From MaRDI portal
Publication:4371992
DOI10.1016/S0743-1066(97)00026-5zbMATH Open0890.68029OpenAlexW2071787143MaRDI QIDQ4371992FDOQ4371992
Authors: Tze Ho Fung, Robert Kowalski 
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
Recommendations
- An abductive proof procedure for conditional logic programming
- Logics in Artificial Intelligence
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
- scientific article; zbMATH DE number 970712
- Abductive Logic Programming
- scientific article; zbMATH DE number 1215501
- An abductive framework for extended logic programming
- Abduction and dialogical proof in argumentation and logic programming
- A fixpoint characterization of abductive logic programs
Cited In (22)
- SELECT TOPICS IN LEGAL EVIDENCE AND ASSISTANCE BY ARTIFICIAL INTELLIGENCE TECHNIQUES
- An abductive proof procedure handling active rules
- Abduction through semantic tableaux versus abduction through goal-directed proofs
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
- AI*IA 2005: Advances in Artificial Intelligence
- Abductive logic programming agents with destructive databases
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
- Answers that Have Integrity
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF
- Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
- Dischargeable Obligations in the 𝒮CIFF Framework
- Obligation as optimal goal satisfaction
- Logics in Artificial Intelligence
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- Mapping deontic operators to abductive expectations
- Abduction with probabilistic logic programming under the distribution semantics
- Programming in logic without logic programming
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics
- ${\cal B}$ -Tropos
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting
- Stabilization of Information Sharing for Queries Answering in Multiagent Systems
- A formal analysis of interest-based negotiation
This page was built for publication: The IFF proof procedure for abductive logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4371992)
