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