Symposium A: Systems Science
G.J.Klir, USA

Wednesday, April 26, p.m. Room 46

14.00-14.30
Some Impacts of the Second Dimension
Y. Lin, Slippery Rock University, Slippery Rock, PA, USA
14.30-15.00
Anticipatory Systems and Reductionism
B. Ekdahl, Lund Institute of Technology, Helsingborg, Sweden
15.00-15.30
Fragmentability, a Foundational Systems Concept
L. Löfgren, University of Lund, Sweden
15.30-16.00
Coffee Break
16.00-16.30
Geometrical Approach to the Measure of Individual Object Complexity
A. Makarenko, National Technical University of Ukraine, Kiev, Ukraine
16.30-17.00
A Generic Theory of Evolution for Natural Systems
G.L. Farre, Georgetown University, Washington, D.C., USA
17.00-17.30
Uncertainty in Systems Science
G. Klir, State University of New York, Binghamton, N.Y., USA

Symposium B: New Developments in Mathematical Systems Theory
Y.Rav, France, and F.Pichler, Austria

Tuesday, April 25, p.m. Room 47

14.00-14.30
Contribution of Mathematical General Systems Theory to Organization Theory-Integration of Organizational Behaviors on Macro and Micro Levels
Y. Takahara, X. Chen, Chiba Institute of Technology, Tsudanuma, Narashino, Japan
14.30-15.00
A Parallel Decomposition Method for Solving the Minimum Automaton Identification Problem
I. Sierocki, Technical University of Wroclaw, Poland
15.00-15.30
On the Variety of Systems
T. Saito, Nihon University, Chiba, Japan
15.30-16.00
Coffee Break
16.00-16.30
Distributing Object-Oriented Applications by Using Bayesian Decision Theory
A. Zendler, E. Horn, H.G. Schwärtzel, Research Institute of Applied Software Engineering, Munich, Germany
16.30-17.00
Systems Approach to Validation of Simulation Models
R. Freigassner, H. Prähofer, B.P. Zeigler, Johannes Kepler University, Linz, Austria
17.00-17.30
Non-Linear Synergetic Systems: Hierarchical Finite Element Method of Analysis
A.L. Kovacs, Universita "La Sapienza", Rome, Italy

Wednesday, April 26, a.m. Room 47

11.00-11.30
Nonoscillatory Behaviour of Nonlinear Control Loops for Euler-Lagrange Systems
L. Luyckx, M. Loccufier, E. Noldus, University of Ghent, Belgium
11.30-12.00
Application of Nonlinear Chaotic Systems for Secure Digital Watermark Generation
J. Scharinger, Johannes Kepler University, Linz, Austria
12.00-12.30
Multi-Agent Systems, a New Field for System Theory Research?
N. Saffarpour, Johannes Kepler University, Linz, Austria
12.30-13.00
On the Construction of A. Koestler's Holarchical Networks
F. Pichler, Johannes Kepler University, Linz, Austria

Wednesday, April 26, p.m. Room 47

14.00-14.30
A Tracking Signal Generator for Uncertain Second Order Systems with Sliding-Mode Control (SMC)
C. Knezu, T. Faber, University of Technology, Vienna, Austria
14.30-15.00
Stability Tests for Two Common Classes of Linear Time-Delay and Hybrid Systems
M. De la Sen, C.F. Alastruey, Universidad del Pais Vasco, Bilbao, Spain
15.00-15.30
State Estimation of Stochastic Systems via Invariant Embedding Technique
N.A. Nechval, K.N. Nechval, Aviation University of Riga, Latvia
15.30-16.00
Coffee Break
16.00-16.30
Optimal Control Calculation of Batch Fermentation Processes
R. Tzoneva, Peninsula Technikon, Bellville, South Africa
16.30-17.00
Analytic and Optimal Solution of an Allocation Problem with Transport of Materials
I. Duleba, Technical University of Wroclaw, Poland

