GrinGo: a new grounder for answer set programming
作者： Martin Gebser , Torsten Schaub , Sven Thiele
DOI: 10.1007/978-3-540-72200-7_24
关键词:
摘要: 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 dlv. A major emphasis lies on an extensible design that allows easy incorporation language features in efficient environment.
springer.com
sci-hub.st 参考文章(6)
Francesco Scarcello, Simona Perri, Advanced BackJumping Techniques for Rule Instantiations appia-gulp-prode. pp. 238- 251 ,(2003)
Francesco Scarcello, Simona Perri, Nicola Leone, BackJumping Techniques for Rules Instantiation in the DLV System non monotonic reasoning. pp. 258- 266 ,(2004)
Tommi Syrjänen, Omega-Restricted Logic Programs international conference on logic programming. pp. 267- 279 ,(2001) , 10.1007/3-540-45402-0_20
Chitta Baral, Knowledge representation, reasoning and declarative problem solving ,(2003)
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello, The DLV system for knowledge representation and reasoning ACM Transactions on Computational Logic. ,vol. 7, pp. 499- 562 ,(2006) , 10.1145/1149114.1149117
Chitta Baral, Knowledge Representation, Reasoning and Declarative Problem Solving Cambridge University Press. ,(2003) , 10.1017/CBO9780511543357