ArchiveAIRIM Program
The program of AIRIM'16 has been changed by AAIA’16 organizers by reducing the initially allocated time of 30 minutes per talk to 25 minutes. This change was required in order to allocate enough time for presentations in other events organized within AAIA’16. Should you have any questions, please contact the AAIA’16 chair – Dr. Dominik Slezak – at slezak@mimuw.edu.pl
| 16:00-18:30 | Sunday 11.09.2016. Chair: Christoph Schwarzweller |
| 16:00-16;25 | On algebraic hierarchies in mathematical repository of Mizar - Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller |
| 16:25-16:50 | Tarski's geometry modelled in Mizar computerized proof assistant - Adam Grabowski |
| 16:50-17:15 | From Discourse Representation Structure to Event Semantics: A Simple Conversion? - Daniel Dakota and Sandra Kübler (Indiana University) |
| 17:15-17:40 | Modeling Co-Verbal Gesture Perception in Type Theory with Records - Andy Lücking (Goethe University Frankfurt) |
| 17:40-18:05 | A connectionist approach to abductive problems: employing a learning algorithm - Adam Kupś (Adam Mickiewicz University), Andrzej Gajda and Mariusz Urbański (Adam Mickiewicz University in Poznan, Institute of Psychology) |
| 18:05-18:30 | Modeling conflicts between legal rules - Tomasz Zurek (Maria Curie-Sklodowska University in Lublin) |
