Wednesday, April 3, a.m. Room 48

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

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