The IFF proof procedure for abductive logic programming
From MaRDI portal
Publication:4371992
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
(23)- Abduction through semantic tableaux versus abduction through goal-directed proofs
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- SLDNFA: An abductive procedure for abductive logic programs
- SELECT TOPICS IN LEGAL EVIDENCE AND ASSISTANCE BY ARTIFICIAL INTELLIGENCE TECHNIQUES
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
- Stabilization of Information Sharing for Queries Answering in Multiagent Systems
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics
- A formal analysis of interest-based negotiation
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
- Nonground abductive logic programming with probabilistic integrity constraints
- Abduction with probabilistic logic programming under the distribution semantics
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- ${\cal B}$ -Tropos
- AI*IA 2005: Advances in Artificial Intelligence
- An abductive proof procedure handling active rules
- Abductive logic programming agents with destructive databases
- Answers that Have Integrity
- Mapping deontic operators to abductive expectations
- Programming in logic without logic programming
- Obligation as optimal goal satisfaction
- Logics in Artificial Intelligence
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)
