[Ltg] HAIL Seminar *Reminder* (5th August): Professor Ulrich Furbach, University of Koblenz, Germany

[Andrew Lampert]

                      H.A.I.L. Seminar series
                          CSIRO ICT Centre
                   http://www.ict.csiro.au/HAIL/


Title:          Logic, Automated Reasoning and Applications

Speaker:        Professor Dr Ulrich Furbach
                AI Research Group
                University of Koblenz
                Germany

Date:           *** NOTE: Unusual week for seminar ***
                Tuesday 5th August 2008 at 11am

Location:       CSIRO ICT Centre,
                Building E6B, Macquarie University.

                See <http://www.ict.csiro.au/HAIL/location.htm> for details.

Video:          We usually stream live video of seminars.

                At the seminar time (see above), point your browser at:
                  <http://webcast.nsw.csiro.au/httpfs/ICT/HailSeminar/live.asx>


Abstract

In 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 resume

Ulrich 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.


----------------------------------------
The HAIL Seminars' URL:
http://www.ict.csiro.au/HAIL/

Contacts:       Andrew Lampert
Address:        CSIRO HAIL Seminars,
                c/o Andrew Lampert,
                Locked Bag 17,
                North Ryde NSW 1670

Phone:  (02) 9325 3100
Email:  Andrew.Lampert at csiro.au


*Administration*
-----------------------------------------------------------------
* To leave the list, send the message "unsubscribe HailSeminars" to
the list server address <majordomo at nsw.cmis.csiro.au>.
The subject line of your e-mail message will be ignored.
==================================================================