Workshop on Applications of Logics in Artificial Intelligence

APPLICATIONS OF LOGICS IN ARTIFICIAL INTELLIGENCE
ALAI 2013

The Workshop on Applications of Logics in Artificial Intelligence is organized within the project Logics for Qualitative Reasoning (www.logicsforqr.uw.edu.pl).

The ALAI workshop is dedicated to research in applications of logics in artificial intelligence with a special focus on qualitative representation and reasoning applied in artificial intelligence. Topics of the workshop include: qualitative representation of spatial reasoning and movement, knowledge representation and reasoning under incomplete, vague or inconsistent information, automated deduction and interactive theorem proving in non-classical logics, and high-level robot control.

The ALAI Workshop will be held in Warsaw, Poland  from 19 to 20 June 2013. It is organized by University of Warsaw (Institute of Philosophy and Faculty of Mathematics, Informatics and Mechanics) and University of Malaga (Department of Applied Mathematics).

WORKSHOP WEBPAGE
www.logicsforqr.uw.edu.pl/workshop.html

VENUE
The workshop will take place in the main campus of the University of Warsaw.

REGISTRATION
There is no registration fee. If you are interested in attending, please register by sending an e-mail to: j.golinska@uw.edu.pl

STEERING COMMITTEE
Joanna Golińska-Pilarek, University of Warsaw
Emilio Munoz-Velasco, University of Malaga
Linh Anh Nguyen, University of Warsaw

LOCAL ORGANIZING COMMITTEE
Joanna Golińska-Pilarek, University of Warsaw
Przemysław Wałęga, University of Warsaw and Warsaw University of Technology