TITLE: Applications of Automated Reasoning

PRESENTER: Prof. Uli Furbach, http://www.uni-koblenz.de/~uli, uli@furbach.de

AFFILIATION:University of Koblenz, http://www.uni-koblenz.de/

DATE: Tuesday 16th May 2006

TIME: 12:00:00

PLACE: CSE Seminar Room, Level 1, K17

ABSTRACT:

Some recent developments in Automated Reasoning are briefly depicted and
applications which have been carried out in the AI Research-group at
Uni Koblenz are introduced. These are in particular a system for
"intelligent books" and a tourist guidance project in development for
the city of Koblenz. Finally recent work on knowledge compilation is
introduced.

BIOGRAPHY OF SPEAKER:

Uli serves on the Board of the European Coordinating Committe for
AI, the umbrella organization for European AI societies. He is PC
co-chair of the upcoming IJCAR 2006. He serves on the editorial boards
of LNAI, AI COM, IEEE Intelligent Systems, and the Journal of Applied Logic.

Host:

Toby Walsh

Seminar Convenor:

Van Hai Ho