Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Wednesday, August 5 • 17:00 - 18:30
A3.4 Computational Logic and Applications of Logic

Sign up or log in to save this to your schedule and see who's attending!

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

Attendees (6)