Research Group Logo CS Dept.
Formal Methods and Deduction
Prof. Dr. J. Avenhaus

The Teamwork Method:
Links of Interest

The teamwork method and its applications affect several areas of computer science and artificial intelligence. This page contains several links to interesting sites in these areas. The lists are in no way a complete description of the field and they are, naturally, biased by our interests.

Distributed AI

Distributed Search

Deduction

Machine Learning


Impressum RG Formal Methods and Deduction Department of Informatics Technical University of Kaiserslautern Valid HTML 4.01!

Last Update: Wednesday, 26-Oct-05 08:59:21 GMT
denzinge@informatik.uni-kl.de