Pages that link to "Item:Q1102126"
From MaRDI portal
The following pages link to A theory of diagnosis from first principles (Q1102126):
Displaying 50 items.
- Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic (Q4637759) (← links)
- Reasoning with Uncertain and Inconsistent OWL Ontologies (Q4647816) (← links)
- On the measure of conflicts: an argumentation-based framework (Q4685531) (← links)
- Explaining by evidence (Q4779486) (← links)
- Model-based reasoning: a principled approach for software engineering (Q4798475) (← links)
- Process for diagnostic reasoning integrating uncertain and temporal information (Q4885756) (← links)
- Fault tolerance evaluation based on the lattice of system configurations (Q4908481) (← links)
- Compiling finite domain constraints to SAT with<tt>BEE</tt> (Q4911128) (← links)
- PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS (Q4950604) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- Locating Errors in Faulty Formulas (Q4972679) (← links)
- On Tackling Explanation Redundancy in Decision Trees (Q5041018) (← links)
- Tri-valued Evaluation of Residuals as a Method of Addressing the Problem of Fault Compensation Effect (Q5053707) (← links)
- A Logic Framework for P2P Deductive Databases (Q5108527) (← links)
- Fault Detection and Localization Using Modelica and Abductive Reasoning (Q5117248) (← links)
- Investigating the solution space for online iterative explanation in goal reasoning agents (Q5145432) (← links)
- Diagnosis of Deep Discrete-Event Systems (Q5145832) (← links)
- A Hybrid Method for Probabilistic Satisfiability (Q5200036) (← links)
- (Q5202550) (← links)
- Design and implementation of diagnostic strategies using modal logic (Q5235256) (← links)
- A simple signed system for paraconsistent reasoning (Q5236448) (← links)
- Case Studies and Modeling Formalism (Q5237320) (← links)
- Structural Analysis (Q5237321) (← links)
- Model-Based Diagnosis by the Artificial Intelligence Community: The DX Approach (Q5237324) (← links)
- Model-Based Diagnosis by the Artificial Intelligence Community: Alternatives to GDE and Diagnosis of Dynamic Systems (Q5237325) (← links)
- BRIDGE: Matching Model-Based Diagnosis from FDI and DX Perspectives (Q5237326) (← links)
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies (Q5445719) (← links)
- Theorem proving techniques for view deletion in databases (Q5927980) (← links)
- Diagnosing tree-structured systems (Q5940958) (← links)
- Bayesian model-based diagnosis (Q5944732) (← links)
- Model-based diagnosis and conditional logic (Q5950284) (← links)
- On the relationship between model-based debugging and program slicing (Q5958541) (← links)
- Constraints on extensions of a default theory (Q5959353) (← links)
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes (Q6041308) (← links)
- Serial and parallel kernelization of multiple hitting set parameterized by the Dilworth number, implemented on the GPU (Q6078297) (← links)
- Sequential model-based diagnosis by systematic search (Q6080651) (← links)
- On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging (Q6104765) (← links)
- Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics (Q6104767) (← links)
- Certified logic-based explainable AI -- the case of monotonic classifiers (Q6535329) (← links)
- Towards formal XAI: formally approximate minimal explanations of neural networks (Q6535352) (← links)
- Efficiently explaining CSPs with unsatisfiable subset optimization (Q6535423) (← links)
- Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)
- Optimal repairs in the description logic \(\mathcal{EL}\) revisited (Q6545515) (← links)
- Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver (Q6545548) (← links)
- Computing MUS-based inconsistency measures (Q6545579) (← links)
- Critical observations in model-based diagnosis (Q6566643) (← links)
- A branch-and-cut approach to solve the fault diagnosis problem with lazy spread and imperfect system information (Q6568395) (← links)
- On the failings of Shapley values for explainability (Q6577659) (← links)
- A glance at causality theories for artificial intelligence (Q6602223) (← links)
