stavros's Reiter:R [17 articles] Export

Recent papers posted to stavros's library by the author Reiter:R. You can also see everyone's Reiter:R.

	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
	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
	A theory of diagnosis from first principles [My Copy] Artificial Intelligence, Vol. 32, No. 1. (April 1987), pp. 57-95. by Raymond Reiter posted to diagnosis logic by stavros on 2006-02-04 02:25:36 as along with 2 people fheintz gvdh
	Characterizing diagnoses and systems [My Copy] Artificial Intelligence, Vol. 56, No. 2-3. (August 1992), pp. 197-222. by Johan de Kleer, Alan K. Mackworth, Raymond Reiter posted to diagnosis logic by stavros on 2006-02-04 02:22:39 as along with 2 people fheintz gvdh
	On knowledge-based programming with sensing in the situation calculus [My Copy] ACM Trans. Comput. Logic, Vol. 2, No. 4. (October 2001), pp. 433-457. by Raymond Reiter posted to depth by stavros on 2005-11-29 18:38:36 as
	How to Progress a Database II: The STRIPS Connection [My Copy] In IJCAI (1995), pp. 2001-2009. by Fangzhen Lin, Raymond Reiter posted to depth by stavros on 2005-11-22 04:05:12 as
	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
	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
	High-level Robotic Control: Beyond Planning. A Position Paper. [My Copy] In AIII 1998 Spring Symposium: Integrating Robotics Research: Taking the Next Big Leap (March 1998) by Hector Levesque, Ray Reiter posted to ai architecture cogrobo depth logic system by stavros on 2005-09-27 03:14:45 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
	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
	A Logic for Default Reasoning [My Copy] Artificial Intelligence, Vol. 13 (1980), pp. 81-132. by R. Reiter posted to ai default depth foundations frame_problem logic nonmonotonic by stavros on 2005-09-19 23:43:04 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
	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
	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

Note: You may cite this page as: http://www.citeulike.org/user/stavros/author/Reiter:R

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 Reiter:R [17 articles] Export

stavros's tags