Logic, Automated Reasoning and ApplicationsProfessor Dr Ulrich Furbach *** Note unusual week for seminar *** Tuesday 5th August 2008 at 11am
AbstractIn this talk the state of the art in Automated Reasoning is shortly depicted. The focus is mainly on 1st order predicate logic, but there will also be a discussion of knowledge representation and model checking issues. Besides the development of calculi for automated reasoning the research of the AI Group in Koblenz also put emphasis on applications. Some examples ranging from academic prototypes to the development of products are given. This includes natural language processing, personalized information systems and RoboCup. Short resumeUlrich Furbach is a professor of Artificial Intelligence at the University of Koblenz. His research interests include knowledge management, automated reasoning, multi-agent systems, and e-learning. He is cofounder of the spin-off company wizAI (www.wizai.com), which develops knowledge management systems and information extraction tools. He directed the Automated Reasoning Group in Munich from 1987 to 1990 and the Institute for Knowledge Media in Koblenz from 2000 to 2003. He was president of CADE Inc., he was a board member of the European Coordinating Committee for Artificial Intelligence and he is speaker of the German AI Society. He obtained his Diploma and Habilitation in informatics from the Technical University of Munich and his PhD from the University of Bundeswehr. |