Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

dc.contributor.author	Benthem, Johan van	en_US
dc.contributor.editor	Ojeda-Aciego, Manuel	en_US
dc.date.accessioned	2019-05-28T04:15:28Z
dc.date.available	2019-05-28T04:15:28Z
dc.date.issued	2000	en_US
dc.identifier.isbn	3540411313	en_US
dc.identifier.isbn	9783540411314	en_US
dc.identifier.other	HPU1161344	en_US
dc.identifier.uri	https://lib.hpu.edu.vn/handle/123456789/32751
dc.description.abstract	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.	en_US
dc.format.extent	431 p.	en_US
dc.format.mimetype	application/pdf
dc.language.iso	en	en_US
dc.publisher	Springer-Verlag Berlin Heidelberg	en_US
dc.subject	Artificial Intelligence	en_US
dc.subject	Mathematical Logic and Formal Languages	en_US
dc.subject	Programming Techniques	en_US
dc.title	Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings	en_US
dc.type	Book	en_US
dc.size	5,151 KB	en_US
dc.department	Technology	en_US