Logics in AI [electronic resource] : European Workshop JELIA '90 Amsterdam, the Netherlands, September 10-14, 1990 Proceedings / edited by J. Eijck.
The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programmi...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer-Verlag,
1991.
|
| Series: | Lecture notes in computer science. Lecture notes in artificial intelligence ;
478. |
| Subjects: |
| Summary: | The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics. |
|---|---|
| Physical Description: | 1 online resource : volumes: digital. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9783540469827 3540469826 3540536868 9783540536864 0387536868 9780387536866 |
| ISSN: | 0302-9743 ; |
| Language: | English. |