Cmodels
Cmodels is a system that computes answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search engine for enumerating models of the logic program -- possible solutions, in case of disjunctive programs SAT solver zChaff is also used for verifying the minimality of found models. The system Cmodels is based on the relation between two semantics: the answer set and the completion semantics for logic programs. For big class of programs called tight, the answer set semantics is equivalent to the completion semantics, so that the answer sets for such a program can be enumerated by a SAT solver. On the other hand for nontight programs [6], and [7] introduced the concept of the loop formulas, and showed that models of completion extended by all the loop formulas of the program are equivalent to the answer sets of th! e program. Unfortunetly number of loop formulas might be large, therefore computing all of them may become computationally expensive. This led to the adoption of the algorithm that computes loop formulas ”as needed” for finding answer sets of a program.
Keywords for this software
References in zbMATH (referenced in 52 articles )
Showing results 1 to 20 of 52.
Sorted by year (- Fichte, Johannes Klaus; Szeider, Stefan: Backdoors to tractable answer set programming (2015)
- Dvořák, Wolfgang; Järvisalo, Matti; Wallner, Johannes Peter; Woltran, Stefan: Complexity-sensitive decision procedures for abstract argumentation (2014)
- Alviano, Mario; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco: WASP: a native ASP solver based on constraint learning (2013)
- Asuncion, Vernon; Lin, Fangzhen; Zhang, Yan; Zhou, Yi: Ordered completion for first-order logic programs on finite structures (2012)
- Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, Susanna; Faber, Wolfgang; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, Alessandra; Panetta, Claudio; Perri, Simona; Reale, Kristian; Santoro, Maria Carmela; Sirianni, Marco; Terracina, Giorgio; Veltri, Pierfrancesco: The third answer set programming competition: preliminary report of the system competition track (2011)
- Erdem, Esra: Applications of answer set programming in phylogenetic systematics (2011)
- Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola: Semantics and complexity of recursive aggregates in answer set programming (2011)
- Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław: Origins of answer-set programming -- some background and two personal accounts (2011)
- Tu, Phan Huy; Son, Tran Cao; Gelfond, Michael; Morales, A.Ricardo: Approximation of action theories and its application to conformant planning (2011)
- Crouch, Michael; Immerman, Neil; Moss, J.Eliot B.: Finding reductions automatically (2010)
- Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Miroslaw: Logic programs with abstract constraint atoms: the role of computations (2010)
- Truszczyński, Miroslaw: Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (2010)
- Brain, Martin; De Vos, Marina: The significance of memory costs in answer set solver implementation (2009)
- Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco: GASP: Answer set programming with lazy grounding (2009)
- Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico: An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems (2009)
- Kayser, Daniel; Nouioua, Farid: From the textual description of an accident to its causes (2009)
- Boenn, Georg; Brain, Martin; De Vos, Marina; ffitch, John: Automatic composition of melodic and harmonic music by answer set programming (2008)
- Calimeri, F.; Perri, S.; Ricca, F.: Experimenting with parallelism for the instantiation of ASP programs (2008)
- Catalano, Gelsomina; Leone, Nicola; Perri, Simona: On demand indexing for the DLV instantiator (2008)
- Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco: On the relation among answer set solvers (2008)