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