7. EPIA 1995: Madeira Island, Portugal

Automated Reasoning and Theorem Proving

Belief Revision

Constraint-Based Reasoning

Distributed Artificial Intelligence

Genetic Algorithms

Machine Learning

Neural Networks

Non-Monotonic Reasoning

Planning and Case-Based Reasoning

Qualitative Reasoning

Robotics and Control

Theory of Computation

Posters