Levy, A.

Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]

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.

Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]