Answer set programming
Auteur :
Lifschitz, Vladimir
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030246600
Date de publication :
18 sept. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it.