咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Answer Set Solving in Practice 收藏

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

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分