Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

stavros's ai [153 articles]

Recent papers added to stavros's library classified by the tag ai. You can also see everyone's ai.
  • On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
    (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 read
  • Reasoning about Rational Agents
    (2000)
    by Michael J Wooldridge
    posted to agent agent_oriented_programming ai by stavros on 2008-02-18 00:25:53 as read along with 1 person nmaudet
  • GOLOG and PDDL: what is the relative expressiveness?
    (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 read
  • Action Description Language F_0 and Its Translation to Flux
    by Yi Jin
    posted to ai fluent_calculus reasoning_about_action by stavros on 2008-02-11 15:17:03 as read
  • PDDL---The Planning Domain Definition Language
    (1998)
    by M Ghallab, A Howe, C Knoblock, 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 read along with 1 person baisemain
  • Scaling Up Reasoning About Actions Using Relational Database Technology
    by Giuseppe De Giacomo
    posted to ai databases logic reasoning_about_action by stavros on 2008-01-24 17:20:41 as read along with 1 person rfk
  • Non-Markovian control in the situation calculus
    (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 read
  • Non-Markovian control in the situation calculus
    (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 read
  • Nonmonotonic Logical Approaches for the Frame Problem in Artificial Intelligence
    (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 read
  • A Feasible Approach to Disjunctive Knowledge in Situation Calculus
    (2005)
    by Stavros Vassos
    edited by Hector Levesque, Fahiem Bacchus
    posted to ai incomplete_knowledge reasoning_about_action situation_calculus by stavros on 2007-11-30 22:12:48 as read along with 1 person rfk
  • Progression of Situation Calculus Action Theories with Incomplete Information
    (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 read
  • Existential assertions and quantum levels on the tree of the situation calculus
    Artif. Intell., Vol. 170, No. 6. (May 2006), pp. 643-652.
    by Francesco Savelli
    posted to situation_calculus foundations ai by stavros on 2007-10-26 06:18:54 as read along with 1 person rfk
  • Artificial intelligence. Autonomous mental development by robots and animals.
    Science, Vol. 291, No. 5504. (26 January 2001), pp. 599-600.
    by J Weng, J McClelland, A Pentland, O Sporns, I Stockman, M Sur, E Thelen
    posted to ai developmental_robotics by stavros on 2007-10-25 22:02:37 as read along with 5 people and 1 group alterego balicea memphisphil chchatham todd007 Cognitive_Development_Center_-_Neural_Nets_Chapter
  • Adapting Golog for Composition of Semantic Web Services
    (2002)
    by Sheila Mcilraith, Trao C Son
    posted to ai golog web_services by stavros on 2007-10-01 16:39:29 as read
  • Making believers out of computers
    Artif. Intell., Vol. 30, No. 1. (October 1986), pp. 81-108.
    by HJ Levesque
    posted to ai knowledge by stavros on 2007-09-25 21:48:29 as read along with 1 person rfk
  • Learning Large Scale Common Sense Models of Everyday Life
    (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
    (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 read
  • Coverage and Competency in Formal Theories: A Commonsense Theory of Memory
    (March 2003)
    by Andrew Gordon, Jerry R Hobbs
    posted to ai common_sense by stavros on 2007-07-24 16:30:08 as read
  • Proving Properties of States in the Situation Calculus
    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 read
  • On the Expressibility of Propositions
    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 read
  • AI: the smart way to go (Interview)
    (2005)
    by Paul Hyman, John Funge
    posted to ai games by stavros on 2007-04-23 21:56:30 as read
  • The Illusion of Intelligence: The integration of AI and level design in Halo
    (2002)
    by Chris Butcher, Jaime Griesemer
    posted to ai games halo by stavros on 2007-04-23 21:25:30 as read
  • Situations, si! Situation terms, no!
    (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 read
  • Toward a mathematical theory of plan synthesis
    (1987)
    by EPD Pednault
    posted to ai foundations situation_calculus by stavros on 2007-02-12 20:51:51 as read
  • Automatic Meaning Discovery Using Google
    (21 December 2004)
    by Rudi Cilibrasi, Paul MB Vitanyi
    posted to linguistics google ai by stavros on 2007-01-18 18:52:26 as read 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
    (1995), pp. 635-644.
    by Philip E Agre, David Chapman
    posted to ai games by stavros on 2006-12-07 15:12:07 as read
  • Applying Inexpensive AI Techniques to Computer Games
    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 read
  • Behavior Modeling in Commercial Games: Final Report
    (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 read along with 1 person Maderlock
  • Behavior Modeling in Commercial Games
    (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 read
  • Believability through context using "knowledge in the world" to create intelligent characters
    (2002), pp. 342-349.
    by Patrick Doyle
    posted to ai games by stavros on 2006-10-30 20:54:00 as read
  • Logical filtering
    (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 read
  • Knowledge-gathering agents in adventure games
    (2004)
    by B Hlubocky, E Amir
    posted to ai games by stavros on 2006-10-30 18:26:51 as read along with 2 people knowlengr jonas28
  • Prolegomena to Study of Hector-Neri Castañeda's Influence on Artificial Intelligence
    (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 read
  • Quasi-Indexicals and Knowledge Reports
    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 read
  • Indexical knowledge and robot action: a logical account
    (1995)
    by Y Lesperance, H Levesque
    posted to ai indexicals logic reasoning_about_action by stavros on 2006-10-26 19:34:09 as read
  • First-Order Logical Filtering
    (2005), pp. 589-595.
    by Afsaneh Shirazi, Eyal Amir
    posted to ai incomplete_knowledge logic reasoning_about_action by stavros on 2006-07-12 23:20:54 as read along with 1 person rfk
  • Leonardo, an Approach towards the Consolidation of Computer Software Systems
    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 read
  • Intelligent Agents for Computer Games
    (2000)
    by A Nareyek
    posted to agent ai games by stavros on 2006-07-06 16:43:07 as read along with 2 people sdipaola knowlengr
  • Tractable Disjunctive Constraints
    Vol. 1330 (1996), pp. 478-490.
    by DA Cohen, PG Jeavons, M Koubarakis
    posted to ai csp by stavros on 2006-06-24 08:50:21 as read
  • Artificial Intelligence: A Modern Approach
    (2003)
    by Stuart J Russell, Peter Norvig
    posted to ai by stavros on 2006-06-24 08:22:36 as read along with 3 people schiffer derwolf wtribbey
  • Incremental execution of guarded theories
    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 read
  • NMR'06 - Eleventh International Workshop on Non-Monotonic Reasoning
    (2006)
    posted to ai logic by stavros on 2006-06-20 17:27:16 as read
  • Theory and Practice of Constraint Handling Rules
    Journal of Logic Programming, Special Issue on Constraint Logic Programming, Vol. 37, No. 1-3. (October 1998), pp. 95-138.
    by Thom Frühwirth
    edited by Marriot
    posted to ai csp logic_programming by stavros on 2006-06-15 03:54:02 as read along with 1 person noormkhan
  • The CLP(<inline-equation> <f> <sc>R</sc></f> </inline-equation> ) language and system
    ACM Trans. Program. Lang. Syst., Vol. 14, No. 3. (July 1992), pp. 339-395.
    by Joxan Jaffar, Spiro Michaylov, Peter J Stuckey, Roland HC Yap
    posted to ai csp logic_programming by stavros on 2006-06-15 03:49:47 as read
  • Representing Sensing Actions: The Middle Ground Revisited
    (1996), pp. 174-185.
    by Keith Golden, Daniel Weld
    edited by Luigia C Aiello, Jon Doyle, Stuart Shapiro
    posted to ai logic reasoning_about_action sensing by stavros on 2006-06-06 20:50:15 as read
  • Compiling Uncertainty Away: Solving Conformant Planning Problems Using a Classical Planner (Sometimes).
    (2006)
    by H Palacios, H Geffner
    posted to ai incomplete_knowledge planning by stavros on 2006-06-02 01:19:21 as read
  • Reasoning about actions with CHRs and finite domain constraints
    (2002)
    by M Thielscher
    posted to ai logic logic_programming reasoning_about_action system by stavros on 2006-05-25 00:02:40 as read
  • Handling Implication and Universal Quantification Constraints in FLUX.
    (2005), pp. 667-681.
    by Michael Thielscher
    posted to agetn ai flux system by stavros on 2006-05-24 23:30:38 as read
  • Beyond the Plan-Length Criterion
    Lecture Notes in Computer Science, Vol. 2148 (2001), pp. 55-??.
    by Alexander Nareyek
    posted to ai games planning by stavros on 2006-05-23 23:29:46 as read along with 1 person and 1 group cyph3r kickOffTUG-Robocup
  • The Automatic Inference of State Invariants in TIM.
    J. Artif. Intell. Res. (JAIR), Vol. 9 (1998), pp. 367-421.
    by Maria Fox, Derek Long
    posted to ai planning by stavros on 2006-05-23 04:51:29 as read
    • Note: You may cite this page as: http://www.citeulike.org/user/stavros/tag/ai

    Result page: 1 2 3 4 Next RIS BibTeX
    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.