Loading…
CLMPS 2015 has ended

Sign up or log in to bookmark your favorites and sync them to your phone or calendar.

Contributed Papers [clear filter]
Wednesday, August 5
 

17:00

A3.4 Computational Logic and Applications of Logic
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES
 

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   

Chairs
MZ

Michal Zawidzki

University of Lodz/University of Warsaw

Speakers
CB

Can Baskent

University of Bath
PG

Peter Gabrovsky

California State University
TL

Tomasz Lechowski

University of Warsaw



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 3 Fabianinkatu 33
 
Thursday, August 6
 

11:00

A3.1 Computational Logic and Applications of Logic
6 August 11:00-13:00

SPEAKERS AND TITLES

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 

Chairs
avatar for Marie Duzi

Marie Duzi

Prof., VSB-Technical University Ostrava

Speakers
TL

Tomasz Lechowski

University of Warsaw
avatar for Daniele Porello

Daniele Porello

CNR (National Council of Research)



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 15 Fabianinkatu 33

17:00

A3.3 Computational Logic and Applications of Logic
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



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