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
  Schaub, Torsten Add to Alert Profile  
Date Reviewed  
  1 - 4 of 4 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  
  Knowledge-based multi-criteria optimization to support indoor positioning
Mileo A., Schaub T., Merico D., Bisiani R.  Annals of Mathematics and Artificial Intelligence 62(3-4): 345-370, 2011. Type: Article

Support for the indoor positioning of personal devices has been attracting a lot of interest in the sensor networks community and from robotics researchers. The authors developed a knowledge base to better account for different sensors. The paper ...
Jun 29 2012  
  Prolog technology for default reasoning: proof theory and compilation techniques
Schaub T., Brüning S.  Artificial Intelligence 106(1): 1-75, 1998. Type: Article

The primary aim of this paper is to demonstrate the use of Prolog methodology to answer queries in default logics. The implementation techniques are those of model elimination, as found in Mark Stickel’s Prolog Technology Theorem Prover (PTT...
Jul 1 1999  

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