Symposium C: System, the Quantum, and Complexity
M.Carvallo, Netherlands

Thursday, April 27, p.m. Room 46

14.00-14.30
Celebrating the First Quantum Centennial: General Introduction
M. Carvallo, Groningen, The Netherlands
14.30-15.00
Quantum Systems: From Macro Systems to Micro Systems - The Holographic Technique
E. Binz, W. Schempp, University of Siegen, Germany
15.00-15.30
Three-Photon GHZ Entanglement and Quantum Information
J.-W. Pan, D. Bouwmeester, M. Daniell, H. Weinfurter, A. Zeilinger, University of Vienna, Austria
15.30-16.00
Coffee Break
16.00-16.30
Attacking D.E.S. with a Quantum Approach
F. de Santis, L. Sorrentino, M. Guida, University of Salerno, Baronissi, Italy
16.30-17.00
Quantum Algorithms for Route Finding
A. Narayanan, J. Wallace, University of Exeter, United Kingdom
17.00-17.30
Using Genetic Algorithms to Learn about Quantum Systems
T.C. Weinacht, J.L. White, P.H. Bucksbaum, University of Michigan, Ann Arbor, MI, USA

Friday, April 28, a.m. Room 46

11.00-11.30
Quantum Cryptography and No-Cloning Theorem for Pure, Mixed, and Entangled States
M. Koashi, N. Imoto, The Graduate University for Advanced Studies, Ilayama, Kanagawa, Japan
11.30-12.00
Cloning in Quantum Mechanics
C. Macchiavello, D. Bruß, Universita degli Studi di Pavia, Italy
12.00-12.30
Quantum Communication with Continuous Variables Using Multi-Photon States of Light
N. Korolkova, G. Leuchs, C. Silberhorn, O. Weiss, University of Erlangen-Nuremberg, Germany
12.30-13.00
Quantum Computing and Multiparticle Entanglement in Ion Traps
A. Sorensen, K. Molmer, University of Aarhus, Denmark

Friday, April 28, p.m. Room 46

14.00-14.30
Quantum Computation with Josephson Qubits
G.M. Palma, G. Falci, R. Fazio, J. Siewert, V. Vedral, Universita degli Studi di Palermo, Italy
14.30-15.00
Derivation of Quantum Relativist Electromagnetic Field from Space-Time Shifts: Connection to the Inertial Mass in the Zero-Point Field
D.M. Dubois, University of Liege, Belgium
15.00-15.30
A Logical Approach to Model Concurrency in Multiagent Systems
W. Meixl, J. Pfalzgraf, University of Salzburg, Austria

Symposium D: Time's Arrow: Irreversibility from Quantum Systems
G.Grössing, Austria

Wednesday, April 26, a.m. Room 48

11.00-11.30
Nonlocality and the Time-Ordering of Events
G. Grössing, Austrian Institute of Nonlinear Studies, Vienna, Austria
11.30-12.00
Time's Arrow in Particle Physics
M. Jeitler, CERN/EP, Geneva, Switzerland
12.00-12.30
Basic Quantum Irreversibilities in Neutron Optics Experiments
H. Rauch, Atomic Institute of the Austrian Universities, Vienna, Austria

Wednesday, April 26, p.m. Room 48

14.00-14.30
On Positivity and Complete Positivity of Open Quantum Systems Dynamics
F. Benatti, Universita di Trieste, Italy
14.30-15.00
Time Operator in Quantum Mechanics and Some Stochastic Processes with Long Memory
M. Courbage, Universitè Paris 7, France
15.00-15.30
Irreversibility in Models of Macroevolution
S. Fussy, G. Grössing, H. Schwabl, Austrian Institute for Nonlinear Studies, Vienna, Austria
15.30-16.00
Coffee Break
16.00-16.30
Asymmetry of Behavior and Evolution
A. Riegler, Free University of Brussels, Belgium
16.30-17.00
The Evolution of Perception
C.C. Martin, R. Gordon, University of Saskatchewan, Saskatoon, Canada

