Publications on Relevance Reasoning and Abstraction of Computational Theories

• Alon Y. Halevy , Inderpal Mumick , Yehoshua Sagiv , Oded Shmueli , Static Analysis in Datalog Extensions Journal of the ACM 2001 Click here for abstract.
  
• Alon Y. Levy , Marie-Christine Rousset , Verification of Knowledge Bases based on Containment Checking Artificial Intelligence 1998 Click here for abstract.
  
• Alon Y. Levy , Richard E. Fikes , Shuky Sagiv , Speeding Up Inferences Using Relevance Reasoning: AFormalism and Algorithms Artificial Intelligence 1997 Click here for abstract.
  
• Alon Y. Levy , Yumi Iwasaki , Richard E. Fikes , Automated Model Selection for Simulation Based on Relevance Reasoning Artificial Intelligence 1997 Click here for abstract.
  
• P. Pandurang Nayak , Alon Y. Levy , A Semantic Theory of Abstractions Proceedings of the 14th International Joint Conference on Artificial Intelligence 1995 Click here for abstract.
  
• Alon Y. Levy , Divesh Srivastava , Thomas Kirk , Data model and query evaluation in global information systems Journal of Intelligent Information Systems, Special Issue on Networked Information Discovery and Retrieval 1995 Click here for abstract.
  
• Alon Y. Levy , Creating Abstractions Using Relevance Reasoning Proceedings of the Twelfth National Conference on Artificial Intelligence 1994 Click here for abstract.
  
• Alon Y. Levy , Richard E. Fikes , Yehoshua Sagiv , A Proof-Theoretic Approach to Irrelevance: Foundations and Applications Working Notes of the AAAI Fall Symposium on Relevance, November, 1994 1994 Click here for abstract.
  
• Yumi Iwasaki , Alon Y. Levy , Automated Model Selection for Simulation Proceedings of the Twelfth National Conference on Artificial Intelligence 1994 Click here for abstract.
  
• Alon Y. Levy , Irrelevance Reasoning in Knowledge Based Systems Ph.D thesis, Stanford University 1993 Click here for abstract.
  
• Alon Y. Levy , Yehoshua Sagiv , Exploiting Irrelevance Reasoning to Guide Problem Solving Proceedings of the 13th International Joint Conference on Artificial Intelligence 1993 Click here for abstract.
  
• Alon Y. Levy , Yehoshua Sagiv , Constraints and Redundancy in Datalog The Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGARTSymposium on Principles of Database Systems, San Diego, CA. 1992 Click here for abstract.