Wednesday, April 3, a.m. Room 48

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

11:00-11:30
Mathematical Knowledge Representation and Reasoning Based on Strong Relevant Logic
J. Cheng, Saitama University, Japan
11:30-12:00
Framework of Knowledge Support of Simulation in Engineering
M. Valasek, Z. Zdrahal, P. Mulholland, Technical University Prague, Czech Republik
12:00-12:30
Ontological Knowledge Modelling in Support of e-Democracy
M. Mach, J. Paralic, Technical University of Kosice, Slovakia
12:30-13:00
Granular Algebra: Towards a Calculus of Semi-Partitions for Analysis, Manipulation and Verification of Tabular Systems
A. Ligeza, Institute of Automatics AGH, Poland