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