Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

stavros Reiter [17 articles]

Recent papers posted to stavros library by the author Reiter. You can also see Reiter everyone.
  • State Constraints Revisited
    Journal of Logic and Computation, Vol. 4, No. 5. (1994), pp. 655-678.
    by Fangzhen Lin, Raymond Reiter
    posted to progression reasoning_about_action situation_calculus by stavros on 2008-07-17 20:00:44 as read
  • Proving Properties of States in the Situation Calculus
    Artificial Intelligence, Vol. 64, No. 2. (1993), pp. 337-351.
    by Raymond Reiter
    posted to ai foundations logic reasoning_about_action situation_calculus by stavros on 2007-06-20 23:16:57 as read
  • A theory of diagnosis from first principles
    Artificial Intelligence, Vol. 32, No. 1. (April 1987), pp. 57-95.
    by Raymond Reiter
    posted to diagnosis logic by stavros on 2006-02-04 02:25:36 as read along with 2 people fheintz gvdh
  • Characterizing diagnoses and systems
    Artificial Intelligence, Vol. 56, No. 2-3. (August 1992), pp. 197-222.
    by Johan de Kleer, Alan K Mackworth, Raymond Reiter
    posted to diagnosis logic by stavros on 2006-02-04 02:22:39 as read along with 2 people fheintz gvdh
  • On knowledge-based programming with sensing in the situation calculus
    ACM Trans. Comput. Logic, Vol. 2, No. 4. (October 2001), pp. 433-457.
    by Raymond Reiter
    posted to depth by stavros on 2005-11-29 18:38:36 as *****
  • How to Progress a Database II: The STRIPS Connection
    (1995), pp. 2001-2009.
    by Fangzhen Lin, Raymond Reiter
    posted to depth by stavros on 2005-11-22 04:05:12 as *****
  • notes Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
    (July 2000), pp. 355-362.
    by Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun
    posted to ai cogrobo depth golog logic mdp reasoning_about_action robot situation_calculus system by stavros on 2005-11-13 03:15:17 as read
  • Forget It!
    (1994), pp. 154-159.
    by Fangzhen Lin, Raymond Reiter
    edited by Russell Greiner, Devika Subramanian
    posted to ai frame_problem incomplete_knowledge knowledge logic reasoning_about_action situation_calculus by stavros on 2005-10-12 01:01:33 as read along with 1 person lyongu
  • How to Progress a Database
    Artificial Intelligence, Vol. 92, No. 1-2. (1997), pp. 131-167.
    by Fangzhen Lin, Raymond Reiter
    posted to ai depth logic reasoning_about_action situation_calculus by stavros on 2005-09-29 03:17:27 as read
  • High-level Robotic Control: Beyond Planning. A Position Paper.
    (March 1998)
    by Hector Levesque, Ray Reiter
    posted to ai architecture cogrobo depth logic system by stavros on 2005-09-27 03:14:45 as read
  • Execution Monitoring of High-Level Robot Programs
    (1998), pp. 453-465.
    by Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski
    posted to agent ai cogrobo control execution_monitoring golog logic robot situation_calculus system by stavros on 2005-09-23 23:48:16 as **** along with 2 people schiffer fheintz
  • Some contributions to the metatheory of the situation calculus
    Journal of the ACM, Vol. 46, No. 3. (1999), pp. 325-361.
    by Fiora Pirri, Ray Reiter
    posted to ai depth logic situation_calculus by stavros on 2005-09-21 23:00:50 as read
  • A Logic for Default Reasoning
    Artificial Intelligence, Vol. 13 (1980), pp. 81-132.
    by R Reiter
    posted to ai default depth foundations frame_problem logic nonmonotonic by stavros on 2005-09-19 23:43:04 as read
  • GOLOG: A Logic Programming Language for Dynamic Domains
    Journal of Logic Programming, Vol. 31, No. 1-3. (1997), pp. 59-83.
    by Hector J Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B Scherl
    posted to agent ai depth golog logic reasoning_about_action situation_calculus system by stavros on 2005-09-16 22:50:28 as read along with 3 people schiffer neilernst fakirhs
  • Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems
    (2001)
    by Raymond Reiter
    posted to ai depth frame_problem logic reasoning_about_action robot situation_calculus by stavros on 2005-09-16 22:30:27 as read
  • The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression
    (1991), pp. 359-380.
    by Ray Reiter
    edited by Vladimir Lifschitz
    posted to ai depth frame_problem logic reasoning_about_action situation_calculus by stavros on 2005-09-16 22:14:59 as read
  • notes A logical approach to high level robot programming -- a progress report
    (1994)
    by Yves Lespérance, Hector J Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B Scherl
    edited by B Kuipers
    posted to agent ai architecture cogrobo depth golog logic robot situation_calculus system by stavros on 2005-09-14 18:03:59 as read
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/stavros/author/Reiter

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.