Lparse Smodels works with variable-free programs that are quite cumbersome to generate by hand. Lparse is a front-end that adds variables (and a lot of other stuff) to the accepted language and generates a variable-free simple logic program that can be given to smodels. Lparse also implements several other semantics (classical negation, partial stable models) by translating them into normal logic programs.

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

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

1 2 next

  1. De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio: Synthesizing concurrent programs using answer set programming (2012)
  2. Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)
  3. Wang, Yisong; You, Jia-Huai; Yuan, Li Yan; Shen, Yi-Dong; Zhang, Mingyi: The loop formula based semantics of description logic programs (2012)
  4. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-criteria optimization in answer set programming (2011)
  5. Gebser, Martin; Kaminski, Roland; Schaub, Torsten: Complex optimization in answer set programming (2011)
  6. Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius: Potassco: the Potsdam answer set solving collection (2011)
  7. Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten: An incremental answer set programming based system for finite model computation (2011)
  8. Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe: Detecting inconsistencies in large biological networks with answer set programming (2011)
  9. Liu, Guohua; You, Jia-Huai: Level mapping induced loop formulas for weight constraint and aggregate logic programs (2011)
  10. Mileo, Alessandra; Schaub, Torsten; Merico, Davide; Bisiani, Roberto: Knowledge-based multi-criteria optimization to support indoor positioning (2011)
  11. Drescher, Christian: Constraint answer set programming systems (2010)
  12. Wang, Yisong; You, Jia-Huai; Yuan, Li Yan; Shen, Yi-Dong: Loop formulas for description logic programs (2010)
  13. Gebser, Martin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Thiele, Sven: On the input language of ASP grounder Gringo (2009)
  14. Shen, Yi-Dong; You, Jia-Huai: A default approach to semantics of logic programs with constraint atoms (2009)
  15. Wang, Yisong; You, Jia-Huai; Yuan, Li-Yan; Zhang, Mingyi: Weight constraint programs with functions (2009)
  16. Boenn, Georg; Brain, Martin; De Vos, Marina; ffitch, John: Automatic composition of melodic and harmonic music by answer set programming (2008)
  17. Calimeri, F.; Perri, S.; Ricca, F.: Experimenting with parallelism for the instantiation of ASP programs (2008)
  18. Dworschak, Steve; Grell, Susanne; Nikiforova, Victoria J.; Schaub, Torsten; Selbig, Joachim: Modeling biological networks by action languages via answer set programming (2008)
  19. Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola; Dell’Armi, Tina; Ielpa, Giuseppe: Design and implementation of aggregate functions in the DLV system (2008)
  20. Liu, Guohua; You, Jia-Huai: Lparse programs revisited: Semantics and representation of aggregates (2008)

1 2 next

Further publications can be found at: http://www.tcs.hut.fi/Software/smodels/index.html#publications