Answer set solving in practice
Auteur :
Gebser, Martin / Kaminski, Roland / Kaufmann, Benjamin / Schaub, Torsten
Éditeur :
Springer International Publishing AG
ISBN :
9783031004339
Date de publication :
12 déc. 2012
Dimensions :
23,5 x 19,1 cm
Langue :
Anglais
Pays d'origine :
Suisse
Table of Contents: List of Figures / List of Tables / Motivation / Introduction / Basic modeling / Grounding / Characterizations / Solving / Systems / Advanced modeling / Conclusions