Tag reasoning_about_action [33 articles] Export

Recent papers classified by the tag reasoning_about_action.

	State Constraints Revisited [My Copy] 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
	GOLOG and PDDL: what is the relative expressiveness? [My Copy] In PCAR '06: Proceedings of the 2006 international symposium on Practical cognitive agents and robots (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
	Action Description Language F_0 and Its Translation to Flux [My Copy] by Yi Jin posted to ai fluent_calculus reasoning_about_action by stavros on 2008-02-11 15:17:03 as
	Scaling Up Reasoning About Actions Using Relational Database Technology [My Copy] by Giuseppe De Giacomo posted to ai databases logic reasoning_about_action by stavros on 2008-01-24 17:20:41 as along with 1 person rfk
	Non-Markovian control in the situation calculus [My Copy] In Eighteenth national conference on Artificial intelligence (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
	Non-Markovian control in the situation calculus [My Copy] In Proceedings of the Second International Cognitive Robotics Workshop, Berlin, Germany (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
	Proving Properties of States in the Situation Calculus [My Copy] 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
	Situations, si! Situation terms, no! [My Copy] In Proceedings of KR-2004 (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
	Logical filtering [My Copy] (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
	Quasi-Indexicals and Knowledge Reports [My Copy] 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
	Indexical knowledge and robot action: a logical account [My Copy] (1995) by Y. Lesperance, H. Levesque posted to ai indexicals logic reasoning_about_action by stavros on 2006-10-26 19:34:09 as
	Incremental execution of guarded theories [My Copy] 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
	Representing Sensing Actions: The Middle Ground Revisited [My Copy] In KR'96: Principles of Knowledge Representation and Reasoning (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
	Reasoning about actions with CHRs and finite domain constraints [My Copy] (2002) by M. Thielscher posted to ai logic logic_programming reasoning_about_action system by stavros on 2006-05-25 00:02:40 as
	An On-line Decision-Theoretic Golog Interpreter [My Copy] In IJCAI (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 along with 1 person schiffer
	Decision-Theoretic, High-Level Agent Programming in the Situation Calculus [My Copy] In Artificial Intelligence (AAAI-00) and of the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-00) (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
	Reasoning about Actions: Non-deterministic Effects, Constraints, and Qualification [My Copy] In Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium (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 [My Copy] (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 [My Copy] 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
	Forget It! [My Copy] In Working Notes, AAAI Fall Symposium on Relevance (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 along with 1 person lyongu
	Nondeterministic Actions and the Frame Problem [My Copy] In Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium (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
	Embracing Causality in Specifying the Indeterminate Effects of Actions [My Copy] In AAAI/IAAI, Vol. 1 (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
	How to Progress a Database [My Copy] 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
	Combining Narratives [My Copy] In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR '98) (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 [My Copy] In Working Papers: Common Sense '96 (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 along with 1 person p2p01
	Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions [My Copy] In Knowledge Representation and Defeasible Reasoning, 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
	A Causal Theory of Ramifications and Qualifications [My Copy] In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (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
	GOLOG: A Logic Programming Language for Dynamic Domains [My Copy] 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 along with 3 people schiffer neilernst fakirhs
	The Frame Problem and Knowledge-Producing Actions [My Copy] In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93) (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
	Representing Action and Change by Logic Programs [My Copy] 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
	From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem [My Copy] Artificial Intelligence, Vol. 111, No. 1-2. (July 1999), pp. 277-299. by Michael Thielscher posted to ai depth fluent_calculus logic reasoning_about_action situation_calculus by fakirhs on 2005-09-13 23:34:27 as
	Reasoning Agents in Dynamic Domains [My Copy] In Workshop on Logic-Based Artificial Intelligence, Washington, DC, June 14--16, 1999 (1999) by Chitta Baral, Michael Gelfond edited by Jack Minker posted to agent ai control depth reasoning_about_action by fakirhs on 2005-07-08 07:40:03 as along with 1 person lupo
	Situation Calculus as Hybrid Logic: First Steps [My Copy] In Portuguese Conference on Artificial Intelligence (2001), pp. 253-260. by Patrick Blackburn, Jaap Kamps, Maarten Marx posted to ai hybrid logic modal reasoning_about_action situation_calculus by fakirhs on 2005-07-06 05:48:44 as

Note: You may cite this page as: http://www.citeulike.org/tag/reasoning_about_action

ai	32
logic	27
situation_calculus	18
depth	16
frame_problem	8
golog	5
system	5
agent	4
cogrobo	4
nonmonotonic	4
circumscription	3
logic_programming	3
narratives	3
nondeterminism	3
causality	2
fluent_calculus	2
foundations	2
incomplete_knowledge	2
indexicals	2
knowledge	2
mdp	2
robot	2
answer_set	1
control	1
databases	1
default	1
es	1
event_calculus	1
hybrid	1
logical_filtering	1
modal	1
pddl	1
progression	1
ramifications	1
sensing	1

Tag reasoning_about_action [33 articles] Export

Related Tags