stavros's library 259 articles Export

Ordered by to_read.

	Cognitive Robotics [My Copy] In Handbook of Knowledge Representation (To appear) by Hector Levesque, Gerhard Lakemeyer edited by V. Lifschitz, F. van Harmelen, F. Porter posted to no-tag by stavros on 2006-10-10 19:47:36 as along with 1 person schiffer
	The complexity of theorem-proving procedures [My Copy] In STOC '71: Proceedings of the third annual ACM symposium on Theory of computing (1971), pp. 151-158. by Stephen A. Cook posted to tmp by stavros on 2006-02-06 08:40:22 as along with 6 people sdvillal bsilverthorn voronov dfabbri JakubSzymanik eporreca
	Complete Sets of Reductions for Some Equational Theories [My Copy] J. ACM, Vol. 28, No. 2. (April 1981), pp. 233-264. by Gerald E. Peterson, Mark E. Stickel posted to complexity logic theories_of_equality by stavros on 2006-01-26 18:52:37 as along with 1 person radico
	Completeness of Linear Refutation for Theories with Equality [My Copy] J. ACM, Vol. 18, No. 1. (January 1971), pp. 126-136. by C. L. Chang, J. R. Slagle posted to foundations logic theorem_proving theories_of_equality by stavros on 2006-01-17 23:56:27 as
	A knowledge compilation map [My Copy] (2002) by A. Darwiche, P. Marquis posted to ai knowledge_compilation logic by stavros on 2006-01-11 22:12:59 as along with 2 people A_Olympia gvdh
	A Perspective on Knowledge Compilation [My Copy] In IJCAI (2001), pp. 175-182. by Adnan Darwiche, Pierre Marquis posted to ai knowledge_compilation logic by stavros on 2006-01-11 22:11:33 as
	Compiling Knowledge into Decomposable Negation Normal Form [My Copy] In IJCAI (1999), pp. 284-289. by Adnan Darwiche posted to ai knowledge_compilation logic by stavros on 2006-01-11 22:10:55 as
	The PLACA agent programming language [My Copy] In ECAI-94: Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents (1995), pp. 355-370. by Rebecca S. Thomas posted to depth by stavros on 2005-12-06 04:14:34 as
	AI for games and animation: A cognitive modeling approach [My Copy] (1999) by John D. Funge posted to depth by stavros on 2005-12-05 18:51:09 as
	Halo 2 [My Copy] http://www.xbox.com/en-US/games/h/halo2/default.htm (2005) by Halo posted to depth by stavros on 2005-12-05 10:19:39 as
	Game AI: The State of the industry, part two [My Copy] http://www.gamasutra.com/features/20001108/laird$\_$01.htm (November 2001) by David C. Pottinger, John E. Laird posted to depth by stavros on 2005-12-05 10:10:05 as
	Game AI: The State of the Industry [My Copy] http://www.gamasutra.com/features/20001101/woodcock$\_$01.htm (November 2001) by Steven Woodcock posted to depth by stavros on 2005-12-05 10:06:57 as
	Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus [My Copy] In Proceedings of the Fifteenth International JointConference on AI (IJCAI'97) (August 1997), pp. 1221-1226. by Giuseppe De Giacomo, Yves Lesperance, Hector J. Levesque posted to depth by stavros on 2005-12-05 08:01:21 as along with 1 person shakilmkhan
	Universal planning: An (almost) universally bad idea [My Copy] AI Magazine, Vol. 10, No. 4. (1989), pp. 40-44. by Matthew L. Ginsberg posted to depth by stavros on 2005-12-05 03:54:03 as along with 1 person fakirhs
	Universal Plans for Reactive Robots in Unpredictable Environments [My Copy] In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87) (1987), pp. 1039-1046. by M. J. Schoppers edited by John Mcdermott posted to depth by stavros on 2005-12-05 03:53:24 as along with 2 people and 1 group fakirhs GG_URFIST Urfist_PacaC
	SOAR: an architecture for general intelligence [My Copy] Artif. Intell., Vol. 33, No. 1. (September 1987), pp. 1-64. by John E. Laird, Allen Newell, Paul S. Rosenbloom posted to depth by stavros on 2005-12-05 00:20:48 as along with 2 people didier bsilverthorn
	Solving the frame problem: a mathematical investigation of the common sense law of inertia [My Copy] (1997) by Murray Shanahan posted to depth by stavros on 2005-12-04 22:56:12 as
	An abductive event calculus planner [My Copy] Journal of Logic Programming, Vol. 44, No. 1-3. (2000), pp. 207-240. by Murray Shanahan posted to depth by stavros on 2005-12-04 21:45:33 as along with 1 person msakai
	Adventure games: A challenge for cognitive robotics [My Copy] (2002) by E. Amir, P. Doyle posted to ai depth games by stavros on 2005-12-04 19:24:21 as
	Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG [My Copy] In Proceedings of the First Annual Artificial Intelligence and Interactive Digital Entertainment Conference ({AIIDE}05) (2005) by Stefan Jacobs, Alexander Ferrein, Gerhard Lakemeyer posted to depth by stavros on 2005-12-04 19:21:59 as along with 2 people schiffer fakirhs
	It knows what you're going to do: adding anticipation to a Quakebot [My Copy] In AGENTS '01: Proceedings of the fifth international conference on Autonomous agents (2001), pp. 385-392. by John E. Laird posted to depth by stavros on 2005-12-04 19:17:27 as along with 1 person pthimon
	Artificial Intelligence in Computer Games - State of the Art and Future Directions [My Copy] ACM Queue, Vol. 10, No. 1. (2004), pp. 58-65. by Alexander Nareyek posted to depth by stavros on 2005-12-04 18:57:40 as
	Artificial Intelligence For Computer Games: An Introduction [My Copy] (2004) by John D. Funge posted to depth by stavros on 2005-12-04 18:53:41 as
	Modeling an agent's incomplete knowledge during planning and execution [My Copy] In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning ({KR}-98) (June 1998), pp. 432-443. by Fahiem Bacchus, Ron Petrick edited by Anthony G. Cohn, Lenhart Schubert, Stuart C. Shapiro posted to depth by stavros on 2005-12-02 03:17:34 as
	A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases [My Copy] In Proceedings of IJCAI-03 (August 2003), pp. 83-88. by Yongmei Liu, Hector Levesque posted to depth by stavros on 2005-12-01 02:45:14 as
	Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing [My Copy] In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS-04) (2004), pp. 2-11. by Ronald P. A. Petrick, Fahiem Bacchus edited by Shlomo Zilberstein, Jana Koehler, Sven Koenig posted to depth by stavros on 2005-12-01 01:30:41 as
	The Qualification Problem: A solution to the problem of anomalous models [My Copy] Artificial Intelligence, Vol. 131, No. 1-2. (2001), pp. 1-37. by Michael Thielscher posted to depth by stavros on 2005-11-29 20:58:52 as
	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
	Actions as a Basic Software Concept in the Leonardo Computation System [My Copy] In In Proceedings the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-05) (August 2005), pp. 71-77. by Erik Sandewall posted to agent agent_oriented_programming system by stavros on 2005-11-23 22:04:57 as
	Agent-Based Software Engineering [My Copy] In Proceedings of the 5th International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM 2000) (2000) by Charles J. Petrie edited by Jeffrey Bradshaw, Geoff Arnold posted to agent_oriented_programming by stavros on 2005-11-23 20:10:14 as along with 1 person mlyell
	Agent-K: An Integration of AOP and KQML [My Copy] In Proceedings of the CIKM'94 Workshop on Intelligent Agents (1994) by W. H. E. Davies, P. Edwards edited by T. Finin, Y. Labrou posted to agent depth by stavros on 2005-11-23 20:01:04 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
	MINERVA: A Tour-Guide Robot that Learns [My Copy] In KI - Kunstliche Intelligenz (1999), pp. 14-26. by Sebastian Thrun, Maren Bennewitz, Wolfram Burgard, et al.Armin B. Cremers, Frank Dellaert, Dieter Fox, Dirk Hahnel, Charles R. Rosenberg, Nicholas Roy, Jamieson Schulte, Dirk Schulz posted to depth robot by stavros on 2005-11-21 22:19:29 as
	Robot Planning [My Copy] AI Magazine, Vol. 13, No. 2. (1992), pp. 55-79. by Drew Mcdermott posted to depth planning by stavros on 2005-11-21 22:10:17 as
	cc-Golog: Towards More Realistic Logic-Based Robot Controllers [My Copy] In AAAI/IAAI (2000), pp. 476-482. by Henrik Grosskreutz, Gerhard Lakemeyer posted to depth golog by stavros on 2005-11-21 21:42:18 as
	On-Line Execution of cc-Golog Plans [My Copy] In IJCAI (2001), pp. 12-18. by Henrik Grosskreutz, Gerhard Lakemeyer posted to depth golog by stavros on 2005-11-21 19:50:14 as along with 1 person schiffer
	SPT: Hierarchical agent control: A framework for defining agent behavior [My Copy] (2000) by M. Atkin, G. King, D. Westbrook, B. Heeringa, A. Hannon, P. Cohen posted to agent ai by stavros on 2005-11-19 22:26:58 as
	Capture the Flag: Military Simulation Meets Computer Games [My Copy] (1999) by M. Atkin, D. Westbrook, P. Cohen posted to depth games by stavros on 2005-11-19 22:24:12 as
	Projection Using Regression and Sensors [My Copy] In IJCAI (1999), pp. 160-165. by Giuseppe De Giacomo, Hector J. Levesque posted to depth by stavros on 2005-11-15 02:35:00 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
	Logic-Based Modelling of Goal-Directed Behavior [My Copy] Electronic Transactions on Artificial Intelligence (ETAI), Vol. 1 (1997), pp. 105-128. by Erik Sandewall posted to depth by stavros on 2005-10-13 07:13:56 as
	Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions [My Copy] In Proc. IJCAI-05 (August 2005) by Yongmei Liu, Hector J. Levesque posted to depth by stavros on 2005-09-21 20:09:35 as
	Tractable reasoning in first-order knowledge bases with disjunctive information [My Copy] In In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05) (July 2005) by Yongmei Liu, Hector J. Levesque posted to depth by stavros on 2005-09-21 20:06:10 as
	Answer set programming and plan generation [My Copy] Artificial Intelligence, Vol. 138, No. 1-2. (2002), pp. 39-54. by Vladimir Lifschitz posted to ai answer_set depth logic logic_programming by stavros on 2005-09-20 23:21:29 as along with 1 person baisemain
	Representing the Knowledge of a Robot [My Copy] In KR2000: Principles of Knowledge Representation and Reasoning (2000), pp. 109-120. by Michael Thielscher edited by Anthony G. Cohn, Fausto Giunchiglia, Bart Selman posted to depth by stavros on 2005-09-16 21:39:56 as
	Programming of reasoning and planning agents with FLUX [My Copy] (2002) by M. Thielscher posted to depth by stavros on 2005-09-16 21:30:59 as along with 1 person and 2 groups bsmagic Bioinformatics bioinplant
	Formalizing sensing actions A transition function based approach [My Copy] Artificial Intelligence, Vol. 125, No. 1-2. (2001), pp. 19-91. by Tran C. Son, Chitta Baral posted to depth by stavros on 2005-09-16 19:38:23 as
	Control Structures of Rule-Based Agent Languages [My Copy] In Proceedings of the 5th International Workshop on Intelligent Agents V : Agent Theories, Architectures, and Languages (ATAL-98), Vol. 1555 (1999), pp. 381-396. by Koen Hindriks, Frank de Boer, Wiebe van der Hoek, John edited by Jörg Müller, Munindar P. Singh, Anand S. Rao posted to 3apl depth by stavros on 2005-09-15 01:14:44 as along with 1 person and 1 group mahler Rightscom
	Agent Programming in 3APL [My Copy] Autonomous Agents and Multi-Agent Systems, Vol. 2, No. 4. (1999), pp. 357-401. by Koen V. Hindriks, Frank S. De Boer, Wiebe van der Hoek, John edited by Nicholas Jennings, Katia Sycara, Michael Georgeff posted to depth by stavros on 2005-09-15 00:39:14 as
	Relating theories of actions and reactive control [My Copy] Electronic Transactions on Artificial Intelligence, Vol. 2 (1998), pp. 211-271. by Chitta Baral, Tran C. Son posted to depth by stavros on 2005-09-14 18:03:59 as

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

Result page: 1 2 3 4 5 6 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 library 259 articles Export

stavros's tags