stavros's library 259 articles Export

	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
	Introduction to Mathematical Logic [My Copy] (1997) by Elliott Mendelson posted to foundations logic by stavros on 2009-01-29 14:21:19 as along with 1 person pmatos
	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
	Lua --- an Extensible Extension Language [My Copy] Soft\-waredash Prac\-tice and Experience, Vol. 26, No. 6. (1996), pp. 635-652. by Roberto Ierusalimschy, Luiz H. de Figueiredo, Waldemar C. Filho posted to programming_language software_engineering by stavros on 2008-02-22 05:59:34 as along with 1 person jrw
	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
	OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications [My Copy] In Proceedings of 5th International Conference on Database and Expert Systems Applications (DEXA'94), Vol. 856 (1994), pp. 641-650. by Elsa L. Gunter, Leonid Libkin edited by D. Karagiannis posted to databases incomplete_knowledge by stavros on 2008-02-12 19:49:45 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
	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
	Maintaining transitive closure of graphs in SQL [My Copy] Int. Journal of Information Technology by Guozhu Dong, Leonid Libkin, Jianwen Su, Limsoon Wong posted to databases by stavros on 2007-11-05 18:21:38 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
	Minimal-change integrity maintenance using tuple deletions [My Copy] Inf. Comput., Vol. 197, No. 1/2. (2005), pp. 90-121. by Jan Chomicki, Jerzy Marcinkowski posted to databases inconsistent_databases by stavros on 2007-03-26 10:02:02 as along with 1 person fsautomata
	Consistent query answers in inconsistent databases [My Copy] In PODS '99: Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (1999), pp. 68-79. by Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki posted to databases inconsistent_databases by stavros on 2007-03-26 04:03:01 as along with 2 people anonyox fsautomata
	ConQuer: efficient management of inconsistent databases [My Copy] In SIGMOD '05: Proceedings of the 2005 ACM SIGMOD international conference on Management of data (2005), pp. 155-166. by Ariel Fuxman, Elham Fazli, Ren&\#233;e J. Miller posted to databases inconsistent_databases by stavros on 2007-03-26 01:55:57 as along with 1 person mogwaing
	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
	ULDBs: databases with uncertainty and lineage [My Copy] In VLDB'2006: Proceedings of the 32nd international conference on Very large data bases (2006), pp. 953-964. by Omar Benjelloun, Anish D. Sarma, Alon Halevy, Jennifer Widom posted to incomplete_knowledge dabases by stavros on 2007-01-19 23:18:07 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
	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

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

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