Wednesday, April 3, a.m. Room 48
- 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