Abstract
This book constitutes the refereed proceedings of the 9th Portuguese Conference on Artificial Intelligence, EPIA '99, held in Évora, Portugal in September 1999. The 23 revised full papers presented together with three invited full papers were carefully reviewed and selected from a total of 66 submissions from 17 different countries. The papers are organized in topical sections on constraint programming, natural language processing, spatial reasoning, logic programming, theorem proving, reasoning under uncertainty, multi-agent systems, abduction and revision, and genetic algorithms.
| Original language | English |
|---|---|
| Place of Publication | Berlin |
| Publisher | Springer |
| Number of pages | 392 |
| ISBN (Electronic) | 978-3-540-48159-1 |
| ISBN (Print) | 978-3-540-66548-9 |
| DOIs | |
| Publication status | Published - 1999 |
| Event | 9th Portuguese Conference on Progress in Artificial Intelligence, EPIA 1999 - Evora, Portugal Duration: 21 Sep 1999 → 24 Sep 1999 |
Publication series
| Name | Lecture Notes in Artificial Intelligence |
|---|---|
| Publisher | Springer |
| No. | 1695 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 0302-9743 |
Keywords
- AI Logics
- Agent Technology
- Artificial Intelligence
- Fuzzy
- Logic Programming
- Natural Language Processing
- Prolog
- cognition
- genetic algorithms
- intelligence
- interactive theorem proving
- knowledge base
- multi-agent system
- optimization
- proving