stavros's ai [157 articles] Export

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

	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
	The state of the art in game AI standardisation [My Copy] In CyberGames '06: Proceedings of the 2006 international conference on Game research and development (2006), pp. 41-46. by Billy Yue, Penny de Byl posted to games ai by stavros on 2009-09-28 16:59:19 as along with 2 people knowlengr gpbrazda
	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
	Reasoning about Rational Agents [My Copy] (2000) by Michael J. Wooldridge posted to agent agent_oriented_programming ai by stavros on 2008-02-18 00:25:53 as along with 1 person nmaudet
	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
	PDDL---The Planning Domain Definition Language [My Copy] (1998) by M. Ghallab, A. Howe, C. Knoblock, et al.D. Mcdermott, A. Ram, M. Veloso, D. Weld, D. Wilkins posted to ai pddl planning by stavros on 2008-02-08 20:26:32 as along with 1 person baisemain
	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
	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
	ARTIFICIAL INTELLIGENCE: Autonomous Mental Development by Robots and Animals [My Copy] Science, Vol. 291, No. 5504. (26 January 2001), pp. 599-600. by Juyang Weng, James Mcclelland, Alex Pentland, et al.Olaf Sporns, Ida Stockman, Mriganka Sur, Esther Thelen posted to ai developmental_robotics by stavros on 2007-10-25 22:02:37 as along with 8 people and 1 group akavipat hukkinen stober alterego balicea memphisphil chchatham todd007 Cognitive_Development_Center_-_Neural_Nets_Chapter
	Adapting Golog for Composition of Semantic Web Services [My Copy] In International Conference on Principles of Knowledge Representation ernational Conference on Principles of Knowledge Representation and Reasoning (2002) by Sheila Mcilraith, Trao C. Son posted to ai golog web_services by stavros on 2007-10-01 16:39:29 as
	Making believers out of computers [My Copy] Artif. Intell., Vol. 30, No. 1. (October 1986), pp. 81-108. by H. J. Levesque posted to ai knowledge by stavros on 2007-09-25 21:48:29 as along with 1 person rfk
	Learning Large Scale Common Sense Models of Everyday Life [My Copy] In Proceedings of the Twenty-Second AAAI Conference on Artificial Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (July 2007), pp. 465-470. by William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz edited by William P. And, Matthai P. And, Jeff, Henry A. Kautz posted to ai common_sense by stavros on 2007-09-24 18:03:01 as
	Verbosity: a game for collecting common-sense facts [My Copy] In CHI '06: Proceedings of the SIGCHI conference on Human Factors in computing systems (2006), pp. 75-78. by L. von Ahn, M. Kedia, M. Blum posted to ai common_sense games by stavros on 2007-09-24 16:56:12 as
	Coverage and Competency in Formal Theories: A Commonsense Theory of Memory [My Copy] In AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning (March 2003) by Andrew Gordon, Jerry R. Hobbs posted to ai common_sense by stavros on 2007-07-24 16:30:08 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
	On the Expressibility of Propositions [My Copy] Logique et Analyse, Vol. 139--149 (1995), pp. 251-272. by P. Peppas, N. Foo, M. Williams posted to about_action ai logic reasoning by stavros on 2007-05-03 00:00:36 as
	AI: the smart way to go (Interview) [My Copy] (2005) by Paul Hyman, John Funge posted to ai games by stavros on 2007-04-23 21:56:30 as
	The Illusion of Intelligence: The integration of AI and level design in Halo [My Copy] (2002) by Chris Butcher, Jaime Griesemer posted to ai games halo by stavros on 2007-04-23 21:25:30 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
	Automatic Meaning Discovery Using Google [My Copy] (21 December 2004) by Rudi Cilibrasi, Paul M. B. Vitanyi posted to linguistics google ai by stavros on 2007-01-18 18:52:26 as along with 24 people and 6 groups mercutio sourada samth korakot parmentierf mafwood A_Olympia mortimer ranford RobotAdam macartisan mcphee ingo ctl umbra joelh sugarexpletive simons ngdelamo AlisonBabeu scorreia_pro votis anton-tayanovskyy kolenchery NU-PRL Philosophy_of_Information UoY-CS-AIG Blog_and_Wiki_Research AI NETS-UAM
	Pengi: an implementation of a theory of activity [My Copy] (1995), pp. 635-644. by Philip E. Agre, David Chapman posted to ai games by stavros on 2006-12-07 15:12:07 as
	Applying Inexpensive AI Techniques to Computer Games [My Copy] IEEE Intelligent Systems, Vol. 17, No. 4. (July 2002), pp. 48-53. by Aaron Khoo, Robert Zubek posted to ai games by stavros on 2006-11-09 06:48:31 as
	Behavior Modeling in Commercial Games: Final Report [My Copy] (2006) by William Ferguson, David E. Diller, Alice M. Leung, Brett Benyo, Dennis Foley posted to ai games by stavros on 2006-11-09 06:40:50 as along with 1 person Maderlock
	Behavior Modeling in Commercial Games [My Copy] In Behavior Representation in Modeling and Simulation (BRIMS) (2004) by David E. Diller, William Ferguson, Alice M. Leung, Brett Benyo, Dennis Foley posted to ai games by stavros on 2006-11-09 06:37:17 as
	Believability through context using "knowledge in the world" to create intelligent characters [My Copy] In AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems (2002), pp. 342-349. by Patrick Doyle posted to ai games by stavros on 2006-10-30 20:54:00 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
	Knowledge-gathering agents in adventure games [My Copy] (2004) by B. Hlubocky, E. Amir posted to ai games by stavros on 2006-10-30 18:26:51 as along with 2 people knowlengr jonas28
	Prolegomena to Study of Hector-Neri Castañeda's Influence on Artificial Intelligence [My Copy] In Thought, Language, and Ontology: Essays in Memory of Hector-Neri Castañeda (1998), pp. 235-294.. by William J. Rapaport edited by Francesco Orilia, William J. Rapaport posted to ai foundations logic by stavros on 2006-10-26 19:58:51 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
	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
	Leonardo, an Approach towards the Consolidation of Computer Software Systems [My Copy] CAISOR Archive of Articles, Vol. 16 (2005) by Erik Sandewall posted to agent_oriented_programming ai system by stavros on 2006-07-12 22:08:52 as
	Intelligent Agents for Computer Games [My Copy] (2000) by A. Nareyek posted to agent ai games by stavros on 2006-07-06 16:43:07 as along with 2 people sdipaola knowlengr
	Tractable Disjunctive Constraints [My Copy] In Proceedings 3rd International Conference on Constraint Programming---CP'97 (Linz, October 1997), Vol. 1330 (1996), pp. 478-490. by D. A. Cohen, P. G. Jeavons, M. Koubarakis posted to ai csp by stavros on 2006-06-24 08:50:21 as
	Artificial Intelligence: A Modern Approach [My Copy] (2003) by Stuart J. Russell, Peter Norvig posted to ai by stavros on 2006-06-24 08:22:36 as along with 2 people schiffer derwolf
	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
	NMR'06 - Eleventh International Workshop on Non-Monotonic Reasoning [My Copy] (2006) posted to ai logic by stavros on 2006-06-20 17:27:16 as
	Theory and Practice of Constraint Handling Rules [My Copy] Journal of Logic Programming, Special Issue on Constraint Logic Programming, Vol. 37, No. 1-3. (October 1998), pp. 95-138. by Thom Frühwirth edited by Marriot posted to ai csp logic_programming by stavros on 2006-06-15 03:54:02 as along with 1 person noormkhan
	The CLP(<inline-equation> <f> <sc>R</sc></f> </inline-equation> ) language and system [My Copy] ACM Trans. Program. Lang. Syst., Vol. 14, No. 3. (July 1992), pp. 339-395. by Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap posted to ai csp logic_programming by stavros on 2006-06-15 03:49:47 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
	Compiling Uncertainty Away: Solving Conformant Planning Problems Using a Classical Planner (Sometimes). [My Copy] In Proc. 21st Nat. Conf. on Artificial Intelligence (AAAI-06) (2006) by H. Palacios, H. Geffner posted to ai incomplete_knowledge planning by stavros on 2006-06-02 01:19:21 as

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

Result page: 1 2 3 4 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 ai [157 articles] Export

stavros's tags