Symposium E: Fuzzy Systems, Approximate Reasoning and
C.Carlsson, Finland, and K.-P.Adlaßnig, Austria

Thursday, April 27, p.m. Room 47

14.00-14.30
Fuzzy Logic Application in Determination of Local Government Employment Relationship
S. Petrovic-Lazarevic, A. Haidar, L. Pullin, Monash University, Churchill, Australia
14.30-15.00
A Fuzzy Approach to the Bullwhip Effect
C. Carlsson, R. Fuller, Abo Akademi, Abo, Finland
15.00-15.30
A Fuzzy Approach to Personnel Selection
M. Lovrich, B. Brown, S. Petrovic-Lazarevic, University of South Australia, Adelaide, Australia
15.30-16.00
Coffee Break
16.00-16.30
MedFrame/Browser - A Tool for the Patient Data and Medical Knowledge Base MedFrame
H. Heisz, K.-P. Adlaßnig, M. Schuerz, University of Vienna, Austria
16.30-17.00
Construction of Fuzzy Sets Representing Medical Concepts with an Artificial Neural Network
G. Hipf, M. Schuerz, K.-P. Adlaßnig, University of Vienna, Austria
17.00-17.30
Enhancing Causality in an AND/OR/NOT Causal Graph for Abductive Diagnostic Inference
P. Fuster-Parra, A. Ligeza, University of the Balearic Islands, Palma de Mallorca, Spain

Symposium F: Designing and Systems, and Their Education
B.Banathy, USA, W.Gasparski, Poland, and M.Jackson, UK

Friday, April 28, a.m. Room 48

11.00-11.30
Towards Systems Engineering Education
M.S. Levin, College of Judea and Samaria, Ariel, Israel
11.30-12.00
Change, Choice, and Function
G.S. Metcalf, Interconnections, LLC, Ashland, KY, USA
12.00-12.30
Aesthetic Considerations in Evaluating Technical Products: Selected Issues of Design Methodology
W. Gasparski, Polish Academy of Sciences, Warsaw, Poland

Friday, April 28, p.m. Room 48

14.00-14.30
Learning Types and the Design Studio
I. Aravot, Technion, Haifa, Israel
14.30-15.00
Design Procedures for a Data Base for Systems Sciences
M.A. Kalaidjieva, Bulgarian Academy of Sciences, Sofia, Bulgaria

Symposium G: Biocybernetics and Mathematical Biology
L.M.Ricciardi, Italy

Tuesday, April 25, p.m. Room 46

14.00-14.30
Stability in Simple Population Models
P. Cull, J. Chaffee, Oregon State University, Corvallis, USA
14.30-15.00
On Boundary Up-Crossing for Brownian Motion
M. Abundo, Universita "Tor Vergata", Rome, Italy
15.00-15.30
First Passage Time Densities Evaluation for Simulated Gaussian Processes
E. Di Nardo, E. Pirozzi, L.M. Ricciardi, S. Rinaldi, Universita di Reggio Calabria, Italy
15.30-16.00
Coffee Break
16.00-16.30
Statistical Inference for a Simple Stochastic Model of Drug Dissolution
P. Lansky, V. Lanska, Academy of Sciences of the Czech Republic, Prague, Czech Republic
16.30-17.00
On the First Passage Time Moments for a Class of Specially Confined Diffusion Processes
V. Giorno, A.G. Nobile, L.M. Ricciardi, University of Naples "Federico II", Italy
17.00-17.30
Analysis of the Oscillatory Behaviour of a Soma-Dendrite Neurone Model with Voltage-Gated Conductances
T.I. Toth, V. Crunelli, University of Wales, Cardiff, United Kingdom
17.30-18.00
On Brownian Motions with Alternating Drifts
A. Di Crescenzo, Universita degli Studi della Basilicata, Potenza, Italy

