When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiation precise for the case of disjunctive programs with function symbols, and introduced the class of "finitely ground" programs that can be efficiently instantiated. Since that class is undecidable, it is important to find its large decidable subsets. In this paper, we introduce such a subset-the class of argument-restricted programs. It includes, in particular, all finite domain programs, ω-restricted programs, and λ-restricted programs. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Lierler, Y., & Lifschitz, V. (2009). One more decidable class of finitely ground programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5649 LNCS, pp. 489–493). Springer Verlag. https://doi.org/10.1007/978-3-642-02846-5_40
Mendeley helps you to discover research relevant for your work.