JELIA 1990, les Journees Europeennes sur la Logique en Intelligence Artificielle, or in another major European language, the European Workshop on Logics in AI, was held
at the Centre for Mathematics and Computer Science (CWI) in Amsterdam, September
10-14, 1990.
The main conference themes were: 1. Logic Programming and Automated Theorem
Proving, 2. Computational Semantics for Natural Language, 3. Applications of Non-Classical
Logics, and 4, Partial and Dynamic Logics. The aim of the conference was to bring
together researchers involved in developing logical tools for AI.
The conference was partially sponsored by the Esprit Basic Reseach Action 3175, DYANA
(The Dynamic Interpretation of Language). Thanks are also due to the Royal Dutch
Academy of Sciences (KNAW) for a grant in the form of a financial guarantee.
The call for papers resulted in 76 submissions, of which 30 were accepted for presentation,
and 29 were actually given. All selected and presented papers are included in this volume,
together with seven invited papers.