Wang, H. and Zaniolo, C. (2000). Nonmonotonic Reasoning in LDL++. In Minker, J., editor, This volume. Kluwer. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Reasoning Agents In Dynamic Domains - Baral, Gelfond (2000) (9 citations) (Correct)
.... Prolog systems to the XSB resolution (Chen et al. 1995) implementing the well founded semantics (Van Gelder et al. 1991) and comparatively recent techniques which can be used for computing answer sets of A Prolog (Cholewi nski et al. 1996; Niemela and Simons, 1997; Faber et al. 1999; Wang and Zaniolo, 2000). The latter form the basis for answer set programming advocated in (Niemela, 1999; Marek and Truszczy nski, 1999) In this section we illustrate how these algorithms can be used to implement the above architecture and to perform the agent s reasoning tasks. Planning In this subsection we ....
Wang, H. and Zaniolo, C. (2000). Nonmonotonic Reasoning in LDL++. In Minker, J., editor, This volume. Kluwer.
Reasoning Agents In Dynamic Domains - Baral, Gelfond (2000) (9 citations) (Correct)
.... Prolog systems to the XSB resolution (Chen et al. 1995) implementing the well founded semantics (Van Gelder et al. 1991) and comparatively recent techniques which can be used for computing answer sets of A Prolog (Cholewi nski et al. 1996; Niemela and Simons, 1997; Faber et al. 1999; Wang and Zaniolo, 2000). The latter form the basis for answer set programming advocated in (Niemela, 1999; Marek and Truszczy nski, 1999) In this section we illustrate how these algorithms can be used to implement the above architecture and to perform the agent s reasoning tasks. 16 Planning In this subsection we ....
Wang, H. and Zaniolo, C. (2000). Nonmonotonic Reasoning in LDL++. In Minker, J., editor, This volume. Kluwer.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC