登入選單
返回Google圖書搜尋
Logic Programming and Nonmonotonic Reasoning
Chitta BaralGianluigi GrecoNicola LeoneGiorgio Terracina
其他書名
8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
出版Springer, 2005-09-21
主題Computers / Artificial Intelligence / GeneralComputers / Programming / GeneralComputers / Software Development & Engineering / GeneralMathematics / LogicComputers / Information TechnologyMathematics / Discrete Mathematics
ISBN35403182759783540318279
URLhttp://books.google.com.hk/books?id=EegFCAAAQBAJ&hl=&source=gbs_api
EBookSAMPLE
註釋This book constitutes the refereed proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005, held in Diamante, Italy in September 2005. The 25 revised full papers, 16 revised for the system and application tracks presented together with 3 invited papers were carefully reviewed and selected for presentation. Among the topics addressed are semantics of new and existing languages; relationships between formalisms; complexity and expressive power; LPNMR systems: development of inference algorithms and search heuristics, updates and other operations, uncertainty, and applications in planning, diagnosis, system descriptions, comparisons and evaluations; software engineering, decision making, and other domains; LPNMR languages: extensions by new logical connectives and new inference capabilities, applications in data integration and exchange systems, and methodology of representing knowledge.