Sagiv, Y.

KSL-93-03

Levy, A. Y. & Sagiv, Y. Queries Independent of Updates. 1993.

KSL-93-05

Levy, A. Y. & Sagiv, Y. Exploiting Irrelevance-reasoning to Guide Problem Solving. Knowledge Systems Laboratory, 1993.

KSL-93-07

Levy, A. Y. & Sagiv, Y. Controlling Inference Using the Query Tree. Knowledge Systems Laboratory, January, 1993.

KSL-93-15

Levy, A. Y.; Mumick, I. S.; Sagiv, Y.; & Shmueli, O. Equivalence, Query-reachability and Satisfiability in Datalog Extensions. 1993.

KSL-93-66

Levy, A. Y.; Fikes, R. E.; & Sagiv, Y. Speeding Up Inferences in Large Knowledge Bases. Knowledge Systems Laboratory, November, 1993.

KSL-92-26

Levy, A. & Sagiv, Y. Constraints and Redundancy in Datalog. 1992.