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

gabgas's library [26 articles]

Recent papers added to gabgas's library.
  • Comparing XML path expressions
    (2006), pp. 65-74.
    by Pierre Genevès, Nabil Laya\ida
    posted to document engineering by gabgas on 2008-03-24 22:42:40 as **
  • Structured Theory Development for a Mechanized Logic
    Journal of Automated Reasoning, Vol. 26, No. 2. (2001), pp. 161-203.
    by Matt Kaufmann, Strother J Moore
    posted to acl2 proving theorem by gabgas on 2008-02-20 13:02:31 as *** along with 1 person and 1 group scis0000001 Theorem Proving
  • Functional instantiation in first-order logic
    (1991), pp. 7-26.
    by Robert S Boyer, David M Goldschlag, Matt Kaufmann, Strother J Moore
    posted to acl2 proving theorem by gabgas on 2008-02-19 20:28:29 as read along with 1 group Theorem Proving
  • `Ideal learning' of natural language: Positive results about learning from positive evidence
    Journal of Mathematical Psychology, Vol. 51, No. 3. (June 2007), pp. 135-163.
    by Nick Chater, Paul Vitanyi
    posted to language learning natural unsupervised by gabgas on 2008-02-10 19:58:20 as ** along with 1 person briordan
  • Intelligence without representation
    Artificial Intelligence, Vol. 47, No. 1-3. (January 1991), pp. 139-159.
    by Rodney A Brooks
    posted to artificial intelligence by gabgas on 2008-01-29 17:23:48 as read along with 9 people and 1 group harmonjt voiklis craigtalbert sugarexpletive justaubrey gatsoulis hukkinen ingstrup jogistar ColDyn
  • Representing and Reasoning with Operational Semantics
    Automated Reasoning (2006), pp. 4-20.
    by Dale Miller
    posted to proving theorem by gabgas on 2008-01-18 21:08:19 as read along with 1 group Theorem Proving
  • Semantic Guidance for Saturation-Based Theorem Proving
    by Kahlil Hodgson, John Slaney
    posted to guidance semantic by gabgas on 2008-01-10 14:37:00 as read
  • Efficient reasoning
    ACM Computing Surveys, Vol. 33, No. 1. (2001), pp. 1-30.
    by Russell Greiner, Christian Darken, Iwan N Santoso
    posted to learning logic machine probabilistic by gabgas on 2008-01-04 13:50:35 as **
  • Goals for a Theory of Deduction: Reply to Johnson-Laird
    Minds and Machines, Vol. 7, No. 3. (1997), pp. 409-424.
    by Lance Rips
    posted to proof psychology by gabgas on 2008-01-02 21:16:04 as **
  • A Semantically Guided Deductive System for Automatic Theorem Proving
    Transactions on Computers, Vol. C-25, No. 4. (1976), pp. 328-334.
    by R Reiter
    posted to planning proof by gabgas on 2008-01-02 18:52:29 as ** along with 1 group Theorem Proving
  • Untitled
    posted to planning proof by gabgas on 2007-12-20 20:14:46 as read along with 1 group Theorem Proving
  • Automatic Learning of Proof Methods in Proof Planning
    Logic Jnl IGPL, Vol. 11, No. 6. (1 November 2003), pp. 647-673.
    by Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmuller
    posted to planning proof by gabgas on 2007-12-20 19:49:10 as **
  • Using Models to Guide Human-Oriented Proof Search
    by Seungyeob Choi, Manfred Kerber
    posted to planning proof by gabgas on 2007-12-18 21:24:33 as read along with 1 group Theorem Proving
  • IsaPlanner: A Prototype Proof Planner in Isabelle
    Automated Deduction – CADE-19 (2003), pp. 279-283.
    by Lucas Dixon, Jacques Fleuriot
    posted to planning proof by gabgas on 2007-12-17 21:43:21 as ***
  • notes On the Comparison of Proof Planning Systems: , [Omega]mega and IsaPlanner
    Electronic Notes in Theoretical Computer Science, Vol. 151, No. 1. (21 March 2006), pp. 93-110.
    by Louise A Dennis, Mateja Jamnik, Martin Pollet
    posted to planning proof by gabgas on 2007-12-17 14:23:02 as read
  • Experiments with Proof Plans for Induction
    Journal of Automated Reasoning, Vol. 7, No. 3. (1991), pp. 303-324.
    by Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill
    posted to planning proof by gabgas on 2007-12-17 14:07:34 as read
  • Semantically Guided Proof Planning
    by Seungyeob Choi
    posted to planning proof by gabgas on 2007-12-17 13:46:00 as * along with 1 person Scis0000002
  • A Science of Reasoning
    Lecture Notes in Computer Science, Vol. 1397 (1998), pp. 10-??.
    by Alan Bundy
    posted to planning proof proving theorem by gabgas on 2007-12-17 13:45:14 as read
  • A Computational Induction Principle
    by Scott Smith
    posted to proving theorem by gabgas on 2007-11-08 19:52:13 as ***
  • Probabilistic Horn Abduction and Bayesian Networks
    Artificial Intelligence, Vol. 64, No. 1. (1993), pp. 81-129.
    by David Poole
    posted to inference logic probabilistic by gabgas on 2007-08-07 20:54:04 as **
  • Graphical models
    Statistical Science (Special Issue on Bayesian Statistics), No. 19. (2004), pp. 140-155.
    by Jordan
    posted to graphical models by gabgas on 2007-07-31 20:32:50 as read
  • An introduction to graphical models
    (2001)
    by K Murphy
    posted to learning machine by gabgas on 2007-07-16 19:44:05 as *** along with 2 people and 1 group bhaddow hawkes MuSAMA
  • Links between probabilistic automata and hidden Markov models: probability distributions, learning models and induction algorithms
    Pattern Recognition, Vol. 38, No. 9. (September 2005), pp. 1349-1371.
    by P Dupont, F Denis, Y Esposito
    posted to automata probabilistic by gabgas on 2007-07-12 12:15:02 as **** along with 6 people and 1 group m_bertini charibeiro livingthingdan rabio metrozz kvorg livingthing
  • notes Removing Redundant Arguments Automatically
    by M Alpuente, S Escobar, S Lucas
    posted to no-tag by gabgas on 2007-07-06 00:59:48 as **
  • Lemma discovery in automating induction
    Lecture Notes in Computer Science, Vol. 1104 (1996), pp. 538-??.
    by D Kapur, M Subramaniam
    posted to no-tag by gabgas on 2007-07-06 00:56:23 as read
  • Automatic Concept Formation in Pure Mathematics
    (1999), pp. 786-793.
    by Simon Colton, Alan Bundy, Toby Walsh
    posted to no-tag by gabgas on 2007-07-06 00:53:35 as read
    • Note: You may cite this page as: http://www.citeulike.org/user/gabgas

    RIS BibTeX RSS
    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.