Backward chaining evaluation in stratified disjunctive theories · References · Cited By · Index Terms · Recommendations · Comments · Information & Contributors.

The interest in stratified disjunctive data bases stems from the wish to extend the expressive power of def- inite deductive data bases to incomplete ...

This paper demonstrates an approach to derive bottom-up query-evaluation algorithms from abstract properties of the underlying negation semantics for the ...

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...

Bibliographic details on Backward Chaining Evaluation in Stratified Disjunctive Theories.

Backward chaining evaluation in stratified disjunctive databases. Technical Report Esprit Project ESTEAM 316 (Oct. 1989). final deliverable. [29]. Y. Shoham.

Backward Chaining Evaluation in Stratified Disjunctive Theories. PODS 1990: 183-195. [+][–]. 1980 – 1989. FAQ. see FAQ. What is the meaning of the colors in the ...

In this paper we establish a strong connection between model generation and clause derivability that allows us to use a (minimal) model generating procedure for ...

Jun 20, 2005 · Our goal is to derive bottom-up query-evaluation algorithms from abstract properties of the underlying negation semantics.

22. V. Royer: Backward chaining evaluation in stratified disjunctive theories. In. Proc. of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles.