Hybrid Logic for Qualitative Reasoning about Location Michal Zawidzki, Institute of Philosophy, University of Lodz/University of Warsaw, Warszawa, POLAND Tomasz Lechowski, Institute of Philosophy, University of Warsaw, Warszawa, POLAND , Przemyslaw Walega, University of Warsaw, Warszawa, POLAND
Contrary-to-Duty Imperatives: A Paraconsistent Deontic Approach Can Baskent, Semagramme, INRIA, Vandoeuvre-lès-Nancy Cedex, FRANCE
Generalized Quantifiers and Higher-order Logic Programming Peter Gabrovsky, Computer Science, California State University, Northridge, USA
Procedural specification of beta-conversion Marie Duzi, Computer Science, VSB-Technical University Ostrava, Ostrava, CZECH REPUBLIC
30 min break (due to the cancellation of Luigi Sauro, Fabio Mogavero, and Aniello Murano's presentation)
Logics for Collective Reasoning Daniele Porello, Institute of Cognitive Science and Technology, CNR (National Council of Research), Trento, ITALY
Modeling decision-making under ignorance and uncertainty Tomasz Lechowski, Philosophy, University of Warsaw, Warsaw, POLAND Michal Zawidzki, Philosophy, University of Lodz / University of Warsaw, Lódz, POLAND Przemyslaw Walega, Philosophy, University of Warsaw, Warsaw, POLAND
Granular Mining of Logical Rules from Relational Structures Churn-Jung Liau, Institute of Information Science, Academia Sinica, Taipei, TAIWAN
Finitely Unstable Theories and Computational Complexity Tuomo Kauranne, Mathematics and Physics, Lappeenranta University of Technology, Lappeenranta, FINLAND Bi-Logic Via Infinite Singletons Giulia Battilotti, Dept. of Mathematics, University of Padova, Selvazzano Dentro (Pd), ITALY Level system of formulas for decreasing the number of proof steps of formulas simulating some Artificial Intelligence problems Tatiana Kosovskaya, Faculty of Mathematics and Mechanics, St. Petersburg State University, St. Petersburg, RUSSIAN FEDERATION
Associate professor, Lappeenranta University of Technology
Anything goes, quite literally :) I am an applied mathematician with a keen interest in descriptive complexity, model theory and theory of computation in general. My 'official' professional interests cover application areas of maths such as weather and climate modelling, computational... Read More →