Logic Programming and Knowledge Representation

丛 书 名：Lecture Notes in Computer Science

版本说明：1

I S B N：(纸本) 9783540649588 

出 版 社：Springer Berlin  Heidelberg 

出 版 年：1000年

页      数：XII, 252页

主 题 词：Computer System Implementation Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques 

摘      要：This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR 97, held in Port Jefferson, NY, USA, in October 1997.;The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates.