Answer Set Solving in Practice

丛 书 名：Synthesis Lectures on Artificial Intelligence and Machine Learning

版本说明：1

作     者：Martin Gebser Roland Kaminski Benjamin Kaufmann Torsten Schaub 

I S B N：(纸本) 9783031004339 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：XXV, 212页

主 题 词：Artificial Intelligence Machine Learning Mathematical Models of Cognitive Processes and Neural Networks 

摘      要：Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning (KRR). More recently, its attractive combination of a rich yet simple modeling language with high-performance solving capacities has sparked interest in many other areas even beyond KRR. This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP s solving technology, modeling language and methodology, while illustrating the overall solving process by practical examples. Table of Contents: List of Figures / List of Tables / Motivation / Introduction / Basic modeling / Grounding / Characterizations / Solving / Systems / Advanced modeling / Conclusions