Pages that link to "Item:Q3361915"
From MaRDI portal
The following pages link to On the Relationship Between Abduction and Deduction (Q3361915):
Displaying 39 items.
- Outlier detection for simple default theories (Q622112) (← links)
- Three-valued completion for abductive logic programs (Q671511) (← links)
- Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities (Q688819) (← links)
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- Characterizing diagnoses and systems (Q1199913) (← links)
- A spectrum of definitions for temporal model-based diagnosis (Q1274291) (← links)
- Analysis of notions of diagnosis (Q1274567) (← links)
- Probabilistic Horn abduction and Bayesian networks (Q1313950) (← links)
- On the duality of abduction and model generation in a framework for model generation with equality (Q1314425) (← links)
- On rules of abduction. (Q1353881) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- Abductive consequence relations (Q1399126) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Abductive reasoning through filtering (Q1575426) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints (Q1678427) (← links)
- Nested abnormality theories (Q1855215) (← links)
- Representing diagnosis knowledge (Q1924792) (← links)
- Consistency-based and abductive diagnoses as generalised stable models (Q1924796) (← links)
- Diagnosing time-varying misbehavior: An approach based on model decomposition (Q1924816) (← links)
- Patterns of abduction (Q1947247) (← links)
- On some tractable classes in deduction and abduction (Q1978251) (← links)
- Logical foundations of knowledge-based recommender systems: a unifying spectrum of alternatives (Q2055525) (← links)
- The hardness of resilience for nested aggregation query (Q2283020) (← links)
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (Q2385448) (← links)
- Outlier detection using default reasoning (Q2389688) (← links)
- Contextual Abductive Reasoning with Side-Effects (Q2931270) (← links)
- Combining Forward and Backward Propagation (Q2964470) (← links)
- (Q3086724) (← links)
- Knowledge assimilation in domains of actions: a possible causes approach (Q3128367) (← links)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)
- (Q4530873) (← links)
- A Logical Approach to Experience-Based Reasoning (Q4600206) (← links)
- Complexity results for abductive logic programming (Q5101437) (← links)
- A terminological interpretation of (abductive) logic programming (Q5101438) (← links)
- On strongest necessary and weakest sufficient conditions (Q5941135) (← links)
- Abduction and induction. Essays on their relation and integration (Q5956943) (← links)
