Synthesis Lectures on Artificial Intelligence and Machine Learning- Answer Set Solving in Practice

Name: Synthesis Lectures on Artificial Intelligence and Machine Learning- Answer Set Solving in Practice
Author: Martin Gebser

Auteur: Martin Gebser

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Martin Gebser Roland Kaminski

Co-auteur: Benjamin Kaufmann Torsten Schaub

Engels
Paperback
9783031004339
12 december 2012
212 pagina's

Alle productspecificaties

Samenvatting

Table of Contents: List of Figures / List of Tables / Motivation / Introduction / Basic modeling / Grounding / Characterizations / Solving / Systems / Advanced modeling / Conclusions

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

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 12 december 2012
Aantal pagina's: 212
Illustraties: Nee

Betrokkenen

Hoofdauteur: Martin Gebser
Tweede Auteur: Roland Kaminski
Co Auteur: Torsten Schaub
Hoofduitgeverij: Springer International Publishing Ag

Overige kenmerken

Product breedte: 191 mm
Product lengte: 235 mm
Studieboek: Nee
Verpakking breedte: 191 mm
Verpakking hoogte: 235 mm
Verpakking lengte: 235 mm
Verpakkingsgewicht: 460 g

EAN

EAN: 9783031004339

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computertechnologie

Kunstmatige intelligentie

Boeken
Taal: Engels
Boek, ebook of luisterboek?: Boek
Beschikbaarheid: Leverbaar
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.