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