Kurzportrait

Die Arbeitsgruppe Künstliche Intelligenz beschäftigt sich mit
verschiedenen Themen aus den Forschungsgebieten Automatisches
Schließen, Deduktion, Logikprogrammierung, Autonome Agenten und Wissensrepräsentation. Sie wird in ihren Projekten von der EU, der Deutschen Forschungsgemeinschaft (DFG) und dem Land Rheinland-Pfalz unterstützt.

Neben verschiedenen Deduktionssystemen für Prädikatenlogik
erster Stufe, die wir zum Downloaden anbieten, stehen zur Zeit
verstärkt Anwendungen von Logik und Deduktion im Zentrum des
Interesses, z.B. Mobile Agenten im Internet, Modellbasierte Diagnose,
Slicing-Book-Technologie und Roboter-Fußball. Weitere Info im WWW: http://www.uni-koblenz.de/ag-ki/

Dienstleistungs­angebot

Ingenieur- und Sachverständigenbüro Lehmigk-Emden, Ochtendung; Josef Raab GmbH & Co KG, Neuwied; Schlaadt-Plastik GmbH, St. Goarshausen; TH Darmstadt; Univ. California at Riverside; Univ. Hannover; Univ. Karlsruhe; Univ. München; Univ. Ulm; Wolfrum Consulting, Mühlheim-Kärlich.