9th Panhellenic Logic Symposium

July 15-18, 2013
National Technical University of Athens, Greece

Work in progress and student session

The following is work in progress that was presented as part of the symposium's special session, in the afternoon of Monday, July 15.

The slides of the presentations are available at the authors' permission.
All rights reserved.

Monday, July 15
17:00-19:00
Work in progress and student session — Chair: Nikolaos Papaspyrou
Mitko Yanchev (University of Sofia)
Part Restrictions: Rational Grading in Description Logics. (slides) slides
Antonis Troumpoukis (University of Athens)
Logic Programming with Preferences using Infinitesimal Logic. (slides) slides
Katerina Ksystra, Petros Stefaneas and Panayiotis Frangos (National Technical University of Athens)
Algebraic Specifications and Semantic Web Systems. (slides) slides
Nikolaos Triantafyllou, Petros Stefaneas and Panayiotis Frangos (National Technical University of Athens)
Results from the Application of Algebraic Specification Techniques on DRM Systems. (slides) slides
Iliana Kollia (National Technical University of Athens)
Optimizing Query Answering over Expressive Ontological Knowledge. (slides) slides
Despoina Trivela (National Technical University of Athens)
Optimising Resolution Based Rewriting for DL Ontologies. (slides) slides
Angelos Vassilakopoulos (National Technical University of Athens)
Different Semantics for Query Containment in Databases with Lineage and Uncertainty. (slides) slides