Lparse

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 37 articles , 1 standard article )

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

1 2 next

  1. Lierler, Yuliya: What is answer set programming to propositional satisfiability (2017)
  2. Schwitter, Rolf: The jobs puzzle: taking on the challenge via controlled natural language processing (2013)
  3. De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio: Synthesizing concurrent programs using answer set programming (2012)
  4. Faber, Wolfgang; Leone, Nicola; Perri, Simona: The intelligent grounder of DLV (2012)
  5. Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)
  6. Wang, Yisong; You, Jia-Huai; Yuan, Li Yan; Shen, Yi-Dong; Zhang, Mingyi: The loop formula based semantics of description logic programs (2012)
  7. You, Jia-Huai; Shen, Yi-Dong; Wang, Kewen: Well-supported semantics for logic programs with generalized rules (2012)
  8. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-criteria optimization in answer set programming (2011)
  9. Gebser, Martin; Kaminski, Roland; Schaub, Torsten: Complex optimization in answer set programming (2011)
  10. Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius: Potassco: the Potsdam answer set solving collection (2011)
  11. Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten: An incremental answer set programming based system for finite model computation (2011)
  12. Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe: Detecting inconsistencies in large biological networks with answer set programming (2011)
  13. Liu, Guohua; You, Jia-Huai: Level mapping induced loop formulas for weight constraint and aggregate logic programs (2011)
  14. Mileo, Alessandra; Schaub, Torsten; Merico, Davide; Bisiani, Roberto: Knowledge-based multi-criteria optimization to support indoor positioning (2011)
  15. Drescher, Christian: Constraint answer set programming systems (2010)
  16. Wang, Yisong; You, Jia-Huai; Yuan, Li Yan; Shen, Yi-Dong: Loop formulas for description logic programs (2010)
  17. Gebser, Martin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Thiele, Sven: On the input language of ASP grounder Gringo (2009) ioport
  18. Shen, Yi-Dong; You, Jia-Huai: A default approach to semantics of logic programs with constraint atoms (2009)
  19. Wang, Yisong; You, Jia-Huai; Yuan, Li-Yan; Zhang, Mingyi: Weight constraint programs with functions (2009)
  20. Boenn, Georg; Brain, Martin; De Vos, Marina; ffitch, John: Automatic composition of melodic and harmonic music by answer set programming (2008)

1 2 next


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