High Performance ATP Systems by Combining Several AI Methods
暂无分享,去创建一个
[1] Thomas Kolbe,et al. Reusing Proofs , 1994, ECAI.
[2] Matthias Fuchs,et al. Experiments in the Heuristic Use of Past Proof Experience , 1996, CADE.
[3] Michaël Rusinowitch,et al. On Word Problems in Equational Theories , 1987, ICALP.
[4] William McCune,et al. OTTER 3.0 Reference Manual and Guide , 1994 .
[5] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.
[6] Jörg Denzinger. Knowledge-Based Distributed Search Using Teamwork , 1995, ICMAS.
[7] Jörg Denzinger,et al. Planning for Distributed Theorem Proving: The Teamwork Approach , 1996, KI.
[8] Robert A. Meyer,et al. DARES: A Distributed Automated REasoning System , 1990, AAAI.
[9] Maurice Nivat,et al. Resolution of Equations in Algebraic Structures , 1989 .
[10] Matthias Fuchs,et al. DISCOUNT: A SYstem for Distributed Equational Deduction , 1995, RTA.
[11] Jörg Denzinger,et al. Recording and Analysing Knowledge-Based Distributed Deduction Processes , 1996, J. Symb. Comput..
[12] G. Sutcliffe,et al. The TPTP Problem Library , 1994, Journal of Automated Reasoning.
[13] Nachum Dershowitz,et al. A Maximal-Literal Unit Strategy for Horn Clauses , 1990, CTRS.
[14] Matthias Fuchs,et al. Goal Oriented Equational Theorem Proving Using Team Work , 1994, KI.
[15] Ian D. Watson,et al. An Introduction to Case-Based Reasoning , 1995, UK Workshop on Case-Based Reasoning.
[16] Erica Melis,et al. A Model of Analogy-Driven Proof-Plan Construction , 1995, IJCAI.
[17] Jörg Denzinger,et al. Distributing Equational Theorem Proving , 1993, RTA.