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

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:

  • Institute of Philosophy, University of Warsaw
  • Faculty of Mathematics, Informatics and Mechanics, University of Warsaw
  • Department of Applied Mathematics, University of Malaga.


Domenico Cantone, University of Catania, Italy
The Satisfiability Problem for Quantified Stratified Syllogistics with Applications to Modal Logic

Barbara Dunin-Kęplicz and Alina Strachocka, University of Warsaw, Poland
Perceiving Rules Under Incomplete and Inconsistent Information

Ivo Düntsch, Brock University, Canada
Qualitative Spatial Reasoning

Anna Gomolińska, University of Białystok, Poland
Rough Inclusion Functions and their Role in Granular Computing

Beata Konikowska, Polish Academy of Sciences, Poland
From Non-deterministic Semantics to Ordinary Gentzen Sequent Calculi

Emilio Munoz-Velasco, University of Malaga, Spain
Reasoning with Moving Objects Using a Logic Approach Based on Fuzzy Qualitative Representation

Sinh Hoa Nguyen and Hung Son Nguyen, University of Warsaw, Poland
Support Vector Machines using Boolean Kernels

Linh Anh Nguyen, University of Warsaw, Poland
ExpTime Tableaux for Graded Converse-PDL Extended with Regular Inclusion Axioms

Marianna Nicolosi Asmundo, University of Catania, Italy
Dual Tableau Decision Procedures for Some Fragments of Relational Logic

Maciej Przybylski, Warsaw University of Technology, Poland
High-level Robot Control

Agustín Valverde and Alfredo Burrieza, University of Malaga, Spain
Qualitative Space: Closeness, Medium, Far

Przemysław Wałęga, University of Warsaw, Poland
Combined Probabilistic and Qualitative Reasoning Method


The workshop will take place in the main campus of the University of Warsaw (Krakowskie Przedmieście 26/28):

  • June 19, Wednesday: Kazimierzowski Palace, Brudziński Room no. 7
  • June 20, Thursday: Old Library, room no. 116

See a map of the campus: numbers 1 (Kazimierzowski Palace) and 10 (Old Library).


There is no registration fee. If you are interested in attending, please register by sending an e-mail to .


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


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