GrinGo: A New Grounder for Answer Set Programming

  • Martin Gebser
  • Torsten Schaub
  • Sven Thiele
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4483)

Abstract

We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approaches of lparse and dlv. A major emphasis lies on an extensible design that allows for an easy incorporation of new language features in an efficient system environment.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  2. 2.
    Syrjänen, T.: Lparse 1.0 user’s manual, http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz
  3. 3.
    Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM TOCL 7(3), 499–562 (2006)CrossRefMathSciNetGoogle Scholar
  4. 4.
    Syrjänen, T.: Omega-restricted logic programs. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 267–279. Springer, Heidelberg (2001)Google Scholar
  5. 5.
    Leone, N., Perri, S., Scarcello, F.: Backjumping techniques for rules instantiation in the DLV system. In: Proceedings of NMR’04, pp. 258–266 (2004)Google Scholar
  6. 6.
    Perri, S., Scarcello, F.: Advanced backjumping techniques for rule instantiations. In: Proceedings of the Joint Conference on Declarative Programming, pp. 238–251 (2003)Google Scholar
  7. 7.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Martin Gebser
    • 1
  • Torsten Schaub
    • 1
  • Sven Thiele
    • 1
  1. 1.Universität Potsdam, Institut für Informatik, August-Bebel-Str. 89, D-14482 PotsdamGermany

Personalised recommendations