论文信息 - Using the dlv System for Planning and Diagnostic Reasoning - 字舞流文

Using the dlv System for Planning and Diagnostic Reasoning

Wolfgang Faber | Gerald Pfeifer | Thomas Eiter | Axel Polleres | Nicola Leone | A. Polleres | Thomas Eiter | N. Leone | G. Pfeifer | Wolfgang Faber

[1] Wolfgang Faber,et al. The Diagnosis Frontend of the dlv System , 1999, AI Commun..

[2] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..