Boken «Answer Set Solving in Practice» gir en grundig og praktisk innføring i Answer Set Programming (ASP), en deklarativ tilnærming for problemløsning som først ble utviklet for å modellere problemer innen kunnskaprepresentasjon og resonnement. I løpet av de senere årene har ASPs fordelaktige kombinasjon av et rikt, men samtidig enkelt modelleringsspråk, samt høyytelses løsningskapasitet, trukket interesse fra en rekke ulike fagfelt, også utenfor Kunnskapsrepresentasjon og Resonnement. I denne boken vil leserne bli kjent med ASP-språk og systemer i kontekst av praktiske anvendelsesproblemer. Den tar utgangspunkt i de grunnleggende formelle prinsippene, og presenterer ASPs løsnings teknologi, modelleringsspråk og metodikk, mens den illustrerer hele løsningsprosessen gjennom praktiske eksempler. Innholdet inkluderer blant annet: en liste over figurer og tabeller, motivasjon, innføring, grunnleggende modelleringsmetoder, grounding, karakteriseringer, løsningsteknikker, systemer, avansert modellering og konklusjoner.
