Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings (Lecture Notes in Computer Science, 418, Band 418) - Softcover

Softcover

ISBN 10: 3540523375 ISBN 13: 9783540523376

Verlag: Springer, 2008

Inhaltsangabe

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.

Über diesen Titel

Über die Autorinnen und Autoren

Studium der Mathematik an der Universität Stuttgart, von 1980 bis 1985 Assistent am Institut für Informatik der Universität Stuttgart, Promotion 1985 mit einem Thema der Theoretischen Informatik. Zwischen 1985 und 1990 Research Staff Member bei IBM Deutschland GmbH in Heidelberg und Stuttgart mit den Schwerpunkten Künstliche Intelligenz und  Natural Language Processing.  1990 bis 2018 Professor an der Hochschule für Technik, Wirtschaft und Gestaltung Konstanz, Fakultät Informatik, mit den Lehrgebieten Algorithmen und Datenstrukturen, Theoretische Informatik, Simulation diskreter Prozesse, Wissensbasierte Systeme, Data Analytics. Seit 2018 Professor im Ruhestand.

Ulrich Hedtstück: Studium der Mathematik an der Universität Stuttgart. Von 1980 bis 1985 Assistent am Institut für Informatik der Universität Stuttgart, Promotion 1985 mit einem Thema der Theoretischen Informatik. Zwischen 1985 und 1990 Research Staff Member bei IBM Deutschland GmbH in Heidelberg und Stuttgart, Mitarbeiter der Forschungsprojekte LEX (Legal Expert Systems) und LILOG (Linguistic and Logic Methods for Machine Understanding of German). Seit 1990 Professor an der Fachhochschule Konstanz, Fachbereich Informatik. Lehrgebiete: Algorithmen und Datenstrukturen, Theoretische Informatik, Simulation, Wissensbasierte Systeme. Forschungsschwerpunkte sind formale Modellbildung, Simulation und Virtual Reality. 1997 - 1999 Leiter eines vom Land Baden-Württemberg geförderten Projekts über Virtual Reality-Simulationen. 2001 - 2003 Mitglied der AG Netzhochschule der Fachhochschulen des Landes Baden-Württemberg. Von SS 05 bis WS 08/09 Studiendekan der Fakultät Informatik. 2004, 2005 und 2008 Gastvorlesungen zum Thema "Simulation of Discrete Systems" an der Pontifíca Universidade Católica do Paraná in Curitiba (PUCPR), Brasilien. Seit 2007 Leiter der UNIBRAL-Kooperation mit der PUCPR in Curitiba, Brasilien. Claus R. Rollinger, geb. 1950, studierte Informatik und Mathematik in Karlsruhe sowie an der TU Berlin und promovierte 1984 zum Dr.-Ing.

1985 bis 1990 war er bei IBM Deutschland zunächst Projektleiter in der Abteilung "Linguistische und Logische Methoden" und anschließend Abteilungsleiter im Institut für Wissenschaftsbasierte Systeme.

Seit 1. Oktober 2004 ist er Präsident der Universität Osnabrück..

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 3540523375
• ISBN 13: 9783540523376
• Einband: Taschenbuch
• Anzahl der Seiten: 315
• Herausgeber: Bläsius Karl H., Hedtstück Ulrich, Rollinger Claus-Rainer
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland