Pages that link to "Item:Q1182159"
From MaRDI portal
The following pages link to The computational complexity of abduction (Q1182159):
Displaying 33 items.
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Mathematical aspects of concept analysis (Q676803) (← links)
- Complexity results for explanations in the structural-model approach (Q814579) (← links)
- Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis (Q814620) (← links)
- Perceiving the infinite and the infinitesimal world: unveiling and optical diagrams in mathematics (Q859750) (← links)
- On the complexity of second-best abductive explanations (Q899129) (← links)
- Counting complexity of propositional abduction (Q988576) (← links)
- Analysis of notions of diagnosis (Q1274567) (← links)
- The approximation of implicates and explanations (Q1308780) (← links)
- The complexity of propositional closed world reasoning and circumscription (Q1329160) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Process algebras for systems diagnosis. (Q1852861) (← links)
- Exception diagnosis in multiagent contract executions (Q1926581) (← links)
- Model-based reasoning about learner behaviour (Q1978651) (← links)
- Batch repair actions for automated troubleshooting (Q1989400) (← links)
- Memory-limited model-based diagnosis (Q2124447) (← links)
- What makes propositional abduction tractable (Q2389658) (← links)
- How many diagnoses do we need? (Q2407458) (← links)
- A computational-level explanation of the speed of goal inference (Q2437256) (← links)
- Abductive reasoning in neural-symbolic systems (Q2460297) (← links)
- Reasoning through doing. Epistemic mediators in scientific discovery (Q2565608) (← links)
- Inference to the stable explanations (Q2694572) (← links)
- Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference (Q2915079) (← links)
- A Measure of Arbitrariness in Abductive Explanations (Q2931272) (← links)
- Super-Solutions (Q2946725) (← links)
- Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation (Q2946739) (← links)
- Abduction-Based Search for Cooperative Answers (Q3092304) (← links)
- Reasoning about Exceptions to Contracts (Q3092305) (← links)
- On an open problem in classification of languages (Q4784342) (← links)
- Indefinite abductive explanations (Q5231278) (← links)
- AN ARTIFICIAL NETWORK FOR REASONING IN THE CANCELLATION CLASS WITH APPLICATION TO THE DIAGNOSIS OF CELLS DIVISION (Q5692931) (← links)
- Special issue. Model-based reasoning in science: learning and discovery (Q5938215) (← links)
