Planning for distributed theorem proving: The teamwork approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1137, Issue , 1996, Pages 43-56

  Denzinger, Jörg ^a   Kronenburg, Martin ^a  

^a Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

Author keywords

Distributed problem solving; Reactive planning; Theorem proving

Indexed keywords

ARTIFICIAL INTELLIGENCE; SUPERVISORY PERSONNEL; THEOREM PROVING;

AUTOMATED THEOREM PROVING; DISTRIBUTED PROBLEM SOLVING; REACTIVE PLANNING; SUBTASKS; USE PLANNING;

PROBLEM SOLVING;

EID: 84958543442     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61708-6_45     Document Type: Conference Paper

References (15)

1. Avenhaus, J.; Denzinger, J.: Distributing equational theorem proving, Proc. 5th RTA, Montreal, LNCS 690, 1993, pp. 62-76.
2. Boddy, M.; Dean, T.: An Analysis of Time-Dependent Planning, Proc. 7. National Conf. on AI, Minneapolis, 1988 pp. 49-54.
3. Baehrnair, L, Dershowitz, N.; Plaisted, D.A.: Completion withoui Failure, Coll. on the Resolution of Equations in Algebraic Structures, Austin (1987), Academic Press, 1989.
4. Beetz M.: Decision-theoretic Transformational Planning, Internal report, Yale University, 1991.
5. Bundy, A.: The use of explicit plans to guide inductive proofs, Proc. 9th CADE, 1988.
6. Chang, C.L.; Lee, R.C.: Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973.
7. Denzinger J,: Knowledge-Based Distributed Search Using Teamwork, Proc. ICMAS- 95, San Francisco, AAAI-Press, 1995, pp. 81-88.
8. Denzinger, J.; Fuchs, M.: Goal oriented equational theorem proving using teamwork, Proc. KI-94, Saarbriicken, LNAI 861, 1994, pp. 343-354.
9. Durfee, E.H.; Lesser, V.R.: Using Partial Global Plans to Coordinate Distributed Problem Solvers, Proc. IJCAI-87, 1987, pp.875-883.
10. Denzinger, J.; Schulz, S.: Recording and Analyzing Knowledge-Based Distributed Deduction Processes, to appear in Journal of Symbolic Computation, 1996.
11. Fikes, R.E.; Hart, P.E.; Nilsson, N.J.: Learning and executing generalized robot plans, in Webber, Nilsson (eds.) Readings in AI, 1981, pp.231-249.
12. Hsiang, J.; Rusinowiteh, M.: On word problems in equational theories, Proc. 14th ICALP, Karlsruhe, LNCS 267, 1987, pp. 54-71.
13. McCune, W.W.: OTTER 3.0 Reference manual and Guide, Tech. Rep. ANL-94/6, Argonne National Laboratory, 1994.
14. Mc Dermott, D.: Planning reactive behaviour: A progress report, in J. Allen, J.Handler, A. Tate: Innovative Approaches to Planning, Scheduling and Control, Kaufmann, 1990, pp.450-458.
15. Rosenschein J.S.: Synchronization of Multi-Agent Plans, Proc. AAAI-82, 1982, pp.115-119.