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

stavros's library [254 articles]

Recent papers added to stavros's library.
  • 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
  • State Constraints Revisited
    Journal of Logic and Computation, Vol. 4, No. 5. (1994), pp. 655-678.
    by Fangzhen Lin, Raymond Reiter
    posted to progression reasoning_about_action situation_calculus by stavros on 2008-07-17 20:00:44 as read
  • Lua --- an Extensible Extension Language
    Soft\-waredash Prac\-tice and Experience, Vol. 26, No. 6. (1996), pp. 635-652.
    by Roberto Ierusalimschy, Luiz H de Figueiredo, Waldemar C Filho
    posted to programming_language software_engineering by stavros on 2008-02-22 05:59:34 as read along with 1 person jrw
  • 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
  • OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications
    Vol. 856 (1994), pp. 641-650.
    by Elsa L Gunter, Leonid Libkin
    edited by D Karagiannis
    posted to databases incomplete_knowledge by stavros on 2008-02-12 19:49:45 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
  • STRIPS: A new approach to the application of theorem proving to problem solving
    Artificial Intelligence, Vol. 2 (1971), pp. 189-208.
    by R Fikes, N Nilsson
    posted to databases foundations reasoning_about_action by stavros on 2007-11-23 00:49:12 as read
  • 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
  • Maintaining transitive closure of graphs in SQL
    Int. Journal of Information Technology
    by Guozhu Dong, Leonid Libkin, Jianwen Su, Limsoon Wong
    posted to databases by stavros on 2007-11-05 18:21:38 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 ai foundations situation_calculus 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
  • Minimal-change integrity maintenance using tuple deletions
    Inf. Comput., Vol. 197, No. 1/2. (2005), pp. 90-121.
    by Jan Chomicki, Jerzy Marcinkowski
    posted to databases inconsistent_databases by stavros on 2007-03-26 10:02:02 as read along with 1 person fsautomata
  • Consistent query answers in inconsistent databases
    (1999), pp. 68-79.
    by Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki
    posted to databases inconsistent_databases by stavros on 2007-03-26 04:03:01 as read along with 2 people anonyox fsautomata
  • ConQuer: efficient management of inconsistent databases
    (2005), pp. 155-166.
    by Ariel Fuxman, Elham Fazli, Ren&\#233;e J Miller
    posted to databases inconsistent_databases by stavros on 2007-03-26 01:55:57 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
  • ULDBs: databases with uncertainty and lineage
    (2006), pp. 953-964.
    by Omar Benjelloun, Anish D Sarma, Alon Halevy, Jennifer Widom
    posted to incomplete_knowledge dabases by stavros on 2007-01-19 23:18:07 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
  • Cognitive Robotics
    (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
  • 10(106) Worlds and Beyond: Efficient Representation and Processing of Incomplete Information
    (2006)
    by Lyublena Antova, Christoph Koch, Dan Olteanu
    posted to databases incomplete_knowledge possible_values by stavros on 2006-10-02 14:51:21 as read
  • The Craig interpolation lemma.
    Notre Dame Journal of Formal Logic, Vol. VIII, No. 3. (1967), pp. 229-233.
    by Burton Dreben, Hilary Putnam
    posted to foundations logic by stavros on 2006-09-15 23:51:36 as read
  • A knowledge-based representation for effective acting, sensing, and planning
    (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 read along with 1 person rfk
  • 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
    • Note: You may cite this page as: http://www.citeulike.org/user/stavros

    Result page: 1 2 3 4 5 6 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.