CLMPS 2015 has ended
Back To Schedule
Thursday, August 6 • 17:00 - 19:00
A3.3 Computational Logic and Applications of Logic

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

6 August 5:00PM ­– 7:00PM


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

avatar for Tuomo Kauranne

Tuomo Kauranne

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 →


Giulia Battilotti

University of Padova

Tatiana Kosovskaya

St. Petersburg State University

Churn-Jung Liau

Academia Sinica

Thursday August 6, 2015 17:00 - 19:00 EEST
Main Building, Room 17

Attendees (0)