Wednesday, April 19, p.m. Room 50

Symposium O: Theory and Applications of Artificial Intelligence
V. Marik, Czech Republic, and E. Buchberger, Austria

14:00-14:30
Up-to-the-Point Hints in Tutoring Mathematical Theorem Proving
H. Horacek, Universitšt des Saarlandes, Germany
14:30-15:00
A Granular Attribute Logic for Rule-Based Systems Management within Extended Tabular Trees
A. Ligeza, P. Fuster-Parra, AGH - University of Science and Technology, Krakow, Poland
15:00-15:30
Component Diagnosability via Directional Resolution
I. Havel, Charles University, Prague, Czech Republic
15:30-16:00
Coffee Break
16:00-16:30
Uncertain Temporal Support for Medical Record Ontology
K. Matousek, M. Zakova, T. Marikova, O. Stepankova, Czech Technical University in Prague, Czech Republic
16:30-17:00
A Framework for Knowledge Management for Domotic Applications
P. Fuster-Parra, A. Ligeza, University of the Balearic Islands, Spain
17:00-17:30
Visualization of Some Relational Patterns for DM
L. Novakova, O. Stepankova, Czech Technical University in Prague, Czech Republic
17:30-18:00
The Triangulate 2D-Space and Its Triangular Projective Representation
J. Pais, C. Pinto-Ferreira, Universidade de Lisboa, Portugal