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

stavros frame_problem [17 articles]

Recent papers added to stavros library classified by the tag frame_problem. You can also see everyone's frame_problem.
  • Nonmonotonic Logical Approaches for the Frame Problem in Artificial Intelligence
    (2001)
    by Stavros Vassos
    edited by E Zachos
    posted to ai frame_problem reasoning_about_action by stavros on 2008-01-13 01:09:41 as read
  • Logic Programming and Reasoning about actions
    (2005)
    by C Baral, M Gelfond
    edited by Michael Fisher, Dov Gabbay, Lluis Vila
    posted to ai causality default depth frame_problem incomplete_knowledge logic logic_programming nonmonotonic reasoning_about_action by stavros on 2005-10-14 18:04:05 as read
  • The event calculus in classical logic - alternative axiomatisations
    (1999)
    by R Miller, M Shanahan
    posted to ai circumscription depth frame_problem logic reasoning_about_action by stavros on 2005-10-13 07:02:16 as ***
  • The Event Calculus Explained
    Lecture Notes in Computer Science, Vol. 1600 (1999), pp. 409-??.
    by Murray Shanahan
    posted to ai circumscription depth event_calculus frame_problem logic narratives reasoning_about_action by stavros on 2005-10-13 06:59: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
  • notes Nondeterministic Actions and the Frame Problem
    (1995), pp. 39-44.
    by Craig Boutilier, Nir Friedman
    posted to ai depth frame_problem logic nondeterminism reasoning_about_action situation_calculus by stavros on 2005-10-12 00:52:18 as read
  • notes Embracing Causality in Specifying the Indeterminate Effects of Actions
    (1996), pp. 670-676.
    by Fangzhen Lin
    posted to ai causality depth frame_problem logic nondeterminism reasoning_about_action situation_calculus by stavros on 2005-10-11 23:13:45 as read
  • STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
    Artificial Intelligence, Vol. 2 (1971), pp. 189-208.
    by RE Fikes, NJ Nilsson
    posted to ai databases depth foundations frame_problem reasoning_about_action by stavros on 2005-09-22 00:00:50 as read
  • notes Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions
    Vol. Volume 5 (1990), pp. 23-67.
    by Lehnart Schubert
    edited by Henry E Kyburg, Ronald P Loui, Greg N Carlson
    posted to ai depth foundations frame_problem logic reasoning_about_action by stavros on 2005-09-21 23:44:02 as **
  • notes ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus.
    (1989), pp. 324-332.
    by Edwin PD Pednault
    posted to ai depth foundations frame_problem logic reasoning_about_action by stavros on 2005-09-21 23:34:16 as **
  • Circumscription -- A Form of Non-Monotonic Reasoning
    Artificial Intelligence, Vol. 13 (1980), pp. 27-39.
    by John Mccarthy
    posted to ai circumscription default depth foundations frame_problem logic by stavros on 2005-09-19 23:50:24 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
  • 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
  • Knowledge, Action, and the Frame Problem
    Artificial Intelligence, Vol. 144, No. 1--2. (2003), pp. 1-39.
    by R Scherl, HJ Levesque
    posted to ai depth frame_problem knowledge logic reasoning_about_action situation_calculus by stavros on 2005-09-16 22:05:00 as read
  • The Frame Problem and Knowledge-Producing Actions
    (1993), pp. 689-697.
    by Richard B Scherl, Hector J Levesque
    posted to ai depth frame_problem knowledge logic reasoning_about_action situation_calculus by stavros on 2005-09-16 21:56:46 as read
  • notes Representing Action and Change by Logic Programs
    Journal of Logic Programming, Vol. 17, No. 2/3&4. (1993), pp. 301-321.
    by Michael Gelfond, Vladimir Lifschitz
    posted to ai answer_set depth frame_problem incomplete_knowledge logic logic_programming nonmonotonic reasoning_about_action by stavros on 2005-09-16 19:41:56 as read
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/stavros/tag/frame_problem

    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.