scientific article; zbMATH DE number 4185074
From MaRDI portal
Publication:5750451
zbMath0718.68084MaRDI QIDQ5750451
No author found.
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 (23)
On rules of abduction. ⋮ Inconsistency Management for Traffic Regulations: Formalization and Complexity Results ⋮ Outlier detection using default reasoning ⋮ Representing diagnosis knowledge ⋮ Consistency-based and abductive diagnoses as generalised stable models ⋮ Explanatory diagnoses and their characterization by circumscription ⋮ Further contributions to characterizing diagnosis ⋮ Preferring diagnoses using a partial order on assumptions ⋮ A framework for controlling model-based diagnosis systems with multiple actions ⋮ Controlling the complexity in model-based diagnosis ⋮ Abduction from logic programs: Semantics and complexity ⋮ Outlier detection for simple default theories ⋮ Semantics and complexity of abduction from default theories ⋮ Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results ⋮ Equality and abductive residua for Horn clauses ⋮ Causal fault detection and isolation based on a set-membership approach ⋮ Abduction versus closure in causal theories. ⋮ A spectrum of definitions for temporal model-based diagnosis ⋮ Explanation in artificial intelligence: insights from the social sciences ⋮ Succinctness as a source of complexity in logical formalisms ⋮ Process algebras for systems diagnosis. ⋮ Abduction as belief revision ⋮ Probabilistic Horn abduction and Bayesian networks
This page was built for publication:
