Loading…
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!

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


SPEAKERS AND TITLES

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
Chairs
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 →

Speakers
GB

Giulia Battilotti

University of Padova
TK

Tatiana Kosovskaya

St. Petersburg State University
CL

Churn-Jung Liau

Academia Sinica

Abstracts A3.3 Computational Logic and Applications of Logic pdf
Thursday August 6, 2015 17:00 - 19:00 EEST
Main Building, Room 17
  Contributed Papers, A3. Computational Logic and Applications of Logic

Attendees (0)