Incremental execution of guarded theories Export

@article{degiacomo01incremental, abstract = {this paper, we combine these two ideas and demonstrate their power by presenting an interpreter, written in Prolog, for a variant of Golog that is suitable for eciently operating in open-world setting by exploiting sensing and bounded lookahead. Categories and Subject Descriptors: I.2.8 [Articial Intelligence]: Problem Solving, Control Methods, and Search|Plan execution, formation, and generation; I.2.3 [Articial Intelligence]: Deduction and Theorem Proving|Logic Programming General Terms:...}, author = {De Giacomo, Giuseppe and Levesque, Hector J. and Sardina, Sebastian}, citeulike-article-id = {709334}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4158}, journal = {Computational Logic}, keywords = {agent, ai, cogrobo, reasoning\_about\_action}, number = {4}, pages = {495--525}, posted-at = {2006-06-24 00:50:31}, priority = {0}, title = {Incremental execution of guarded theories}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4158}, volume = {2}, year = {2001} }

TY - JOUR ID - degiacomo01incremental L3 - citeulike-article-id:709334 N2 - this paper, we combine these two ideas and demonstrate their power by presenting an interpreter, written in Prolog, for a variant of Golog that is suitable for eciently operating in open-world setting by exploiting sensing and bounded lookahead. Categories and Subject Descriptors: I.2.8 [Articial Intelligence]: Problem Solving, Control Methods, and Search|Plan execution, formation, and generation; I.2.3 [Articial Intelligence]: Deduction and Theorem Proving|Logic Programming General Terms:... IS - 4 JF - Computational Logic EP - 525 TI - Incremental execution of guarded theories VL - 2 SP - 495 KW - agent KW - ai KW - cogrobo KW - reasoning_about_action AU - De Giacomo, Giuseppe AU - Levesque, Hector AU - Sardina, Sebastian PY - 2001/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4158 ER -