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

gabgas's planning [9 articles]

Recent papers added to gabgas's library classified by the tag planning. You can also see everyone's planning.
  • 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
    • Note: You may cite this page as: http://www.citeulike.org/user/gabgas/tag/planning

    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.