Alon Y. Levy (levy-ay)

Beiträge zu Philosophie.ch

Bibliography

Koller, Daphne, Levy, Alon Y. and Pfeffer, Avi. 1996. “P-Classic: A Tractable Probabilistic Description Logic.” in AAAI-96. Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, edited by William J. Clancey and Daniel S. Weld, pp. 390–397. Menlo Park, California: The AAAI Press.
Levy, Alon Y. 2000. “Logic-Based Techniques in Data Integration.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 575–595. Dordrecht: Kluwer Academic Publishers.
Levy, Alon Y., Fikes, Richard E. and Sagiv, Yehoshua. 1997. “Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms.” Artificial Intelligence 97(1–2): 83–136.
Levy, Alon Y., Iwasaki, Yumi and Fikes, Richard E. 1997. “Automated Model Selection for Simulation Based on Relevance Reasoning.” Artificial Intelligence 96(2): 351–394.
Levy, Alon Y. and Rousset, Marie-Christine. 1998a. “Verification of Knowledge Bases Based on Containment Checking.” Artificial Intelligence 101(1–2): 227–250.
Levy, Alon Y. and Rousset, Marie-Christine. 1998b. “CARIN: A Representation Language Combining Horn Rules and Description Logics.” Artificial Intelligence 104(1–2): 165–209.
Levy, Alon Y. and Sagiv, Yehoshua. 1993. “Exploiting Irrelevance Reasoning to Guide Problem Solving.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 138–144. San Francisco, California: Morgan Kaufmann Publishers.
Levy, Alon Y. and Weld, Daniel S. 2000. “Intelligent Internet Systems.” Artificial Intelligence 118(1–2): 1–14.