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