REVISE Report : An Architecture for a Diagnosis Agent
暂无分享,去创建一个
Michael Schroeder | Carlos Viegas Damásio | Moniz Pereira | C. Damásio | Michael Schroeder | Moniz Pereira | Lu
[1] Luís Moniz Pereira,et al. REVISE: An Extended Logic Programming System for Revising Knowledge Bases , 1994, KR.
[2] José Júlio Alferes,et al. Diagnosis and Debugging as Contradiction Removal , 1993, LPNMR.
[3] R. Marques,et al. Using PVM With a Logic Programming Interface , 1995 .
[4] Kenneth A. Ross,et al. Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.
[5] José Júlio Alferes,et al. SLX - A Top-down Derivation Procedure for Programs with Explicit Negation , 1994, ILPS.
[6] Peter Fröhlich,et al. A Formal Semantics for Preferences and Strategies in Model-Based Diagnosis , 1994 .
[7] Robert A. Kowalski,et al. Abduction Compared with Negation by Failure , 1989, ICLP.
[8] Peter Fröhlich,et al. A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems , 1995, IJCAI.
[9] José Júlio Alferes,et al. Non-Monotonic Reasoning with Logic Programming , 1993, J. Log. Program..
[10] José Júlio Alferes,et al. Contradiction Removal within Well Founded Semantics , 1991, LPNMR.
[11] Luís Moniz Pereira,et al. Model-based diagnosis preferences and strategies representation with logic meta-programming , 1995 .
[12] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[13] A. S. Roa,et al. AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .
[14] Yoav Shoham,et al. Agent-Oriented Programming , 1992, Artif. Intell..
[15] Umeshwar Dayal,et al. The architecture of an active database management system , 1989, SIGMOD '89.
[16] Gerd Wagner,et al. A Logical and Operational Model of Scalable Knowledge- and Perception-Based Agents , 1996, MAAMAW.
[17] Robert A. Kowalski,et al. Using Meta-Logic to Reconcile Reactive with Rational Agents , 1995, PAAM.
[18] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[19] José Júlio Alferes,et al. Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation , 1994, ECAI.