The following pages link to Abductive Logic Programming (Q5286914):
Displaying 50 items.
- The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated (Q266877) (← links)
- Probabilistic abductive logic programming using Dirichlet priors (Q324690) (← links)
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation (Q421476) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Relating constraint answer set programming languages and algorithms (Q490456) (← links)
- Three-valued completion for abductive logic programs (Q671511) (← links)
- Incremental learning of event definitions with inductive logic programming (Q747281) (← links)
- Hypothesis finding with proof theoretical appropriateness criteria (Q817840) (← links)
- Nonmonotonic abductive inductive learning (Q833734) (← links)
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- The eco-cognitive model of abduction. Ἀπαγωγή now: naturalizing the logic of abduction (Q898777) (← links)
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- Learning probabilistic logic models from probabilistic examples (Q1009281) (← links)
- Argumentation in artificial intelligence (Q1028943) (← links)
- Artificial explanations: The epistemological interpretation of explanation in AI (Q1036078) (← links)
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs (Q1350529) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Abductive consequence relations (Q1399126) (← links)
- An abstract, argumentation-theoretic approach to default reasoning (Q1402718) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Abductive reasoning through filtering (Q1575426) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition (Q1621888) (← links)
- Identification of biological transition systems using meta-interpreted logic programs (Q1621890) (← links)
- A sequential model of bargaining in logic programming (Q1633069) (← links)
- Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints (Q1678427) (← links)
- Integrating induction and abduction in logic programming (Q1818759) (← links)
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games (Q1855240) (← links)
- A nondeterministic well-founded semantics (Q1924729) (← links)
- Naturalizing logic (Q2018606) (← links)
- Abduction: a categorical characterization (Q2018608) (← links)
- Competing hypotheses and abductive inference (Q2029711) (← links)
- Abduction with probabilistic logic programming under the distribution semantics (Q2076968) (← links)
- An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\) (Q2118976) (← links)
- Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility (Q2163881) (← links)
- A conditional logic for abduction (Q2263054) (← links)
- Using possibilistic logic for modeling qualitative decision: answer set programming algorithms (Q2353982) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- Application of abductive ILP to learning metabolic network inhibition from temporal data (Q2433189) (← links)
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution (Q2446681) (← links)
- Dialectic proof procedures for assumption-based, admissible argumentation (Q2457643) (← links)
- Abductive reasoning in neural-symbolic systems (Q2460297) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- Abductive inference in defeasible reasoning: a model for research programmes (Q2565607) (← links)
- Declarative Distributed Computing (Q2900541) (← links)
- A Measure of Arbitrariness in Abductive Explanations (Q2931272) (← links)
