EAN: 9783031004339

SYNTHESIS LECTURES ON ARTIFICIAL INTELLIGENCE A...

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

Aktuelle Preise zur EAN 9783031004339

Produktinformationen zur 9783031004339