On the tractability of minimal model computation for some CNF theories
- 期刊名称Artificial Intelligence
- 作者Angiulli, Fabrizio; Ben-Eliyahu-Zohary, Rachel; Fassetti, Fabio; Palopoli, Luigi
- 卷第210卷
- 印刷ISSN0004-3702
- 文件大小458.18KB
- 发表时间2014-05
- DOI10.1016/j.artint.2014.02.003
- 页码56-77
IntroductionLuca Console; Gerhard Friedrich · Annals of Mathematics and Artificial Intelligence · 1994
Representing diagnosis knowledgeDavid Poole · Annals of Mathematics and Artificial Intelligence · 1994
Further contributions to characterizing diagnosisSheila McIlraith · Annals of Mathematics and Artificial Intelligence · 1994
Focusing on independent diagnosis problemsHartmut Freitag; Gerhard Friedrich · Annals of Mathematics and Artificial Intelligence · 1994
Sensor placement for diagnosabilityEthan Scarl · Annals of Mathematics and Artificial Intelligence · 1994
IntroductionJorge Lobo; Don Loveland; Arcot Rajasekar · Annals of Mathematics and Artificial Intelligence · 1994
Overview of disjunctive logic programmingJack Minker · Annals of Mathematics and Artificial Intelligence · 1994
PrefaceGunar E. Liepins · Annals of Mathematics and Artificial Intelligence · 1992