Abductive Logic Programming
From MaRDI portal
Publication:5286914
DOI10.1093/logcom/2.6.719zbMath0778.68081OpenAlexW1987005090WikidataQ60304766 ScholiaQ60304766MaRDI QIDQ5286914
Francesca Toni, Robert Kowalski, Antonis C. Kakas
Publication date: 13 January 1994
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/2.6.719
Related Items (77)
The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated ⋮ Abduction in logic programming: A new definition and an abductive procedure based on rewriting ⋮ Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition ⋮ Identification of biological transition systems using meta-interpreted logic programs ⋮ Nonmonotonic abductive inductive learning ⋮ Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Declarative Distributed Computing ⋮ A sequential model of bargaining in logic programming ⋮ SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs ⋮ Probabilistic abductive logic programming using Dirichlet priors ⋮ Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility ⋮ A Measure of Arbitrariness in Abductive Explanations ⋮ Knowledge base dynamics, abduction, and database updates ⋮ A nondeterministic well-founded semantics ⋮ Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints ⋮ Modeling the suppression task under weak completion and well-founded semantics ⋮ Minimal models vs. logic programming: the case of counterfactual conditionals ⋮ Super-Solutions ⋮ Abduction from logic programs: Semantics and complexity ⋮ A unifying view for logic programming with non-monotonic reasoning ⋮ Logic Programming, Argumentation and Human Reasoning ⋮ Complexity results for abductive logic programming ⋮ A terminological interpretation of (abductive) logic programming ⋮ Abduction over 3-valued extended logic programs ⋮ Nonmonotonic inheritance, argumentation and logic programming ⋮ Embedding circumscriptive theories in general disjunctive programs ⋮ Abductive consequence relations ⋮ The eco-cognitive model of abduction. Ἀπαγωγή now: naturalizing the logic of abduction ⋮ Semantic-based construction of arguments: an answer set programming approach ⋮ An abstract, argumentation-theoretic approach to default reasoning ⋮ Semantics and complexity of abduction from default theories ⋮ Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation ⋮ ABox abduction in the description logic \(\mathcal{ALC}\) ⋮ Application of abductive ILP to learning metabolic network inhibition from temporal data ⋮ Finding explanations of inconsistency in multi-context systems ⋮ An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution ⋮ COGNITIVE ECONOMICS AND THE LOGIC OF ABDUCTION ⋮ Dialectic proof procedures for assumption-based, admissible argumentation ⋮ Abductive reasoning in neural-symbolic systems ⋮ Relating constraint answer set programming languages and algorithms ⋮ Probabilistic legal reasoning in CHRiSM ⋮ Three-valued completion for abductive logic programs ⋮ Deontic Logic for Human Reasoning ⋮ Probabilistic behaviours of reactive agents ⋮ FO(FD): Extending classical logic with rule-based fixpoint definitions ⋮ A conditional logic for abduction ⋮ Naturalizing logic ⋮ Abduction: a categorical characterization ⋮ ${\cal B}$ -Tropos ⋮ Abduction in argumentation frameworks ⋮ Competing hypotheses and abductive inference ⋮ A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics ⋮ Mapping deontic operators to abductive expectations ⋮ Learning probabilistic logic models from probabilistic examples ⋮ Incremental learning of event definitions with inductive logic programming ⋮ CP-logic: A language of causal probabilistic events and its relation to logic programming ⋮ SELECT TOPICS IN LEGAL EVIDENCE AND ASSISTANCE BY ARTIFICIAL INTELLIGENCE TECHNIQUES ⋮ Integrating induction and abduction in logic programming ⋮ Formalizing narratives using nested circumscription ⋮ Soundness of abductive proof procedure with respect to constraint for non-ground abducibles ⋮ Argumentation in artificial intelligence ⋮ Indefinite abductive explanations ⋮ The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments ⋮ Dischargeable Obligations in the 𝒮CIFF Framework ⋮ An abductive framework for negation in disjunctive logic programming ⋮ Artificial explanations: The epistemological interpretation of explanation in AI ⋮ Abduction with probabilistic logic programming under the distribution semantics ⋮ Abductive reasoning through filtering ⋮ Abductive inference in defeasible reasoning: a model for research programmes ⋮ Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic ⋮ Verification from Declarative Specifications Using Logic Programming ⋮ Prioritized logic programming and its application to commonsense reasoning ⋮ Minimal and consistent evolution of knowledge bases ⋮ On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games ⋮ Using possibilistic logic for modeling qualitative decision: answer set programming algorithms ⋮ An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\) ⋮ Hypothesis finding with proof theoretical appropriateness criteria
This page was built for publication: Abductive Logic Programming
