Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings
Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)
This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.
Категории:
Год:
2000
Издание:
1
Издательство:
Springer-Verlag Berlin Heidelberg
Язык:
english
Страницы:
412
ISBN 10:
3540411313
ISBN 13:
9783540411314
Серия:
Lecture Notes in Computer Science 1919 : Lecture Notes in Artificial Intelligence
Файл:
PDF, 5.03 MB
IPFS:
,
english, 2000