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

stavros logic [115 articles]

最近 stavros さんのライブラリに追加された論文の中から タグ logic. You can also see everyone's logic.
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Feature Discovery for Inductive Concept Learning
    No. UM-CS-1990-015. (, 1990)
    by Tom E Fawcett
    posted to ai feature_extraction games general_game_playing logic by stavros on 2006-05-22 22:39:26 as read along with 1 person eacosta
  • Automatic Heuristic Contruction in a Complete General Game Player
    (2006)
    by Gregory Kuhlmann, Kurt Dresner, Peter Stone
    posted to ai games gdl general_game_playing logic by stavros on 2006-05-22 22:16:32 as read
  • Entailment: The Logic of Relevance and Necessity
    Vol. 1 (1975)
    by Alan R Anderson, Nuel D Belnap
    posted to ai foundations limited_beliefs logic by stavros on 2006-05-15 03:42:49 as read
  • The design and implementation of VAMPIRE
    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 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
  • Planning as Satisfiability
    (1992), pp. 359-363.
    by Henry A Kautz, Bart Selman
    posted to ai logic planning sat by stavros on 2006-05-13 02:57:19 as read along with 2 people cyph3r baisemain
  • 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
  • Unifying SAT-Based and Graph-Based Planning
    (1999)
    by Henry Kautz, Bart Selman
    edited by Jack Minker
    posted to ai logic planning sat by stavros on 2006-05-03 05:53:46 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
  • The power of modeling---a response to PDDL
    (2003)
    by F Bacchus
    posted to ai logic planning by stavros on 2006-04-28 02:29:44 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
  • The Well-Founded Semantics for General Logic Programs
    Journal of the ACM, Vol. 38, No. 3. (1991), pp. 620-650.
    by Allen van Gelder, Kenneth Ross, John S Schlipf
    posted to logic logic_programming by stavros on 2006-04-08 23:28:32 as read
  • Generalizing Boolean satisfiability II: Theory
    Journal of Artificial Intelligence Research, Vol. 22 (2004), pp. 481-532.
    by Heidi E Dixon, Matthew L Ginsberg, Andrew J Parkes
    posted to ai logic sat theorem_proving by stavros on 2006-03-28 19:02:13 as read
  • Generalizing Boolean satisfiability I: Background and existing work
    Journal of Artificial Intelligence Research, Vol. 21 (2004), pp. 193-243.
    by Heidi E Dixon, Matthew L Ginsberg, Andrew J Parkes
    posted to ai logic sat theorem_proving by stavros on 2006-03-23 17:09:12 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
  • Logic Programming for General Game-Playing
    (1993)
    by B Pell
    posted to ai general_game_playing logic by stavros on 2006-03-16 18:57:44 as read
  • Practical Partition-Based Theorem Proving for Large Knowledge Bases
    by Bill Maccartney, Sheila Mcilraith, Eyal Amir, Tomas E Uribe
    posted to logic resolution theorem_proving by stavros on 2006-03-16 01:51:00 as read
  • Resolution versus Search: Two Strategies for SAT
    Journal of Automated Reasoning, Vol. 24, No. 1/2. (2000), pp. 225-275.
    by Irina Rish, Rina Dechter
    posted to knowledge_compilation logic resolution theorem_proving by stavros on 2006-03-16 01:35:25 as read
  • A Survey on Knowledge Compilation
    AI Communications, Vol. 10, No. 3-4. (1997), pp. 137-150.
    by Marco Cadoli, Francesco M Donini
    posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-08 17:30:55 as read
  • Tractable Reasoning via Approximation
    Artificial Intelligence, Vol. 74, No. 2. (1995), pp. 249-310.
    by Marco Schaerf, Marco Cadoli
    posted to logic theorem_proving theory_approximation by stavros on 2006-03-07 22:41:35 as read
  • A knowledge compilation map
    (2002)
    by A Darwiche, P Marquis
    posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-02 18:00:19 as read
  • Knowledge compilation and theory approximation
    Journal of the ACM, Vol. 43, No. 2. (1996), pp. 193-224.
    by Bart Selman, Henry Kautz
    posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-01 22:15:22 as read along with 1 person simon_o
  • Approximate Knowledge Compilation: The First Order Case
    (1996), pp. 498-503.
    by Alvaro D Val
    posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-01 22:13:15 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
  • Fast Decision Procedures Based on Congruence Closure
    J. ACM, Vol. 27, No. 2. (April 1980), pp. 356-364.
    by Greg Nelson, Derek C Oppen
    posted to complexity congurence_closure logic by stavros on 2006-02-06 19:58:18 as read along with 1 person pmatos
  • Non-effective Quantifier Elimination
    Mathematical Logic Quarterly, Vol. 47, No. 4. (2001), pp. 557-561.
    by Mihai Prunescu
    posted to complexity logic by stavros on 2006-02-06 19:16:38 as read
  • A theory of diagnosis from first principles
    Artificial Intelligence, Vol. 32, No. 1. (April 1987), pp. 57-95.
    by Raymond Reiter
    posted to diagnosis logic by stavros on 2006-02-04 02:25:36 as read along with 2 people fheintz gvdh
  • Characterizing diagnoses and systems
    Artificial Intelligence, Vol. 56, No. 2-3. (August 1992), pp. 197-222.
    by Johan de Kleer, Alan K Mackworth, Raymond Reiter
    posted to diagnosis logic by stavros on 2006-02-04 02:22:39 as read along with 2 people fheintz gvdh
  • Binary decision diagrams for first-order predicate logic
    Journal of Logic and Algebraic Programming, Vol. 57, No. 1-2. ( 2003), pp. 1-22.
    by Friso, Olga Tveretina
    posted to bdd logic theorem_proving by stavros on 2006-02-04 01:59:24 as read
  • Theorem proving with equality
    (2005)
    by Lecture
    posted to logic theorem_proving theories_of_equality by stavros on 2006-02-04 00:05:45 as read
  • Automated theorem proving in classical logic (slides)
    by Andrei Voronkov
    posted to logic resolution theorem_proving by stavros on 2006-02-04 00:01:36 as read
  • Implementing an Efficient Theorem Prover
    (2003)
    by Alexandre Riazanov
    posted to logic theorem_proving by stavros on 2006-02-01 18:00:01 as read along with 1 person and 1 group JacquesC NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/stavros/tag/logic

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