stavros's situation_calculus [40 articles] Export

Recent papers added to stavros's library classified by the tag situation_calculus. You can also see everyone's situation_calculus.

Hide details

	First-Order Strong Progression for Local-Effect Basic Action Theories [My Copy] In Proceedings of 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08) (2009), pp. 662-672. by Stavros Vassos, Gerhard Lakemeyer, Hector Levesque edited by Gerhard Brewka, Jérôme Lang posted to situation_calculus reasoning_about_action progression logic ai by stavros on 2009-10-01 23:06:00 as
	Progressing basic action theories with non-local effect actions [My Copy] In Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS-09) (2009), pp. 135-140. by Stavros Vassos, Stavros Sardina, Hector Levesque edited by Gerhard Lakemeyer, Leora Morgenstern, Mary-Anne Williams posted to situation_calculus progression logic incomplete_knowledge ai by stavros on 2009-10-01 17:56:42 as
	A Reasoning Module for Long-Lived Cognitive Agents [My Copy] (2009) by Stavros Vassos posted to situation_calculus reasoning_about_action reasoning progression logic incomplete_knowledge ai agent by stavros on 2009-10-01 13:16:37 as
	On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture [My Copy] In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08) (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
	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
	A Feasible Approach to Disjunctive Knowledge in Situation Calculus [My Copy] (2005) by Stavros Vassos posted to ai incomplete_knowledge reasoning_about_action situation_calculus by stavros on 2007-11-30 22:12:48 as along with 1 person rfk
	Progression of Situation Calculus Action Theories with Incomplete Information [My Copy] In Proceedings of the 20th International Joint Conference on Artificial Intelligence (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
	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
	A knowledge-based representation for effective acting, sensing, and planning [My Copy] (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 along with 1 person rfk
	Tractable Reasoning in Incomplete First-Order Knowledge Bases [My Copy] (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
	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
	The Wumpus World in IndiGolog: A Preliminary Report [My Copy] In In Proceedings the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-05) (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
	Deliberation in Agent Programming Languages [My Copy] (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
	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
	A Formal Theory of Knowledge and Action [My Copy] In Formal Theories of the Commonsense World (1985), pp. 319-358. by R. C. Moore edited by J. R. Hobbs, R. C. Moore posted to ai depth foundations knowledge logic reasoning_about_action situation_calculus by stavros on 2005-10-03 19:41:59 as along with 1 person rfk
	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
	Knowledge Equivalence in Combined Action Theories [My Copy] In Proceedings of KR-2002 (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
	A Simple and Tractable Extension of Situation Calculus to Epistemic Logic [My Copy] In Proc. of 12th International Symposium on Methodologies for Intelligent Systems (ISMIS), 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 along with 1 person rfk
	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
	Some Philosophical Problems from the Standpoint of Artificial Intelligence [My Copy] Machine Intelligence, Vol. 4 (1969), pp. 463-502. by John Mccarthy, Patrick J. Hayes edited by B. Meltzer, D. Michie posted to ai depth foundations logic situation_calculus by stavros on 2005-09-16 22:39:02 as
	Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems [My Copy] (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
	The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression [My Copy] In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy (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
	Knowledge, Action, and the Frame Problem [My Copy] Artificial Intelligence, Vol. 144, No. 1--2. (2003), pp. 1-39. by R. Scherl, H. J. Levesque posted to ai depth frame_problem knowledge logic reasoning_about_action situation_calculus by stavros on 2005-09-16 22:05:00 as
	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
	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 (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
	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 stavros on 2005-09-14 18:03:59 as

Note: You may cite this page as: http://www.citeulike.org/user/stavros/tag/situation_calculus

ai	157
logic	119
depth	110
reasoning_about_action	58
incomplete_knowledge	40
situation_calculus	40
games	29
foundations	26
theorem_proving	23
system	22
agent	21
planning	21
databases	20
frame_problem	17
logic_programming	15
golog	14
knowledge	11
complexity	10
robot	10
agent_oriented_programming	9
cogrobo	9
knowledge_compilation	8
nonmonotonic	8
theories_of_equality	8
progression	6
answer_set	5
architecture	5
fluent_calculus	5
narratives	5
sat	5
behavior	4
circumscription	4
common_sense	4
default	4
implicit_belief	4
nondeterminism	4
causality	3
congurence_closure	3
control	3
csp	3
general_game_playing	3
inconsistent_databases	3
resolution	3
wumpus	3
competition	2
diagnosis	2
event_calculus	2
execution_monitoring	2
flux	2
indexicals	2
mdp	2
pddl	2
reasoning	2
softbots	2
solver	2
testbed	2
3apl	1
about_action	1
agetn	1
animation	1
approximate_reasoning	1
bdd	1
dabases	1
developmental_robotics	1
es	1
feature_extraction	1
features_and_fluents	1
gdl	1
google	1
graph_theory	1
halo	1
information_theory	1
interval	1
learning	1
limited_beliefs	1
linguistics	1
logi	1
logical_filtering	1
manual	1
math	1
possible_values	1
proceedings	1
programming_language	1
psycology	1
ramifications	1
sensing	1
software_engineering	1
term_indexing	1
theory_approximation	1
tmp	1
treewidth	1
undecidability	1
web_services	1

stavros's situation_calculus [40 articles] Export

stavros's tags