Levy, A.

KSL-95-76

Levy, A. Y.; Iwasaki, Y.; & Fikes, R. Automated Model Selection for Simulation Based on Relevance Reasoning. Knowledge Systems Laboratory, November, 1995.

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-11

Iwasaki, Y. & Levy, A. Y. Automated Model Selection for Simulation. 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-58

Levy, A. Y. Irrelevance Reasoning in Knowledge Based Systems. Ph.D., Stanford University, 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.

KSL-92-45

Levy, A. Y. Irrelevance in Problem-Solving. Asilomar, CA, 1992.

KSL-92-46

Levy, A.; Iwasaki, Y.; & Motoda, H. Acquiring (Ir)relevance Knowledge for Problem solving. Knowledge Systems Laboratory, April, 1992.

KSL-92-47

Levy, A. Y.; Iwasaki, Y.; & Motoda, H. Relevance Reasoning to Guide Compositional Modeling. Seoul, Korea, 1992.

KSL-91-34

Levy, A. Exploiting (Ir)relevance to Guide Problem-solving. Knowledge Systems Laboratory, May, 1991.

KSL-91-70

Fikes, R.; Gruber, T. R.; Iwasaki, Y.; Levy, A.; & Nayak, P. How Things Work Project Overview. Knowledge Systems Laboratory, November, 1991.