Searching for "On the Declarative Semantics of Deductive Databases and Logic Programs." – sorted by Relevance.
-
Computation of Stable Models and its Integration with Logical Query Processing
- for the declarative semantics of deductive databases and logic programs. However, neither semantics seems
- Cited by 46 (5 self) – Add To MetaCart
-
Semantic Issues in Deductive Databases and Logic Programs
- suitable declarative or intended semantics of deductive databases and logic programs is one of the most
- Cited by 54 (12 self) – Add To MetaCart
-
Characterizations of the Disjunctive Stable. . .
- , 1982. Springer. [Prz88.] Teodor Przymusinski. On the declarative semantics of deductive databases
- Add To MetaCart
-
Tabled Evaluation with Delaying for General Logic Programs
- ] T.C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In J
- Cited by 187 (25 self) – Add To MetaCart
-
Constraint Logic Programming: A Survey
- , On the Declarative Semantics of Deductive Databases and Logic Programs, in: Foundations of Deductive Databases
- Cited by 644 (13 self) – Add To MetaCart
-
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
- . [Prz88] Teodor Przymusinski. On the declarative semantics of deductive databases and logic programs
- Cited by 71 (13 self) – Add To MetaCart
-
Bibliography for An Algebraic Study of Modularity in Logic Programming
- . [Prz88] T. C. Przymusinski. On the declarative semantics of deductive databases and logic programs, in
- Add To MetaCart
-
Bibliography
- of declarative knowledge. In J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, 89
- Add To MetaCart
-
On the computation of the disjunctive well-founded semantics
- of interest in the study of declarative semantics for deductive databases and logic programs
- Cited by 2 (1 self) – Add To MetaCart
-
Processing deductive databases under the disjunctive stable model semantics
- great deal of interest in the study of declarative semantics for deductive databases and logic programs
- Cited by 2 (1 self) – Add To MetaCart