Wednesday, April 26, a.m. Room 46

11.00-11.30
Hippocampal Rhythm Generation: Gamma Related Theta Frequency Resonance
T. Kiss, G. Orban, M. Lengyel, P. Erdi, Hungarian Academy of Sciences, Budapest, Hungary
11.30-12.00
Statistical Analysis of the Hippocampal Mossy-Fiber Projection's Effect
K. Szalisznyo, P. Erdi, Hungarian Academy of Sciences, Budapest, Hungary
12.00-12.30
A Brownian Model of Synaptic Concentration Profile Following a Single Glutamate Vesicle Release
V. Di Maio, F. Ventriglia, Italian National Research Council, Arco Felice, Italy
12.30-13.00
On the Evolution of Self-Awareness
P. Ballonoff, Ballonoff Consulting Service, Alexandria, VA, USA

Symposium H: Medical Cybernetics and Telemedicine
M.Baljon, Netherlands, and G.Porenta, Austria

Friday, April 28, a.m. Room 47

11.00-11.30
Comparison of Models for Hyperthyroidism Created with Logistic Regression and Classification-Tree Induction on the Basis of Family Medicine Data
F.M.H.M. Dupuits, Maastricht University, Netherlands
11.30-12.00
Multiperspective Approach to Pattern Recognition Algorithms for the Computer-Aided Medical Decision
E. Puchala, University of Technology, Wroclaw, Poland
12.00-12.30
Instance-Based Modelling in Medical Systems
J. Klema, L. Lhotska, J. Palous, O. Stepankova, Czech Technical University, Prague, Czech Republic

Friday, April 28, p.m. Room 47

14.00-14.30
Intelligent Agents Based Data Condensation for Telemedicine and Electronic Health Care Record Developments
R. Silipo, M. Baljon, Interuniversity Cardiology Institute, Utrecht, Netherlands
14.30-15.00
A Modelling Framework for Health Care System Management, Design and Evaluation
D.G. Cramp, E.R. Carson, City University, London, United Kingdom

