Searching for "Canonical Logic Programs." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Single Rules form Canonical Logic Programs
- … Single Rules form Canonical Logic Programs Michael J. Maher IBM Thomas J. Watson Research Center…
- Add To MetaCart
-
Constraint Logic Programming: A Survey
- …. Jaffar and P. Stuckey, Canonical Logic Programs, Journal of Logic Programming 3, 143--155, 1986. 137. S…
- Cited by 644 (13 self) – Add To MetaCart
-
Extremal Problems in Logic Programming and Stable Model Computation
- …(P ) s(P (r + )) + s(P (r \Gamma )): (2) We will now introduce the class of canonical logic programs…
- Cited by 5 (1 self) – Add To MetaCart
-
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
- …] Joxan Jaffar and P. J. Stuckey. Canonical logic programs. Journal of Logic Programming, 3…
- Cited by 71 (13 self) – Add To MetaCart
-
A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm
- … [Kowalski 74], the canonical logic programming language, is grounded in first-order predicate logic. Eqlog…
- Add To MetaCart
Showing 1 through 5.
