The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 82 of 669
Back to Result List

An incremental answer set programming based system for finite model computation

  • We address the problem of Finite Model Computation (FMC) of first-order theories and show that FMC can efficiently and transparently be solved by taking advantage of a recent extension of Answer Set Programming (ASP), 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 implemented a system based on the iASP solver iClingo and demonstrate its competitiveness by showing that it slightly outperforms the winner of the FNT division of CADE's 2009 Automated Theorem Proving (ATP) competition on the respective benchmark collection.

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Martin GebserORCiD, Orkunt Sabuncu, Torsten H. SchaubORCiDGND
DOI:https://doi.org/10.3233/AIC-2011-0496
ISSN:0921-7126
Title of parent work (English):AI communications : AICOM ; the European journal on artificial intelligence
Publisher:IOS Press
Place of publishing:Amsterdam
Publication type:Article
Language:English
Year of first publication:2011
Publication year:2011
Release date:2017/03/26
Tag:Incremental answer set programming; finite model computation
Volume:24
Issue:2
Number of pages:18
First page:195
Last Page:212
Funding institution:German Science Foundation (DFG) [SCHA 550/8-1/2]
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Peer review:Referiert
Institution name at the time of the publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.