A novel SAT-based approach to model based diagnosis
type: Item
instance of: scholarly article
zbMATH Open document ID: 1367.68266
author: Amit Metodi
author: Roni Stern
author: Meir Kalech
author: Michael Codish
publication date: 2014-11-13T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68M15
zbMATH DE Number: 6369223
MaRDI profile type: MaRDI publication profile
full work available at URL: jair.4503
OpenAlex ID: W2115436681
DOI: 10.1613/JAIR.4503
Recommended article: Model-based diagnosis and conditional logic
Recommended article: Q4397012
Recommended article: Model-Based Diagnosis with Probabilistic Models
Recommended article: A formal model of diagnostic inference. II. Algorithmic solution and application
Recommended article: Controlling the complexity in model-based diagnosis
Recommended article: Strategies in model-based diagnosis
Recommended article: The Probabilistic Interpretation of Model-Based Diagnosis
title: A novel SAT-based approach to model based diagnosis
published in: The Journal of Artificial Intelligence Research (JAIR)
description: scientific article; zbMATH DE number 6369223