Recording and analysing knowledge-based distributed deduction processes

Journal of Symbolic Computation

Volumn 21, Issue 4-6, 1996, Pages 523-541

  Denzinger, Jörg ^a   Schulz, Stephan ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030118196     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1996.0029     Document Type: Article

References (20)

1. Avenhaus, J., Denzinger, J. (1993). Distributing Equational Theorem Proving. In Proc. 5th RTA, Montreal, number 690 in LNCS, pp. 62-76. Berlin, Springer.
2. Avenhaus, J., Denzinger, J., Fuchs, M. (1995). DISCOUNT: A System for Distributed Equational Deduction. In Proc. 6th RTA, Kaiserslautern, number 914 in LNCS, pp. 397-402. Berlin, Springer.
3. Bachmair, L., Derschowitz, N., Plaisted, D.A. (1989). Completion Without Failure. In Coll. on the Resolution of Equations in Algebraic Structures, Austin, 1987. Academic Press.
4. Bonacina, M.P., Hsiang, J. (1993). Distributed Deduction by Clause-Diffusion: The Aquarius Prover. In Proc. 3rd DISCO, Gmunden, Springer, pp. 272-287. Springer.
5. Bonacina, M.P., Hsiang, J. (1996). The Clause-Diffusion Methodology for Distributed Deduction. In Plaisted, D.A. (ed.), Fundamenta Informaticae, (Special Issue on Term Rewriting Systems), to appear.
6. Dahn, B.I., Gehne, J., Honigmann, T., Wolf, A., Walther, L. (1994). Integrating Logical Functions with ILF. Internal report, Institut für Reine Mathematik, Humbold-Universität, Berlin.
7. Denzinger, J., Fuchs, M. (1994). Goal Oriented Equational Theorem Proving Using Team Work. In Proc. KI94, Saarbrücken, number 861 in LNAI, pp. 343-354. Berlin, Springer.
8. Denzinger, J., Kronenburg, M. (1994). Planning for Distributed Theorem Proving: The Teamwork Approach. Seki-Report SR-94-09, University of Kaiserslautern.
9. Denzinger, J., Schulz, S. (1994). Analysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System. Seki-Report SR-94-05, University of Kaiserslautern.
10. Denzinger, J. (1993). Teamwork: Eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser. PhD thesis, University of Kaiserslautern. (German Language).
11. Denzinger, J. (1995). Knowledge-Based Distributed Search using Teamwork. In Proc. ICMAS-95, San Francisco, pp. 81-88. AAAI Press.
12. Fuchs, M. (1995). Learning Proof Heuristics by Adapting Parameters. In Proc. 12th International Workshop on Machine Learning, pp. 235-243. Morgan Kaufmann.
13. Hsiang, J., Rusinowitch, M. (1987). On Word Problems in Equational Theories. In Proc. 14th ICALP, Karlsruhe, number 267 in LNCS, pp. 54-71. Berlin, Springer.
14. Lingenfelder, C., Präcklein, A. (1990). Presentation of Proofs in an Equational Calculus. Seki-Report SR-90-15, University of Kaiserslautern.
15. Lingenfelder, C. (1990). Structuring Computer Generated Proofs. PhD thesis, University of Kaiserslautern.
16. Lusk, E.L., Overbeek, R.A. (1982). A Short Problem Set for Testing Systems that Include Equality Reasoning. Technical report, Argonne National Laboratory, Illinois.
17. McCune, W.W. (1994). Otter 3.0 Reference Manual and Guide. Technical Report ANL-94/6, Argonne National Laboratory.
18. 3 = x implies Ring Commutativity. In Proc. 7th CADE, Napa, number 170 in LNCS, pp. 248-258. Berlin, Springer.
19. Sutcliffe, G., Suttner, C.B., Yemenis, T. (1994). The TPTP Problem Library. In Proc. 12th CADE, Nancy, number 814 in LNAI, pp. 252-266. Berlin, Springer.
20. Zhang, H. (1993). Automated proofs of equality problems in Overbeek's competition. J. Automated Reasoning, 11:333-351.