Search
for Author
All Reviews
Schaub, Torsten
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
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 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
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...
...
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 Prologmethodology to answer queries in default logics. The implementationtechniques are those of model elimination, as found in Mark Stickel’sProlog Technology Theore...
...
Jul 1 1999
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy