Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Künstliche Intelligenz

Institut für Informatik / Universität Koblenz-Landau

Universitätsstraße 1, 56070 Koblenz
Profil

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.