新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

stavros reasoning_about_action [56 articles]

最近 stavros さんのライブラリに追加された論文の中から タグ reasoning_about_action. You can also see everyone's reasoning_about_action.
  • On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
    (July 2008), pp. 1004-1009.
    by Stavros Vassos, Hector Levesque
    posted to ai progression reasoning_about_action situation_calculus by stavros on 2008-08-26 12:08:13 as read
  • 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
  • GOLOG and PDDL: what is the relative expressiveness?
    (2006), pp. 93-104.
    by Patrick Eyerich, Bernhard Nebel, Gerhard Lakemeyer, Jens Cla\ssen
    posted to ai golog pddl reasoning_about_action by stavros on 2008-02-13 21:46:38 as read
  • Action Description Language F_0 and Its Translation to Flux
    by Yi Jin
    posted to ai fluent_calculus reasoning_about_action by stavros on 2008-02-11 15:17:03 as read
  • Scaling Up Reasoning About Actions Using Relational Database Technology
    by Giuseppe De Giacomo
    posted to ai databases logic reasoning_about_action by stavros on 2008-01-24 17:20:41 as read along with 1 person rfk
  • Non-Markovian control in the situation calculus
    (2002), pp. 519-524.
    by Alfredo Gabaldon
    posted to ai logic reasoning_about_action situation_calculus by stavros on 2008-01-17 22:30:47 as read
  • Non-Markovian control in the situation calculus
    (2000), pp. 28-33.
    by A Gabaldon
    edited by G Lakemeyer
    posted to ai logic reasoning_about_action situation_calculus by stavros on 2008-01-17 22:17:01 as read
  • 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
  • A Feasible Approach to Disjunctive Knowledge in Situation Calculus
    (2005)
    by Stavros Vassos
    edited by Hector Levesque, Fahiem Bacchus
    posted to ai incomplete_knowledge reasoning_about_action situation_calculus by stavros on 2007-11-30 22:12:48 as read along with 1 person rfk
  • STRIPS: A new approach to the application of theorem proving to problem solving
    Artificial Intelligence, Vol. 2 (1971), pp. 189-208.
    by R Fikes, N Nilsson
    posted to databases foundations reasoning_about_action by stavros on 2007-11-23 00:49:12 as read
  • Progression of Situation Calculus Action Theories with Incomplete Information
    (January 2007), pp. 2024-2029.
    by Stavros Vassos, Hector Levesque
    edited by Manuela M Veloso
    posted to ai progression reasoning_about_action situation_calculus by stavros on 2007-11-15 18:58:37 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
  • Situations, si! Situation terms, no!
    (2004)
    by Lakemeyer, Hector J Levesque
    posted to ai es logic reasoning_about_action situation_calculus by stavros on 2007-03-24 00:56:58 as read
  • Logical filtering
    (2003)
    by E Amir, S Russell
    posted to ai logic logical_filtering reasoning_about_action by stavros on 2006-10-30 19:21:54 as read
  • Quasi-Indexicals and Knowledge Reports
    Cognitive Science, Vol. 21, No. 1. (1997), pp. 63-107.
    by William J Rapaport, Stuart C Shapiro, Janyce Wiebe
    posted to ai indexicals logic reasoning_about_action by stavros on 2006-10-26 19:36:20 as read
  • Indexical knowledge and robot action: a logical account
    (1995)
    by Y Lesperance, H Levesque
    posted to ai indexicals logic reasoning_about_action by stavros on 2006-10-26 19:34:09 as read
  • A knowledge-based representation for effective acting, sensing, and planning
    (2006)
    by Ron Petrick
    posted to architecture incomplete_knowledge knowledge planning reasoning_about_action situation_calculus system by stavros on 2006-09-01 21:58:53 as read along with 1 person rfk
  • First-Order Logical Filtering
    (2005), pp. 589-595.
    by Afsaneh Shirazi, Eyal Amir
    posted to ai incomplete_knowledge logic reasoning_about_action by stavros on 2006-07-12 23:20:54 as read along with 1 person rfk
  • Incremental execution of guarded theories
    Computational Logic, Vol. 2, No. 4. (2001), pp. 495-525.
    by Giuseppe De Giacomo, Hector J Levesque, Sebastian Sardina
    posted to agent ai cogrobo reasoning_about_action by stavros on 2006-06-24 00:50:31 as read
  • Representing Sensing Actions: The Middle Ground Revisited
    (1996), pp. 174-185.
    by Keith Golden, Daniel Weld
    edited by Luigia C Aiello, Jon Doyle, Stuart Shapiro
    posted to ai logic reasoning_about_action sensing by stavros on 2006-06-06 20:50:15 as read
  • Reasoning about actions with CHRs and finite domain constraints
    (2002)
    by M Thielscher
    posted to ai logic logic_programming reasoning_about_action system by stavros on 2006-05-25 00:02:40 as read
  • Tractable Reasoning in Incomplete First-Order Knowledge Bases
    (2006)
    by Yongmei Liu
    posted to ai complexity databases incomplete_knowledge logic reasoning_about_action situation_calculus by stavros on 2006-02-07 23:37:29 as read
  • A New Deductive Approach to Planning.
    New Generation Comput., Vol. 8, No. 3. (1990)
    by Steffen Hölldobler, Josef Schneeberger
    posted to ai depth fluent_calculus foundations logic reasoning_about_action by stavros on 2005-11-22 01:19:42 as read
  • An On-line Decision-Theoretic Golog Interpreter
    (2001), pp. 19-26.
    by Mikhail Soutchanski
    posted to agent ai cogrobo depth golog logic mdp reasoning_about_action robot situation_calculus system by stavros on 2005-11-14 23:06:17 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
  • The Wumpus World in IndiGolog: A Preliminary Report
    (2005), pp. 90-95.
    by Sebastian Sardina, Stavros Vassos
    posted to agent ai cogrobo depth games golog incomplete_knowledge logic reasoning_about_action situation_calculus system wumpus by stavros on 2005-11-05 04:31:02 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
  • Deliberation in Agent Programming Languages
    (2005)
    by Sebastian Sardina
    posted to agent ai cogrobo control depth execution_monitoring golog logic nondeterminism reasoning_about_action situation_calculus system by stavros on 2005-10-13 09:40:12 as read
  • Reasoning about Actions: Non-deterministic Effects, Constraints, and Qualification
    (1995), pp. 10-16.
    by Chitta Baral, Michael Gelfond, Richard Watson
    posted to ai depth logic logic_programming nondeterminism nonmonotonic reasoning_about_action by stavros on 2005-10-13 07:59:10 as **
  • 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
  • What is Planning in the Presence of Sensing?
    (August 1996), pp. 1139-1146.
    by Hector Levesque
    posted to ai depth incomplete_knowledge logic reasoning_about_action by stavros on 2005-10-03 19:58:36 as read
  • A Formal Theory of Knowledge and Action
    (1985), pp. 319-358.
    by RC Moore
    edited by JR Hobbs, RC Moore
    posted to ai depth foundations knowledge logic reasoning_about_action situation_calculus by stavros on 2005-10-03 19:41:59 as read along with 1 person rfk
  • 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
  • Combining Narratives
    (June 1998), pp. 48-59.
    by John Mccarthy, Tom Costello
    edited by Anthony G Cohn, Lenhart Schubert, Stuart C Shapiro
    posted to ai logic narratives reasoning_about_action situation_calculus by stavros on 2005-09-23 23:36:28 as ** along with 1 person Scis0000002
  • Formalizing Narratives Using Nested Circumscription
    (1996), pp. 15-24.
    by Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
    edited by Sasa Buvac, Tom Costello
    posted to ai circumscription default depth narratives nonmonotonic reasoning_about_action situation_calculus by stavros on 2005-09-23 23:33:55 as **
  • Knowledge Equivalence in Combined Action Theories
    (April 2002)
    by Ron Petrick, Hector Levesque
    posted to ai depth incomplete_knowledge knowledge logic reasoning_about_action situation_calculus by stavros on 2005-09-22 01:01:30 as read
  • A knowledge-based approach to planning with incomplete information and sensing
    (April 2002), pp. 212-221.
    by Ronald PA Petrick, Fahiem Bacchus
    edited by Malik Ghallab, Joachim Hertzberg, Paolo Traverso
    posted to ai databases depth reasoning_about_action system by stavros on 2005-09-22 00:37:39 as read
  • A Simple and Tractable Extension of Situation Calculus to Epistemic Logic
    No. 1932. (2000), pp. 515-524.
    by Robert Demolombe, Maria
    posted to ai depth incomplete_knowledge knowledge logic reasoning_about_action situation_calculus by stavros on 2005-09-22 00:05:27 as read along with 1 person rfk
  • 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 **
  • A logic-based calculus of events
    New Gen. Comput., Vol. 4, No. 1. (1986), pp. 67-95.
    by R Kowalski, M Sergot
    posted to ai depth event_calculus foundations logic reasoning_about_action by stavros on 2005-09-21 22:34:01 as read
  • A Causal Theory of Ramifications and Qualifications
    (1995), pp. 1978-1984.
    by Norman Mccain, Hudson Turner
    edited by Chris Mellish
    posted to causality depth nonmonotonic ramifications reasoning_about_action by stavros on 2005-09-21 07:28:43 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 2 people 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
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/stavros/tag/reasoning_about_action

    Result page: 1 2 Next 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.