stavros's Lakemeyer [13 articles] Export

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

	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
	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
	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
	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
	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
	A tractable knowledge representation service with full introspection [My Copy] In TARK '88: Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge (1988), pp. 145-159. by Gerhard Lakemeyer, Hector J. Levesque posted to ai implicit_belief incomplete_knowledge logic by stavros on 2006-05-02 00:04:05 as along with 1 person neuralwarp
	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
	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
	On-line decision-theoretic golog for unpredictable domains [My Copy] by A. Ferrein, C. Fritz, G. Lakemeyer posted to depth by stavros on 2005-11-14 19:46:58 as along with 1 person schiffer
	A Logic of Limited Belief for Reasoning with Disjunctive Information [My Copy] In Proc. KR-04 (June 2004), pp. 587-597. by Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque posted to ai depth implicit_belief incomplete_knowledge logic by stavros on 2005-09-21 19:50:55 as
	Evaluation-based reasoning with disjunctive information in first-order knowledge bases [My Copy] In Proceedings of KR-2002, Eighth International Conference on Principles of Knowledge Representation and Reasoning (2002) by Gerhard Lakemeyer, Hector J. Levesque posted to ai databases depth incomplete_knowledge logic by stavros on 2005-09-21 19:40:04 as

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

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

ai	157
logic	119
depth	110
reasoning_about_action	58
situation_calculus	40
incomplete_knowledge	40
games	29
foundations	26
theorem_proving	23
system	22
planning	21
agent	21
databases	20
frame_problem	17
logic_programming	15
golog	14
knowledge	11
complexity	10
robot	10
cogrobo	9
agent_oriented_programming	9
theories_of_equality	8
knowledge_compilation	8
nonmonotonic	8
progression	6
answer_set	5
fluent_calculus	5
sat	5
architecture	5
narratives	5
common_sense	4
default	4
nondeterminism	4
implicit_belief	4
behavior	4
circumscription	4
inconsistent_databases	3
general_game_playing	3
resolution	3
control	3
congurence_closure	3
causality	3
wumpus	3
csp	3
competition	2
testbed	2
solver	2
softbots	2
diagnosis	2
pddl	2
execution_monitoring	2
event_calculus	2
reasoning	2
flux	2
mdp	2
indexicals	2
term_indexing	1
halo	1
undecidability	1
feature_extraction	1
logi	1
bdd	1
ramifications	1
theory_approximation	1
animation	1
gdl	1
google	1
learning	1
treewidth	1
agetn	1
math	1
software_engineering	1
information_theory	1
linguistics	1
proceedings	1
sensing	1
graph_theory	1
manual	1
es	1
features_and_fluents	1
web_services	1
developmental_robotics	1
logical_filtering	1
psycology	1
limited_beliefs	1
interval	1
tmp	1
programming_language	1
approximate_reasoning	1
3apl	1
dabases	1
about_action	1
possible_values	1

stavros's Lakemeyer [13 articles] Export

stavros's tags