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

Please use this identifier to cite or link to this item: https://lib.hpu.edu.vn/handle/123456789/32751

Full metadata record

DC Field	Value	Language
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
Appears in Collections:	Technology

Files in This Item:

File	Description	Size	Format
Logics-in-Artificia-1369.pdf Restricted Access		5.15 MB	Adobe PDF	View/Open Request a copy

DSpace JSPUI