We describe the major new features emerging from a significant redesign of the grounder gringo, building upon a grounding algorithm based on semi-naive database evaluation. Unlike previous versions, rules only need to be safe rather than domain-restricted. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Gebser, M., Kaminski, R., König, A., & Schaub, T. (2011). Advances in gringo series 3. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6645 LNAI, pp. 345–351). https://doi.org/10.1007/978-3-642-20895-9_39
Mendeley helps you to discover research relevant for your work.