Avenhaus, J. ; Yamada, T. ; Loria-Saenz, C ; Middeldorp, A.:
Locality of Conditional Rewrite Systems, Theor. Comp. Sci. 236, 2000, pp. 209-232.
Denzinger, J.: Conflict Handling in Collaborative Search in Tessier, Chaudron, Mueller (eds.):Conflicting Agents: Conflict management in multi-agent systems, Kluwer Academic Publishers, 2000, pp. 251-278.
Denzinger, J. ; Schulz, S. : Automatic Scquisition of Search Control Knowledge from Multiple Proof Attemps, Information and Computation 162, 2000, pp. 59-79.
Fuchs, M.: Proofs as Schemas and Their Heuristic Use, J. Symbolic Comp. 30, 2000, pp. 37-61.
Kronenburg, M ; Peper, C.:Application of the FOREST Approach to the Light Control Case Study, Journal of Universal Computer Science, Special Issue on Requirements Engineering, 6 no. 7, pp. 679-703, 2000.
Queins,S. ; Zimmermann, G. ; Becker, M. ; Kronenburg, M. ; Peper, C. ; Merz, R. : The Light Control Case Study: Problem Description. Journal of Universal Computer Science, Special Issue on Requirements Engineering, 6 no. 7, pp 586-596, 2000.
Conference Proceedings
Avenhaus, J. ; Hillenbrand, T. ; Löchner, B.:On Using Ground Joinable Equations in Equational Theorem Proving. Proc. Third International Workshop on First-Order Theorem Proving. FTP'2000. St Andrews, Schottland, 03-05.07.2000.
Denzinger, J. ; Kordt, M:Evolutionary On-line Learning of Cooperative Behavior with Simuation-Action-Pair, Proc ICMAS-2000, IEEE Press, pp 103-110, Boston, USA, 08.07.2000.
Internal Reports
Denzinger, J.:Verteilte, wissensbasierte Suche. Universität Kaiserslautern.
Gramlich, B.:Towards a Strcture Theory of Term Rewriting. Techn. Universität Wien.
Fuchs, D.:Cooperation in Heterogeneous Theorem Prover Networks. Universität Kaiserslautern, 2000.
Kronenburg, M.:An Approche to the Creation of Precise, Intelligible Problem Specifications of Large Reactive Systems. Universität Kaiserslautern, 2000.
Schulz, S:Learning Search Control Knowledge for Equational Deduction. Techn. Universität München, 2000.
Hillenbrand, T.:Schnelles Gleichheitsbeweisen: Vom Verfollständigungskalkül zum Waldmeister-System. Fachbereich Informatik, Universität Kaiserslautern, 2000.
Kordt, Michael:OLEMAS-Online-Lernen für Varianten des Pursuit Game. Fachbereich Informatik. Universität Kaiserslautern, 2000.
