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