Abductive Logic Programming
From MaRDI portal
Publication:5286914
DOI10.1093/LOGCOM/2.6.719zbMATH Open0778.68081OpenAlexW1987005090WikidataQ60304766 ScholiaQ60304766MaRDI QIDQ5286914FDOQ5286914
Authors: Robert Kowalski, Francesca Toni, A. 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
Recommendations
Cited In (only showing first 100 items - show all)
- SELECT TOPICS IN LEGAL EVIDENCE AND ASSISTANCE BY ARTIFICIAL INTELLIGENCE TECHNIQUES
- The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated
- A unifying view for logic programming with non-monotonic reasoning
- Probabilistic behaviours of reactive agents
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
- Abduction from logic programs: Semantics and complexity
- Embedding circumscriptive theories in general disjunctive programs
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
- Abduction in argumentation frameworks
- Verification from Declarative Specifications Using Logic Programming
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
- Argumentation in artificial intelligence
- SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs
- 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
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- Probabilistic legal reasoning in CHRiSM
- A nondeterministic well-founded semantics
- Relating constraint answer set programming languages and algorithms
- Formalizing narratives using nested circumscription
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles
- A terminological interpretation of (abductive) logic programming
- An abstract, argumentation-theoretic approach to default reasoning
- Logic Programming
- Abducing through negation as failure: stable models within the independent choice logic
- A conditional logic for abduction
- Learning probabilistic logic models from probabilistic examples
- Finding explanations of inconsistency in multi-context systems
- The eco-cognitive model of abduction. Ἀπαγωγή now: naturalizing the logic of abduction
- A sequential model of bargaining in logic programming
- Application of abductive ILP to learning metabolic network inhibition from temporal data
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Prioritized logic programming and its application to commonsense reasoning
- Naturalizing logic
- Nonmonotonic abductive inductive learning
- Nonmonotonic inheritance, argumentation and logic programming
- Incremental learning of event definitions with inductive logic programming
- Title not available (Why is that?)
- Probabilistic abductive logic programming using Dirichlet priors
- Dialectic proof procedures for assumption-based, admissible argumentation
- The IFF proof procedure for abductive logic programming
- Semantic-based construction of arguments: an answer set programming approach
- SLDNFA: An abductive procedure for abductive logic programs
- Abductive consequence relations
- Artificial explanations: The epistemological interpretation of explanation in AI
- Abduction and dialogical proof in argumentation and logic programming
- An abductive approach to disjunctive logic programming
- Intelligent Alarm Correlation and Abductive Reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantics and complexity of abduction from default theories
- Knowledge base dynamics, abduction, and database updates
- Abduction over 3-valued extended logic programs
- An abductive framework for extended logic programming
- Complexity results for abductive logic programming
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- ACLP: Abductive Constraint Logic Programming
- Special issue: abductive logic programming
- Abduction: a categorical characterization
- Indefinite abductive explanations
- Abductive reasoning through filtering
- Three-valued completion for abductive logic programs
- Teleo-Reactive Abductive Logic Programs
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting
- Hypothesis finding with proof theoretical appropriateness criteria
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- Computational Logic in Multi-Agent Systems
- Abductive inference in defeasible reasoning: a model for research programmes
- Declarative distributed computing
- A measure of arbitrariness in abductive explanations
- Abductive Logic Grammars
- Logic Programming, Argumentation and Human Reasoning
- An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
- Title not available (Why is that?)
- Title not available (Why is that?)
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Abductive reasoning in neural-symbolic systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Competing hypotheses and abductive inference
- \(FO(FD)\): extending classical logic with rule-based fixpoint definitions
- Super-Solutions
- Minimal models vs. logic programming: the case of counterfactual conditionals
- Inspecting side-effects of abduction in logic programs
- Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints
- Minimal and consistent evolution of knowledge bases
- Title not available (Why is that?)
- Advances in Artificial Intelligence – SBIA 2004
- An abductive framework for negation in disjunctive logic programming
- Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility
- Title not available (Why is that?)
- Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
- Cognitive economics and the logic of abduction
- Title not available (Why is that?)
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
- Integrating induction and abduction in logic programming
- Mapping deontic operators to abductive expectations
- Abduction with probabilistic logic programming under the distribution semantics
- Modeling the suppression task under weak completion and well-founded semantics
This page was built for publication: Abductive Logic Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5286914)
