{"type":"ScholarlyArticle","title":"Finite Model Computation via Answer Set Programming","authors":[{"name":"Martin Gebser","slug":"martin-gebser","given":"Martin","family":"Gebser","affiliation":""},{"name":"Orkunt Sabuncu","slug":"orkunt-sabuncu","given":"Orkunt","family":"Sabuncu","affiliation":""},{"name":"Torsten Schaub","slug":"torsten-schaub","given":"Torsten","family":"Schaub","affiliation":""}],"abstract":"We show how Finite Model Computation (FMC) of first-order theories can efficiently and transparentlybe solved by taking advantage of an extension of Answer Set Programming, called incremental Answer Set Programming (iASP). The idea is to use the incremental parameter in iASP programs to account for the domain size of a model. The FMC problem is then successively addressed for increasing domain sizes until an answer set, representing a finite model of the original first-order theory, is found. We developed a system based on the iASP solver iClingo and demonstrate its competitiveness.","doi":"10.5591/978-1-57735-516-8/IJCAI11-437","url":"https://ijcai.org/proceedings/2011/437","pdf":"https://ijcai.org/proceedings/2011/0437.pdf","markdown":"https://ijcai.org/proceedings/2011/437.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/437","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":437,"pages":{"first":2626,"last":2630},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}