stavros's system [22 articles] Export

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

	A knowledge-based representation for effective acting, sensing, and planning [My Copy] (2006) by Ron Petrick posted to architecture incomplete_knowledge knowledge planning reasoning_about_action situation_calculus system by stavros on 2006-09-01 21:58:53 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
	Reasoning about actions with CHRs and finite domain constraints [My Copy] (2002) by M. Thielscher posted to ai logic logic_programming reasoning_about_action system by stavros on 2006-05-25 00:02:40 as
	Handling Implication and Universal Quantification Constraints in FLUX. [My Copy] In CP (2005), pp. 667-681. by Michael Thielscher posted to agetn ai flux system by stavros on 2006-05-24 23:30:38 as
	The design and implementation of VAMPIRE [My Copy] AI Commun., Vol. 15, No. 2. (September 2002), pp. 91-110. by Alexandre Riazanov, Andrei Voronkov posted to ai logic system theorem_proving by stavros on 2006-05-15 01:16:10 as
	A SNePS Approach to The Wumpus World Agent: or Cassie Meets the Wumpus [My Copy] In In Proceedings the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-05) (August 2005) by Stuart C. Shapiro, Michael Kandefer posted to agent ai depth games system wumpus by stavros on 2005-12-05 19:52:32 as
	FLUX: A logic programming method for reasoning agents [My Copy] Theory Pract. Log. Program., Vol. 5, No. 4-5. (2004), pp. 533-565. by Michael Thielscher posted to agent ai architecture cogrobo depth fluent_calculus logic softbots system by stavros on 2005-11-29 18:12:15 as
	Actions as a Basic Software Concept in the Leonardo Computation System [My Copy] In In Proceedings the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-05) (August 2005), pp. 71-77. by Erik Sandewall posted to agent agent_oriented_programming system by stavros on 2005-11-23 22:04:57 as
	An On-line Decision-Theoretic Golog Interpreter [My Copy] In IJCAI (2001), pp. 19-26. by Mikhail Soutchanski posted to agent ai cogrobo depth golog logic mdp reasoning_about_action robot situation_calculus system by stavros on 2005-11-14 23:06:17 as along with 1 person schiffer
	Decision-Theoretic, High-Level Agent Programming in the Situation Calculus [My Copy] In Artificial Intelligence (AAAI-00) and of the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-00) (July 2000), pp. 355-362. by Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun posted to ai cogrobo depth golog logic mdp reasoning_about_action robot situation_calculus system by stavros on 2005-11-13 03:15:17 as
	The Wumpus World in IndiGolog: A Preliminary Report [My Copy] In In Proceedings the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-05) (2005), pp. 90-95. by Sebastian Sardina, Stavros Vassos posted to agent ai cogrobo depth games golog incomplete_knowledge logic reasoning_about_action situation_calculus system wumpus by stavros on 2005-11-05 04:31:02 as
	Deliberation in Agent Programming Languages [My Copy] (2005) by Sebastian Sardina posted to agent ai cogrobo control depth execution_monitoring golog logic nondeterminism reasoning_about_action situation_calculus system by stavros on 2005-10-13 09:40:12 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
	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
	Cog [My Copy] by Rodney A. Brooks posted to ai behavior robot system by stavros on 2005-09-27 02:27:24 as
	Execution Monitoring of High-Level Robot Programs [My Copy] In Principles of Knowledge Representation and Reasoning (1998), pp. 453-465. by Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski posted to agent ai cogrobo control execution_monitoring golog logic robot situation_calculus system by stavros on 2005-09-23 23:48:16 as along with 2 people schiffer fheintz
	Cognitive Modeling for Computer Games [My Copy] In AIII Fall Symposium on Cognitive Robotics (October 1998), pp. 44-51. by John Funge posted to ai depth games logic system by stavros on 2005-09-22 01:36:11 as
	Making Them Behave: Cognitive Models for Computer Animation [My Copy] (1998) by John Funge posted to ai animation architecture games incomplete_knowledge knowledge logic system by stavros on 2005-09-22 00:58:39 as
	A knowledge-based approach to planning with incomplete information and sensing [My Copy] In Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS-2002) (April 2002), pp. 212-221. by Ronald P. A. Petrick, Fahiem Bacchus edited by Malik Ghallab, Joachim Hertzberg, Paolo Traverso posted to ai databases depth reasoning_about_action system by stavros on 2005-09-22 00:37:39 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
	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/tag/system

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 system [22 articles] Export

stavros's tags