Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capacities of answer set programming with advanced solving strategies for combinatorial search problems. My research shall contribute to bridging the gap between high-level knowledge representation and efficient low-level reasoning, in order to bring out the best of both worlds. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Gebser, M. (2007). Advanced techniques for answer set programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4670 LNCS, pp. 458–459). Springer Verlag. https://doi.org/10.1007/978-3-540-74610-2_44
Mendeley helps you to discover research relevant for your work.