Tag situation_calculus [24 articles] Export

Recent papers classified by the tag situation_calculus.

	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
	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
	Existential assertions and quantum levels on the tree of the situation calculus [My Copy] Artif. Intell., Vol. 170, No. 6. (May 2006), pp. 643-652. by Francesco Savelli posted to ai foundations situation_calculus by stavros on 2007-10-26 06:18:54 as along with 1 person rfk
	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
	Toward a mathematical theory of plan synthesis [My Copy] (1987) by E. P. D. Pednault posted to ai foundations situation_calculus by stavros on 2007-02-12 20:51:51 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
	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
	An incremental interpreter for high-level programs with sensing [My Copy] Technical Report (1998) by Giuseppe De Giacomo, Hector J. Levesque posted to agent ai depth golog incomplete_knowledge logic situation_calculus system by stavros on 2005-10-04 01:09:48 as
	An incremental interpreter for high-level programs with sensing [My Copy] Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter (1999), pp. 86-102. by Giuseppe De Giacomo, Hector J. Levesque edited by Hector J. Levesque, Fiorra Pirri posted to agent ai depth golog incomplete_knowledge logic situation_calculus system by stavros on 2005-10-04 00:58:58 as along with 1 person fheintz
	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
	Execution Monitoring of High-Level Robot Programs [My Copy] In Principles of Knowledge Representation and Reasoning (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
	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
	Some contributions to the metatheory of the situation calculus [My Copy] 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
	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
	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
	A logical approach to high level robot programming -- a progress report [My Copy] In Working notes of the 1994 AAAI fall symposium on Control of the Physical World by Intelligent Systems (November 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 fakirhs on 2005-09-13 22:53:16 as
	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/situation_calculus

ai	24
logic	21
reasoning_about_action	18
depth	13
golog	8
system	8
agent	6
cogrobo	5
frame_problem	4
robot	4
foundations	3
incomplete_knowledge	3
knowledge	2
mdp	2
narratives	2
nondeterminism	2
architecture	1
causality	1
circumscription	1
control	1
default	1
es	1
execution_monitoring	1
fluent_calculus	1
hybrid	1
modal	1
nonmonotonic	1
progression	1

Tag situation_calculus [24 articles] Export

Related Tags