Logics in Artificial Intelligence
暂无分享,去创建一个
[1] Maria Paola Bonacina,et al. On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method , 1996, J. Symb. Comput..
[2] Lincoln A. Wallen,et al. Automated deduction in nonclassical logics , 1990 .
[3] Heiko Mantel. Developing a matrix characterization for MELL , 1998 .
[4] Maria Paola Bonacina,et al. The Clause-Diffusion Methodology for Distributed Deduction , 1995, Fundam. Informaticae.
[5] Wolfgang Ertel,et al. OR-Parallel Theorem Proving with Random Competition , 1992, LPAR.
[6] Wolfgang Bibel,et al. Automated Theorem Proving , 1987, Artificial Intelligence / Künstliche Intelligenz.
[7] Wolfgang Bibel. On Matrices with Connections , 1981, JACM.
[8] Bertram Fronhöfer. The action-as-implication paradigm - formal systems and application , 1996 .
[9] Harald Ganzinger,et al. Rewrite-Based Equational Theorem Proving with Selection and Simplification , 1994, J. Log. Comput..
[10] Jacqueline Vauzeilles,et al. Generating Plans in Linear Logic , 1990, FSTTCS.
[11] Maarten de Rijke,et al. A Tableaux Calculus for Ambiguous Quantification , 1998, TABLEAUX.
[12] Christoph Kreitz,et al. Connection-Based Proof Construction in Linear Logic , 1997, CADE.
[13] Michaël Rusinowitch,et al. On Word Problems in Equational Theories , 1987, ICALP.
[14] Christoph Kreitz,et al. A Uniform Proof Procedure for Classical and Non-Classical Logics , 1996, KI.
[15] Geoff Sutcliffe,et al. The Results - of the CADE-13 ATP System Competition , 2004, Journal of Automated Reasoning.
[16] Geoff Sutcliffe,et al. The TPTP Problem Library , 1994, Journal of Automated Reasoning.
[17] Christoph Kreitz,et al. Converting Non-Classical Matrix Proofs into Sequent-Style Systems , 1996, CADE.
[18] Matthias Fuchs,et al. DISCOUNT: A SYstem for Distributed Equational Deduction , 1995, RTA.
[19] Jörg Denzinger,et al. Enhancing conventional search systems with multi-agent techniques: a case study , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).
[20] Dirk Fuchs. Requirement-Based Cooperative Theorem Proving , 1998, JELIA.
[21] Peter B. Andrews. Theorem Proving via General Matings , 1981, JACM.
[22] Patrick Lincoln,et al. Constant-Only Multiplicative Linear Logic is NP-Complete , 1992, Theor. Comput. Sci..
[23] Melvin Fitting. First-order modal tableaux , 2004, Journal of Automated Reasoning.
[24] Jörg Denzinger. Knowledge-Based Distributed Search Using Teamwork , 1995, ICMAS.
[25] Wolfgang Bibel. A deductive solution for plan generation , 2009, New Generation Computing.
[26] Christoph Weidenbach,et al. SPASS & FLOTTER Version 0.42 , 1996, CADE.
[27] Christian G. Fermüller,et al. Resolution-Based Theorem Proving for Manyvalued Logics , 1995, J. Symb. Comput..
[28] Dirk Fuchs,et al. Coupling Saturation-Based Provers by Exchanging Positive/Negative Information , 1998, RTA.
[29] A heterogeneous parallel deduction system , 1992 .
[30] Tanel Tammet,et al. Proof strategies in linear logic , 1994, Journal of Automated Reasoning.
[31] Guy Perrier,et al. On Proof Normalization in Linear Logic , 1992, Theor. Comput. Sci..
[32] L. Bachmair,et al. Completion without Failure 1 , 1989 .
[33] Dale Miller,et al. Logic programming in a fragment of intuitionistic linear logic , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[34] Dale Miller,et al. Forum: A Multiple-Conclusion Specification Logic , 1996, Theor. Comput. Sci..
[35] Jörg Denzinger,et al. Knowledge-based Cooperation between Theorem Provers by Techs , 1999 .