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

gabgas's library [26 articles]

Recent papers added to gabgas's library ordered by importance.
  • 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
  • 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
  • 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 ***
  • A Computational Induction Principle
    by Scott Smith
    posted to proving theorem by gabgas on 2007-11-08 19:52:13 as ***
  • 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
  • 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 **
  • `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
  • 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
  • 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 **
  • 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 **
  • 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 **
  • 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
    • Note: You may cite this page as: http://www.citeulike.org/user/gabgas/order/to_read

    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.