Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Kaufmann, Benjamin Add to Alert Profile  
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 technology. Th...
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 satisfiabili...
Nov 29 2012  

Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy