登入選單
返回Google圖書搜尋
其他書名
European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings
出版Springer, 2003-06-26
主題Computers / Artificial Intelligence / GeneralComputers / Languages / GeneralMathematics / LogicComputers / Programming / GeneralComputers / Information TechnologyMathematics / Discrete Mathematics
ISBN35404000609783540400066
URLhttp://books.google.com.hk/books?id=H_dqCQAAQBAJ&hl=&source=gbs_api
EBookSAMPLE
註釋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.