Levy, Alon Y.

11 publications

AAAI 1999 Navigational Plans for Data Integration Marc T. Friedman, Alon Y. Levy, Todd D. Millstein

IJCAI 1999 Verifying Integrity Constraints on Web Sites Mary F. Fernández, Daniela Florescu, Alon Y. Levy, Dan Suciu

AAAI 1997 P-CLASSIC: A Tractable Probablistic Description Logic Daphne Koller, Alon Y. Levy, Avi Pfeffer

IJCAI 1997 Recursive Plans for Information Gathering Oliver M. Duschka, Alon Y. Levy

AAAI 1996 Query-Answering Algorithms for Information Agents Alon Y. Levy, Anand Rajaraman, Joann J. Ordille

AAAI 1996 The Limits on Combining Recursive Horn Rules with Description Logics Alon Y. Levy, Marie-Christine Rousset

AAAI 1996 Verification of Knowledge Bases Based on Containment Checking Alon Y. Levy, Marie-Christine Rousset

IJCAI 1995 A Semantic Theory of Abstractions P. Pandurang Nayak, Alon Y. Levy

AAAI 1994 Automated Model Selection for Simulation Yumi Iwasaki, Alon Y. Levy

AAAI 1994 Creating Abstractions Using Relevance Reasoning Alon Y. Levy

IJCAI 1993 Exploiting Irrelevance Reasoning to Guide Problem Solving Alon Y. Levy, Yehoshua Sagiv