Answer set solving in practice (e-book)
Answer set solving in practice (e-book)
- San Rafael Morgan and Claypool / IEEE Press / Springer 2013
- Synthesis lectures on artificial intelligence and machine learning .
IEEE Morgan and Claypool Computer and Information Science (CIS) collection
978-1-60845-972-8
Logic programming
Declarative programming
IEEE Morgan and Claypool Computer and Information Science (CIS) collection
978-1-60845-972-8
Logic programming
Declarative programming