scientific article; zbMATH DE number 1168533

zbMath0891.68098MaRDI QIDQ4397012

Adnan Darwiche

Publication date: 25 June 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model-based diagnosisnegation normal form

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (9)

Unnamed Item ⋮ Disjunctive closures for knowledge compilation ⋮ First order LUB approximations: characterization and algorithms ⋮ Diagnosis of Deep Discrete-Event Systems ⋮ Study of the diagnosability of automated production systems based on functional graphs ⋮ Diagnosing tree-structured systems ⋮ Bayesian model-based diagnosis ⋮ The Probabilistic Interpretation of Model-Based Diagnosis ⋮ Model-Based Diagnosis with Probabilistic Models

This page was built for publication: