书目名称 | Progress in Artificial Intelligence |
副标题 | 8th Portuguese Confe |
编辑 | Ernesto Coasta,Amilcar Cardoso |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA ‘97, held in Coimbra, Portugal, in October 1997..The volume presents 24 revised full papers and 9 revised posters selected from 74 submissions from various countries. Also included are two full invited papers and two abstracts of invited talks. The papers are organized in topical sections on automated reasoning and theorem proving; CBR and machine learning; constraints; intelligent tutoring; knowledge representation; multi-agent systems and DAI; nonmonotonic, qualitative and temporal reasoning, and problem solving. |
出版日期 | Conference proceedings 1997 |
关键词 | Navigation; Simulation; agents; artificial intelligence; automated deduction; automated reasoning; case-ba |
版次 | 1 |
doi | https://doi.org/10.1007/BFb0023905 |
isbn_softcover | 978-3-540-63586-4 |
isbn_ebook | 978-3-540-69605-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 1997 |