stavros's Levesque:H [29 articles] Export

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

	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
	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
	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
	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
	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
	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
	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
	A Logic of Implicit and Explicit Belief. [My Copy] In AAAI (1984), pp. 198-202. by Hector J. Levesque posted to ai implicit_belief incomplete_knowledge logic by stavros on 2006-05-14 02:36:39 as
	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
	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
	Planning with Loops [My Copy] In Proc. IJCAI-05 (August 2005) by Hector J. Levesque posted to ai logic planning by stavros on 2005-12-05 06:54:28 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
	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 incremental interpreter for high-level programs with sensing [My Copy] Technical Report (1998) by Giuseppe De Giacomo, Hector J. Levesque posted to agent ai depth golog incomplete_knowledge logic situation_calculus system by stavros on 2005-10-04 01:09:48 as
	An incremental interpreter for high-level programs with sensing [My Copy] Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter (1999), pp. 86-102. by Giuseppe De Giacomo, Hector J. Levesque edited by Hector J. Levesque, Fiorra Pirri posted to agent ai depth golog incomplete_knowledge logic situation_calculus system by stavros on 2005-10-04 00:58:58 as along with 1 person fheintz
	What is Planning in the Presence of Sensing? [My Copy] In The Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96 (August 1996), pp. 1139-1146. by Hector Levesque posted to ai depth incomplete_knowledge logic reasoning_about_action by stavros on 2005-10-03 19:58:36 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
	Knowledge Equivalence in Combined Action Theories [My Copy] In Proceedings of KR-2002 (April 2002) by Ron Petrick, Hector Levesque posted to ai depth incomplete_knowledge knowledge logic reasoning_about_action situation_calculus by stavros on 2005-09-22 01:01:30 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
	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
	A completeness result for reasoning with incomplete first-order knowledge bases [My Copy] In Proceedings of KR-1998, Sixth International Conference on Principles of Knowledge Representation and Reasoning (June 1998) by H. J. Levesque posted to ai databases depth incomplete_knowledge logic by stavros on 2005-09-21 19:21:17 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, Action, and the Frame Problem [My Copy] Artificial Intelligence, Vol. 144, No. 1--2. (2003), pp. 1-39. by R. Scherl, H. J. Levesque posted to ai depth frame_problem knowledge logic reasoning_about_action situation_calculus by stavros on 2005-09-16 22:05:00 as
	The Frame Problem and Knowledge-Producing Actions [My Copy] In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93) (1993), pp. 689-697. by Richard B. Scherl, Hector J. Levesque posted to ai depth frame_problem knowledge logic reasoning_about_action situation_calculus by stavros on 2005-09-16 21:56:46 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/Levesque:H

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 Levesque:H [29 articles] Export

stavros's tags