Symposium I: Management and Organizational Change
G.Broekstra, Netherlands, R.Hough { , USA,J.Henke, USA, and E.Prem, Austria

Tuesday, April 25, p.m. Room 41

14.00-14.30
Trends in the Automotive Industry
H. Kailbauer, T. Benesch, Graz University of Technology, Austria
14.30-15.00
The ETA: U.S.Treasury Development of a System of Electronic Commerce for Americans who Lack Bank Accounts
R.H. Bezdek, U.S.Department of the Treasury, Washington, D.C., USA
15.00-15.30
A Streamlined Coordination Mechanism to Support Cooperative Work in Group Coordination
H.-P. Shih, K.-C. Yu, National Chiao Tung University, Hsinchu, Taiwan
15.30-16.00
Coffee Break
16.00-16.30
The Problem of Social-Labor Relations Management: A Methodological Aspect
T.A. Medvedeva, S.A. Umpleby, Siberian State University of Transport, Novosibirsk, Russia
16.30-17.00
The COMMITMENT WEB Methodology - How to Set up the Infrastructure for Autonomous Project Management
E. Zalmenson, E. Zinman, Haifa, Israel
17.00-17.30
Managing Information Culture Change in Companies
M. Milicic, Ljubljana, Slovenia
17.30-18.00
Who is in Charge Really Here?
J.D.M. Kruisinga, The Hague, Netherlands

Wednesday, April 26, a.m. Room 41

11.00-11.30
Cultural Differences in Business Relations Between Europeans and Russians
N. Fedotova, A. Fromental, Irkutsk State Academy of Economics, Russia
11.30-12.00
Strategic Implications of Supplier Quality
J.W. Henke, Oakland University, Rochester, MI, USA
12.00-12.30
Behavioral System Levels Approach to Writing Governmental Standards
D.O. Robinson, Wayne State University, Bloomfield Hills, MI, USA
12.30-13.00
Being@: Keep Company with Electronic Evidence!
J. Kooistra, K. Hopstaken, Utrecht University, Netherlands

Symposium J: Forecasts of the Y2K Consequences - and Discussions at the Conference Why and Where They Were Right/Wrong
P.Ballonoff, USA, and S.A.Umpleby, USA

Thursday, April 27, p.m. Room 48

14.00-14.30
Melting Snow: Run-Off from the Heights of Systems Forecasts
P. Ballonoff, Ballonoff Consulting Service, Alexandria, VA, USA
14.30-15.00
Disconnected at Midnight?
G. Marshall, Middlesex University, London, United Kingdom
15.00-15.30
A Y2K Point of View on Economic and Cultural Developments in the US and Russia
V. Pozdniakov, S.A. Umpleby, Voronezh State University, Russia
15.30-16.00
Coffee Break
16.00-16.30
Y2K Problem and the Law of Requisite Holism
M. Mulej, V. Potocan, University of Maribor, Slovenia
16.30-17.00
The Impact of the Y2K Bug: Perception and Reality
P. Bock, A. Sachez-Aguilar, A. Dunn, George Washington University, Washington, D.C., USA
17.00-17.30
Some Implications of the Year 2000 Computer Crisis for Academic Disciplines
S.A. Umpleby, George Washington University, Washington, D.C., USA

Symposium K: Simulation of Social Behaviour and Artificial Economy
R.Conte, Italy, and A.Taudes, Austria

Wednesday, April 26, p.m. Room 41

14.00-14.30
Modelling Social Processes: Between Reality and Virtuality
E. Hanappi-Egger, H. Hanappi, University of Technology, Vienna, Austria
14.30-15.00
"Am I Right?", Emergence of a Reward Policy for a Learning Classifier System
T. Sepulveda, M.R. Gomes, INESC, Lisboa, Portugal
15.00-15.30
On the Imitation and Communication Effects in Illicit Drug Markets: A Genetic Algorithm Based Model
D. Behrens, H. Dawid, University of Klagenfurt, Austria
15.30-16.00
Coffee Break
16.00-16.30
Model of Evolution of Interchange among Countries
R. Pla-Lopez, University of Valencia, Spain
16.30-17.00
A Systems Dynamics Model for Unemployment Control
A. Caselles, R. Temre, I. Martinez-de-Lejarza, University of Valencia, Burjassot, Spain

Symposium L: Communication and Computers
A M.Tjoa, Austria

Thursday, April 27, p.m. Room 41

14.00-14.30
Adaptive Control of Airline Booking Levels
K.N. Nechval, N.A. Nechval, Aviation University of Riga, Latvia
14.30-15.00
Modeling Object Oriented OLAP with UML
T.B. Nguyen, A M. Tjoa, Vienna University of Technology, Austria
15.00-15.30
Sample Data for Data Warehouse Testing and Demonstrating
T.N. Huynh, J. Schiefer, B.T. Nguyen, A M. Tjoa, Vienna University of Technology, Austria
15.30-16.00
Coffee Break
16.00-16.30
The Two-Criteria CFA Problem in WAN with Delay Constraint: An Algorithm and Computational Results
M. Gola, A. Kasprzak, Technical University of Wroclaw, Poland
16.30-17.00
Virtual Cultural Environments: Exploration of Information
A. Nijholt, University of Twente, Netherlands
17.00-17.30
Realization of Thought-Producing Self as the Principal Cognitive Precondition of Successful Acquainting Children with Computers
O.S. Fomichova, Moscow Children and Teenagers Palace for Creative Work, Moscow, Russia
17.30-18.00
Compression and Reconstruction of Colour Images by Means of A New Colour Decomposition Technique: The Resulting Set of Universal Eigenfunctions for the Compression by Means of Loeve-Karhunen Expansion
L. Favella, N. Balossino, M.T. Reineri, Universita di Torino, Italy

Symposium M: Artificial Neural Networks and Adaptive Systems
H.-M.Gross, Germany, and G.Dorffner, Austria

Friday, April 28, a.m. Room 41

11.00-11.30
Neural Networks in Identification and Control for Ship Course-Keeping
Z. Avdagic, J. Velagic, University of Sarajevo, Bosnia-Herzegovina
11.30-12.00
Reinforcement-Learning-Based Control Scheme for a Visually Guided Combustion Process
V. Stephan, H.-M. Gross, K. Debes, F. Wintrich, H. Wintrich, Technical University of Ilmenau, Germany
12.00-12.30
A Model of Binaural Sound Localization in Real Environs
C. Schauer, T. Zahn, P. Paschke, H.-M. Gross, Technical University of Ilmenau, Germany
12.30-13.00
Predicting Rainfall Patterns Using Regularized Gaussian Mixture Models
K. Schellner, G. Dorffner, E. Prem, Austrian Research Institute for Artificial Intelligence, Vienna, Austria

Symposium N: From Agent Theory to Agent Implementation II
J.P.Müller, UK, and P.Petta, Austria

Wednesday, April 26, a.m. Room 34

11.00-11.30
Welcome and Introduction
J. P. Müller, P. Petta
11.30-12.00
Extending Agent Messaging to Enable OO Information Exchange
S. Cranefield, M. Purvis, University of Otago, Dunedin, New Zealand
12.00-12.30
Formalizing Distinguishability: A Contexts Based Case
R. Ramos, A. Barreiro, CERN, European Laboratory for Particle Physics, Geneva, Switzerland
12.30-13.00
What Type Is It? A Type System for Mobile Agents
M. Zapf, K. Geihs, Johann Wolfgang Goethe-Universität, Frankfurt/Main, Germany

Wednesday, April 26, p.m. Room 34

14.00-14.30
Achieving Cooperation of Self-Interested Agents Based on Costs and Gain
A.M. Florea, B. Panghe, Polytechnica University, Bucharest, Romania
14.30-15.00
Reconciling Plans in Artificial Agent Communities
M.A. Arranz, Manchester Metropolitan University, United Kingdom
15.00-15.30
A Social Reasoning Mechanism Based on a New Approach for Coalition Formation
L. Morgado, G. Gaspar, Instituto Superior de Engenharia de Lisboa, Portugal
15.30-16.00
Coffee Break
16.00-16.30
Adaptive Multi-Issue Negotiation Protocol for Electronic Commerce
A.P. Rocha, E. Oliveira, University of Porto, Portugal
16.30-17.00
Agent Mediated Inter-Organizational Business Process Coordination
O. Hofmann, F. Bodendorf, University of Erlangen-Nuremberg, Germany
17.00-17.30
Towards Flexible Architecture of Operational Agent: Common Ontology, and Knowledge
S. Ambroszkiewicz, W. Penczek, K. Cetnarowicz, Polish Academy of Sciences, Warsaw, Poland

Thursday, April 27, p.m. Room 34

13.45-14.00
Intelligent Agents in Business: A European Perspective S. Kirn
14.00-14.30
Agents with Complex Plans: Design and Implementation of CASA
S. Flake, C. Geiger, C-LAB, Paderborn, Germany
14.30-15.00
A Component Agent Model - from Theory to Implementation
L. Bölöni, D.C. Marinescu, Purdue University, West Lafayette, IN, USA
15.00-15.30
A Development Method for Multiagent Systems
J. Lind, German Research Center for Artificial Intelligence, Saarbrücken, Germany
15.30-16.00
Coffee Break
16.00-16.30
Multiagent Oriented Software Engineering: An Approach Based on Model and Software Reuse
M. Occello, J.-L. Koning, LEIBNIZ-UPMF, Grenoble, France
16.30-17.00
Agent-Object-Relationship Modeling
G. Wagner, Freie Universität Berlin, Germany
17.00-17.30
Sharing Responsibility in Workflow Management in Multi-Agent Systems
M. Pechoucek, V. Marik, O. Stepankova, F. Macurek, P. Tichy, Czech Technical University, Prague, Czech Republic
17.30-18.00
Personal Travel Market: I'll Book Your Trip for You, Sir!
J. Nuñez-Suarez, H. Brouchoud, P. Cros, C. Moore, S. Matthews, British Telecommunications, United Kingdom

Symposium O: Autonomy Control: Lessons from the Emotional
C.Pinto-Ferreira, Portugal, R.Ventura, Portugal, and P.Petta, Austria

Tuesday, April 25, p.m. Room 34

14.00-14.30
Reflective Infrastructure for Autonomous Systems
C. Landauer, K. Bellman, The Aerospace Corporation, Los Angeles, CA, USA
14.30-15.00
Needs and Motivations as Mechanisms of Learning and Control of Behaviour: Interference Problems with Multiple Tasks
G. Baldassarre, University of Essex, Colchester, United Kingdom
15.00-15.30
A Categorization of Autonomous Action Tendencies: The Mathematics of Emotions
Z. Arzi-Gonczarowski, Typographics, Ltd., Jerusalem, Israel
15.30-16.00
Coffee Break
16.00-16.30
Maintaining Attentional Capacity in a Social Robot
Y. Marom, G. Hayes, University of Edinburgh, United Kingdom
16.30-17.00
Developing a Concept of Self for Constructed Autonomous Systems
K. Bellman, The Aerospace Corporation, Los Angeles, CA, USA
17.00-17.30
Reflections on Emotion
J. Moren, C. Balkenius, Lund University, Lund, Sweden

Symposium P: Knowledge Discovery in Data and in Texts
Y.Kodratoff, France

Tuesday, April 25, p.m. Room 48

14.00-14.30
Partial D-Separation for Discovery of Bayesian Networks from Data
M.A. Klopotek, S.T. Wierzchon, Polish Academy of Sciences, Warsaw, Poland
14.30-15.00
An Artificial Life Approach to Data Mining
A. Ultsch, Philipps-University Marburg, Germany
15.00-15.30
Modelling Company Credit Ratings Using a Number of Classification Techniques
J.A. Long, A. Raudys, South Bank University, London, United Kingdom
15.30-16.00
Coffee Break
16.00-16.30
Discovering Conceptual Differences among People from Databases
S. Nishida, Osaka University, Japan
16.30-17.00
Medical Knowledge Engineering by Reusing Weak Knowledge Sources
S. Schulz, U. Hahn, University of Freiburg, Germany

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

Friday, April 28, a.m. Room 34

11.00-11.30
Synthesis of Formal Specifications of Predicates: Why and How?
M. Franova, L. Popelinsky, CNRS & Universitè Paris Sud, Orsay, France
11.30-12.00
Presenting Equation Proofs in a Human-Oriented Style
H. Horacek, University of the Saarland, Saarbrücken, Germany
12.00-12.30
A Method of a Systematic System Analysis Using Temporal Logic
R. Klimek, Institute of Automatics, AGH, Krakow, Poland
12.30-13.00
Logical Analysis of Databases and Rule-Based Systems
A. Ligeza, Institute of Automatics, AGH, Krakow, Poland

Friday, April 28, p.m. Room 34

14.00-14.30
Some Local Search Algorithms for Single Machine Weighted Tardiness Problem
J. Grabowski, J. Pempera, Technical University of Wroclaw, Poland
14.30-15.00
Qualitative Spatial Reasoning using a N-Dimensional+ Projective Representation
J. Pais, C. Pinto-Ferreira, Instituto Superior Tecnico, Lisboa, Portugal
15.00-15.30
Fault Diagnostics of Intelligent Pump
J. Kout, J. Klema, O. Stepankova, Czech Technical University, Prague, Czech Republic
jm
Last modified: Tue Mar 7 14:26:16 MET 2000