The Community for Technology Leaders
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (2011)
Tuusula, Finland
May 23, 2011 to May 25, 2011
ISSN: 0195-623X
ISBN: 978-0-7695-4405-2
pp: 139-141
ABSTRACT
Answer Set Programming (ASP) is a declarative programming paradigm targeted to solving search problems. The basic idea of ASP is similar to, for example, SAT-based planning or constraint satisfaction problems but ASP provides a more powerful knowledge representation language for effective problem encoding. A number of successful ASP systems have already been developed and applied in a large range of areas. The talk explains the theoretical underpinnings of ASP, introduces the answer set programming paradigm, outlines computational techniques used in current ASP solvers, and discusses some interesting applications of the approach.
INDEX TERMS
answer set programming, search problems, constraint satisfaction, propositional satisfiability
CITATION
Ilkka Niemelä, "Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems", 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, vol. 00, no. , pp. 139-141, 2011, doi:10.1109/ISMVL.2011.61
91 ms
(Ver 3.3 (11022016))