海量图书期刊资源,随时随地畅享阅读乐趣
Pull and PushPull are PSPACE-completePereira, André G.; Ritt, Marcus; Buriol, Luciana S. · Theoretical Computer Science · 2016
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