stavros's reasoning_about_action [58 articles] Export

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

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
	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
	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
	Nonmonotonic Logical Approaches for the Frame Problem in Artificial Intelligence [My Copy] (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
	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
	STRIPS: A new approach to the application of theorem proving to problem solving [My Copy] 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
	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
	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
	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
	First-Order Logical Filtering [My Copy] In IJCAI (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 along with 1 person rfk
	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
	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
	A New Deductive Approach to Planning. [My Copy] 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
	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
	Logic Programming and Reasoning about actions [My Copy] In Handbook of Temporal reasoning in AI (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
	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
	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
	What is Planning in the Presence of Sensing? [My Copy] In The Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96 (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
	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
	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 knowledge-based approach to planning with incomplete information and sensing [My Copy] In Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS-2002) (April 2002), pp. 212-221. by Ronald P. A. 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
	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
	STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving [My Copy] Artificial Intelligence, Vol. 2 (1971), pp. 189-208. by R. E. Fikes, N. J. Nilsson posted to ai databases depth foundations frame_problem reasoning_about_action by stavros on 2005-09-22 00:00:50 as
	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
	ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus. [My Copy] In KR (1989), pp. 324-332. by Edwin P. D. 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 [My Copy] 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
	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

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

Result page: 1 2 Next

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 reasoning_about_action [58 articles] Export

stavros's tags