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

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

1 2 3 next

  1. Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Perri, Simona; Zangari, Jessica: Technical note. Efficiently coupling the (\mathscrI)-DLV grounder with ASP solvers (2020)
  2. De Wulf, Wolf; Bogaerts, Bart: \textsclp2pb: translating answer set programs into pseudo-Boolean theories (2020)
  3. Alviano, Mario; Dodaro, Carmine; Fichte, Johannes K.; Hecher, Markus; Philipp, Tobias; Rath, Jakob: Inconsistency proofs for ASP: the ASP-DRUPE format (2019)
  4. Fichte, Johannes K.; Kronegger, Martin; Woltran, Stefan: A multiparametric view on answer set programming (2019)
  5. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-shot ASP solving with clingo (2018)
  6. Lierler, Yuliya: What is answer set programming to propositional satisfiability (2017)
  7. Gebser, Martin; Schaub, Torsten: Tableau calculi for logic programs under answer set semantics (2013)
  8. Schwitter, Rolf: The jobs puzzle: taking on the challenge via controlled natural language processing (2013)
  9. De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio: Synthesizing concurrent programs using answer set programming (2012)
  10. Faber, Wolfgang; Leone, Nicola; Perri, Simona: The intelligent grounder of DLV (2012)
  11. Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)
  12. Wang, Yisong; You, Jia-Huai; Yuan, Li Yan; Shen, Yi-Dong; Zhang, Mingyi: The loop formula based semantics of description logic programs (2012)
  13. You, Jia-Huai; Shen, Yi-Dong; Wang, Kewen: Well-supported semantics for logic programs with generalized rules (2012)
  14. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-criteria optimization in answer set programming (2011)
  15. Gebser, Martin; Kaminski, Roland; Schaub, Torsten: Complex optimization in answer set programming (2011)
  16. Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius: Potassco: the Potsdam answer set solving collection (2011)
  17. Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten: An incremental answer set programming based system for finite model computation (2011)
  18. Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe: Detecting inconsistencies in large biological networks with answer set programming (2011)
  19. Johannes Oetsch, Jörg Pührer, Hans Tompits: The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report (2011) arXiv
  20. Liu, Guohua; You, Jia-Huai: Level mapping induced loop formulas for weight constraint and aggregate logic programs (2011)

1 2 3 next

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