scientific article; zbMATH DE number 4185071
From MaRDI portal
Publication:5750448
zbMath0718.68081MaRDI QIDQ5750448
Brian C. Williams, Johan de Kleer
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Diagnostic Reasoning for Robotics Using Action Languages, Conflict-directed \(A^{*}\) and its role in model-based embedded systems, Metrics for labelled Markov processes, How many diagnoses do we need?, Consistency-based and abductive diagnoses as generalised stable models, Further contributions to characterizing diagnosis, Multiple models of physical systems --- modeling intermittent faults, inaccuracy, and tests in diagnosis, A framework for controlling model-based diagnosis systems with multiple actions, Controlling the complexity in model-based diagnosis, Focusing on independent diagnosis problems, An SE-tree-based prime implicant generation algorithm, Diagnosing time-varying misbehavior: An approach based on model decomposition, Support set selection for abductive and default reasoning, Probabilistic concurrent constraint programming, Sequential model-based diagnosis by systematic search, Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results, The computational complexity of abduction, Batch repair actions for automated troubleshooting, Characterizing diagnoses and systems, Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities, Abduction versus closure in causal theories., A spectrum of definitions for temporal model-based diagnosis, Remote Agent: to boldly go where no AI system has gone before, Model-Based Diagnosis by the Artificial Intelligence Community: The DX Approach, An improved model-based method to test circuit faults, Process algebras for systems diagnosis., The approximation of implicates and explanations, Probabilistic Horn abduction and Bayesian networks, A theory of measurement in diagnosis from first principles, Hierarchical model-based diagnosis based on structural abstraction
