Search
for Author
All Reviews
Gebser, Martin
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Answer set solving in practice
Gebser M., Kaminski R., Kaufmann B., Schaub T., Morgan&Claypool Publishers, San Rafael, CA, 2012. 238 pp. Type: Book (978-1-608459-71-1)
Answer set programming (ASP) is a declarative problem-solving approach oriented toward difficult search problems. Despite the progress and increasing popularity of ASP over the last decade, it is still not regarded as an established te...
...
Aug 8 2013
Conflict-driven answer set solving: from theory to practice
Gebser M., Kaufmann B., Schaub T. Artificial Intelligence 187-18852-89, 2012. Type: Article
Answer set programming (ASP) uses declarative programming to target difficult (primarily nondeterministic polynomial time (NP)-complete) search problems, for which stable models are computed. Beside its theoretical importance, ASP and ...
...
Nov 29 2012
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy