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

Title:	Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings
Authors:	Benthem, Johan van Ojeda-Aciego, Manuel
Keywords:	Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques
Issue Date:	2000
Publisher:	Springer-Verlag Berlin Heidelberg
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.
URI:	https://lib.hpu.edu.vn/handle/123456789/32751
ISBN:	3540411313 9783540411314
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