ACAI 2007: Logic for Artificial Intelligence
The 2007 Advanced Course on Artificial Intelligence will be held on August 20-28th 2007, in the fair city of Leuven, Belgium. The topic of this course will be the use of Logic in AI.ACAI 2007 participants can now visit the Wiki for course materials, pictures and more.
-
-
Logic for AI
There exists a long tradition of brotherhood between artificial intelligence
and formal logic. From the initial enthousiasm of the sixties, passing
through the pessimism of the seventies, logic has maintained its primary role
as a formalism for aiding AI researchers to reach their goals. Its influence
now stretches to such diverse fields as knowledge representation, machine
learning, constraint reasoning, agent systems, planning, robotics. The goal
of this summer school is to familiarize students with this variety of
applications and to provide them with a deeper understanding of the logical
theories and methods behind them.
.
.
Summer School
The school targets PhD students in the area of Informatics or Computer Science with some background
in computational logic, who want to broaden their knowledge of the domain. ACAI-2007 features courses
by leading scientists in this domain. In addition, students will have an opportunity to present their
own research in a poster session.
A detailed schedule of all activities is available, including our social program to make the most out of your stay in Leuven!
.
.
The City of Leuven
