Applications of Logics in Artificial Intelligence ALAI 2013

Updated: June 16, 2013

Wednesday, 19 June 2013
Kazimierzowski Palace, Brudziński room no.7
13:00-13:30 Welcome/Registration/Coffee
13:30-14:00 Beata Konikowska
From Non-deterministic Semantics to Ordinary Gentzen Sequent Calculi
14:00-14:30 Marianna Nicolosi Asmundo
Dual Tableau Decision Procedures for Some Fragments of Relational Logic
14:30-15:00 Linh Anh Nguyen
ExpTime Tableaux for Graded Converse-PDL Extended with Regular Inclusion Axioms
15:00-15:30 Coffee break
15:30-16:15 Ivo Düntsch
Qualitative Spatial Reasoning
16:15-16:45 Emilio Munoz-Velasco
Reasoning with Moving Objects Using a Logic Approach Based on Fuzzy Qualitative Representation
16:45-17:00 Coffee break
17:00-18:00 Przemysław Wałęga
Combined Probabilistic and Qualitative Reasoning Method
19:30 Dinner

Thursday, 20 June 2013
Old Library, room no. 116
09:00-10:00 Domenico Cantone
The Satisfiability Problem for Quantified Stratified Syllogistics with Applications to Modal Logic
10:00-10:45 Barbara Dunin-Kęplicz and Alina Strachocka
Perceiving Rules Under Incomplete and Inconsistent Information
10:45-11:15 Coffee break
11:15-12:15 Anna Gomolińska
Rough Inclusion Functions and their Role in Granular Computing
12:15-12:45 Sinh Hoa Nguyen and Hung Son Nguyen
Support Vector Machines Using Boolean Kernels
12:45-13:00 Coffee break
13:00-14:00 Maciej Przybylski
High-level Robot Control

Updated!!! Program in PDF