GnT is an experimental implementation of the stable model semantics for disjunctive logic programs [Gelfond and Lifschitz, 1991]. Our implementation is based on an architecture consisting of two interacting smodels solvers for non-disjunctive programs. One of the them is responsible for generating as good as possible model candidates while the other checks for minimality, as required from disjuctive stable models.

References in zbMATH (referenced in 22 articles , 1 standard article )

Showing results 1 to 20 of 22.
Sorted by year (citations)

1 2 next

  1. Ji, Jianmin; Lin, Fangzhen: Turner’s logic of universal causation, propositional logic, and logic programming (2013)
  2. 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) ioport
  3. Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco: Look-back techniques for ASP programs with aggregates (2011)
  4. Fink, Michael: A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there (2011)
  5. Brummayer, Robert; Järvisalo, Matti: Testing and debugging techniques for answer set solver development (2010)
  6. Bria, Annamaria; Faber, Wolfgang; Leone, Nicola: NFN2DLP and nfnsolve: normal form nested programs compiler and solver (2009) ioport
  7. Bria, Annamaria; Faber, Wolfgang; Leone, Nicola: Normal form nested programs (2008)
  8. Calimeri, F.; Perri, S.; Ricca, F.: Experimenting with parallelism for the instantiation of ASP programs (2008)
  9. Fink, Michael: Equivalences in answer-set programming by countermodels in the logic of here-and-there (2008)
  10. Kärger, Philipp; Lopes, Nuno; Olmedilla, Daniel; Polleres, Axel: Towards logic programs with ordered and unordered disjunction (2008)
  11. Maratea, Marco; Ricca, Francesco; Faber, Wolfgang; Leone, Nicola: Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers (2008)
  12. Perri, Simona; Ricca, Francesco; Vescio, Saverio: Efficient parallel ASP instantiation via dynamic rewriting (2008)
  13. Walter, Scott: Hermann Minkowski’s approach to physics (2008)
  14. Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco: Experimenting with look-back heuristics for hard ASP programs (2007)
  15. Ricca, Francesco; Leone, Nicola: Disjunctive logic programming with types and objects: the (\mathrmDLV^+) system (2007)
  16. Calimeri, Francesco; Ianni, Giovambattista: Template programs for disjunctive logic programming: an operational semantics (2006)
  17. Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco: Answer set programming based on propositional satisfiability (2006)
  18. Janhunen, Tomi; Niemelä, Ilkka: GNT -- a solver for disjunctive logic programs (2004)
  19. Janhunen, Tomi; Oikarinen, Emilia: LPEQ and DLPEQ -- translators for automated equivalence testing of logic programs (2004)
  20. Oikarinen, Emilia; Janhunen, Tomi: Verifying the equivalence of logic programs in the disjunctive case (2004)

1 2 next

Further publications can be found at: