stavros's Levesque:HJ [19 articles] Export

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

	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
	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
	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
	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:HJ

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 Levesque:HJ [19 articles] Export

stavros's tags