{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/sketched-answer-set-programming","title":"Sketched Answer Set Programming","arxiv_id":"1705.07429","date":"2017-05-21","proceeding":null,"authors":["Sergey Paramonov","Christian Bessiere","Anton Dries","Luc De Raedt"],"abstract":"Answer Set Programming (ASP) is a powerful modeling formalism for\ncombinatorial problems. However, writing ASP models is not trivial. We propose\na novel method, called Sketched Answer Set Programming (SkASP), aiming at\nsupporting the user in resolving this issue. The user writes an ASP program\nwhile marking uncertain parts open with question marks. In addition, the user\nprovides a number of positive and negative examples of the desired program\nbehaviour. The sketched model is rewritten into another ASP program, which is\nsolved by traditional methods. As a result, the user obtains a functional and\nreusable ASP program modelling her problem. We evaluate our approach on 21 well\nknown puzzles and combinatorial problems inspired by Karp's 21 NP-complete\nproblems and demonstrate a use-case for a database application based on ASP.","url_abs":"http://arxiv.org/abs/1705.07429v2","url_pdf":"http://arxiv.org/pdf/1705.07429v2.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"sketched-answer-set-programming","repo_url":"https://github.com/SergeyParamonov/sketching","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}