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

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

1 2 3 next

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

1 2 3 next


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