FRIDAY, April 12, p.m., Room 47

SYMPOSIUM O:
Theory and Applications of Artificial Intelligence

Chairpersons: V.Marik, Czech Republic, and E.Buchberger, Austria

14.00-14.30: Natural Language Explanations for Constraint-Based Expert Systems
H.Horacek, University of Konstanz, Germany
14.30-15.00: The Generation of Idiomatic and Collocational Expressions
J.Matiasek, Austrian Research Institute f. Artificial Intelligence, Vienna, Austria
15.00-15.30: Decision Techniques in Large Vocabulary Speech Recognition System
J.Psutka, University of West Bohemia, Pilsen, Czech Republic
15.30-16.00: Coffee Break
16.00-16.30: Towards Logical Analysis of Rule-Based Systems: Quality and Reliability Verification
A.Ligeza, P.Fuster Parra, Technical University, Cracow, Poland
16.30-17.00: Evaluation of the Quality of a Rule Base
I.Aguilo-Pons, G.Fiol-Roig, Universitat de les Illes Balears, Palma de Mallorca, Spain
17.00-17.30: A Model for Representing Causal Diagnostic Reasoning
P.Fuster Parra, A.Ligeza, University of Balearic Islands, Palma de Mallorca, Spain
17.30-18.00: Intelligent Search Algorithms in Scheduling
E.Dudek-Dyduch, T.Dyduch, Academy of Mining and Metallurgy, Cracow, Poland