新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

stavros incomplete_knowledge [38 articles]

最近 stavros さんのライブラリに追加された論文の中から タグ incomplete_knowledge. You can also see everyone's incomplete_knowledge.
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • $10^10^6$ Worlds and Beyond: Efficient Representation and Processing of Incomplete Information
    (2006)
    by Lyublena Antova, Christoph Koch, Dan Olteanu
    posted to ai databases incomplete_knowledge by stavros on 2006-05-15 04:25:13 as read
  • A Logic of Implicit and Explicit Belief.
    (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 read
  • Conformant Graphplan
    (1998), pp. 889-896.
    by David E Smith, Daniel S Weld
    posted to ai incomplete_knowledge planning by stavros on 2006-05-14 01:02:18 as read
  • Reasoning about Sensing Actions in Domains with Multi-Valued Fluents.
    Studia Logica, Vol. 79, No. 1. (2005), pp. 135-160.
    by Tran C Son, Phan Tu, Xin Zhang
    posted to ai incomplete_knowledge logic planning by stavros on 2006-05-10 21:36:42 as read
  • Approximate reasoning and non-omniscient agents
    (1992), pp. 169-183.
    by Marco Cadoli, Marco Schaerf
    posted to ai approximate_reasoning implicit_belief incomplete_knowledge logic theorem_proving by stavros on 2006-05-03 05:31:58 as read
  • A tractable knowledge representation service with full introspection
    (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 read along with 1 person neuralwarp
  • Understanding planning with incomplete information and sensing
    Artificial Intelligence, Vol. 164, No. 1-2. (May 2005), pp. 171-208.
    by Marcelo Oglietti
    posted to ai incomplete_knowledge logi planning by stavros on 2006-04-27 01:01:58 as read
  • Forward Conformant Planning via Symbolic Model Checking
    by Alessandro Cimatti, Marco Roveri
    posted to ai incomplete_knowledge logic planning by stavros on 2006-04-21 22:24:37 as read
  • Conformant Planning via Heuristic Forward Search: A New Approach
    (2004), pp. 355-364.
    by Ronen Brafman, Jörg Hoffmann
    edited by Sven Koenig, Shlomo Zilberstein, Jana Koehler
    posted to ai incomplete_knowledge logic planning by stavros on 2006-04-21 22:19:20 as read
  • Obtaining Complete Answers from Incomplete Databases
    (1996), pp. 402-412.
    by Alon Y Levy
    posted to databases incomplete_knowledge by stavros on 2006-04-11 19:44:20 as read
  • PSIPLAN: Open World Planning with psi-forms
    (2000)
    by Tamara Babaian, James G Schmolze
    posted to ai incomplete_knowledge logic by stavros on 2006-03-22 22:56:18 as read
  • Efficient Open World Reasoning for Planning
    (9 Jan 2006)
    by Tamara Babaian, James G Schmolze
    posted to ai incomplete_knowledge logic planning by stavros on 2006-03-21 04:01:37 as read
  • Tractable Reasoning in Incomplete First-Order Knowledge Bases
    (2006)
    by Yongmei Liu
    posted to ai complexity databases incomplete_knowledge logic reasoning_about_action situation_calculus by stavros on 2006-02-07 23:37:29 as read
  • A FLUX Agent for the Wumpus World
    (August 2005)
    by Michael Thielscher
    posted to agent ai depth fluent_calculus flux games incomplete_knowledge wumpus by stavros on 2005-12-05 19:47:47 as read
  • An Approach to Planning with Incomplete Information
    (1992), pp. 115-125.
    by Oren Etzioni, Steve Hanks, Daniel Weld, Denise Draper, Neal Lesh, Mike Williamson
    edited by William
    posted to ai depth incomplete_knowledge logic planning by stavros on 2005-11-22 03:01:11 as read
  • The Wumpus World in IndiGolog: A Preliminary Report
    (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 read
  • Logic Programming and Reasoning about actions
    (2005)
    by C Baral, M Gelfond
    edited by Michael Fisher, Dov Gabbay, Lluis Vila
    posted to ai causality default depth frame_problem incomplete_knowledge logic logic_programming nonmonotonic reasoning_about_action by stavros on 2005-10-14 18:04:05 as read
  • Forget It!
    (1994), pp. 154-159.
    by Fangzhen Lin, Raymond Reiter
    edited by Russell Greiner, Devika Subramanian
    posted to ai frame_problem incomplete_knowledge knowledge logic reasoning_about_action situation_calculus by stavros on 2005-10-12 01:01:33 as read along with 1 person lyongu
  • An incremental interpreter for high-level programs with sensing
    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 read
  • An incremental interpreter for high-level programs with sensing
    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 read
  • What is Planning in the Presence of Sensing?
    (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 read
  • Knowledge Equivalence in Combined Action Theories
    (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 read
  • Making Them Behave: Cognitive Models for Computer Animation
    (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 read
  • Representing knowledge within the situation calculus using intervalvalued epistemic fluents
    (1999)
    by J Funge
    posted to ai depth games incomplete_knowledge knowledge logic by stavros on 2005-09-22 00:56:18 as read along with 1 person Sergi
  • Incomplete Information in Relational Databases
    J. ACM, Vol. 31, No. 4. (October 1984), pp. 761-791.
    by Tomasz Imielinski, Witold Lipski
    posted to ai databases foundations incomplete_knowledge logic by stavros on 2005-09-22 00:30:47 as **** along with 2 people and 1 group jog fsautomata WebTech
  • A Simple and Tractable Extension of Situation Calculus to Epistemic Logic
    No. 1932. (2000), pp. 515-524.
    by Robert Demolombe, Maria
    posted to ai depth incomplete_knowledge knowledge logic reasoning_about_action situation_calculus by stavros on 2005-09-22 00:05:27 as read along with 1 person rfk
  • A Logic of Limited Belief for Reasoning with Disjunctive Information
    (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 read
  • Evaluation-based reasoning with disjunctive information in first-order knowledge bases
    (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 read
  • A completeness result for reasoning with incomplete first-order knowledge bases
    (June 1998)
    by HJ Levesque
    posted to ai databases depth incomplete_knowledge logic by stavros on 2005-09-21 19:21:17 as read
  • notes Classical Negation in Logic Programs and Disjunctive Databases
    New Generation Computing, Vol. 9, No. 3/4. (1991), pp. 365-386.
    by Michael Gelfond, Vladimir Lifschitz
    posted to answer_set depth incomplete_knowledge logic logic_programming by stavros on 2005-09-19 22:40:47 as read along with 1 person baisemain
  • notes Representing Action and Change by Logic Programs
    Journal of Logic Programming, Vol. 17, No. 2/3&4. (1993), pp. 301-321.
    by Michael Gelfond, Vladimir Lifschitz
    posted to ai answer_set depth frame_problem incomplete_knowledge logic logic_programming nonmonotonic reasoning_about_action by stavros on 2005-09-16 19:41:56 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/stavros/tag/incomplete_knowledge

    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.