Visiting Associate Professor
Department of Computer Science
Vassar College
Office: 106 OLB Office hours: Tues., Thurs. 2-3:30 or by appointment. Office
Phone:
(845)437-5986
Argumentation Databases, in Logic Programming: Proceedings of International Conference on Logic Programming, 2003 ed. Catuscia Palamidessi, LNCS 2916, Springer Verlag, 2003.
“Connecting Databases with Argumentation in” Web-Knowledge Management and Decision Support Systems ed. Ulrich Geske, Springer Verlag Publishers, 170-185, 2003.
Model-Checking View-Based Partial Specifications (with Michael Huth), Electronic Notes in Theoretical Computer Science, vol. 45, July, 2001.
Combining Databases
“Using Priorities to Combine Knowledge Bases” (with Jack Minker), International Journal of Cooperative Information Systems, vol. 5, no. 2 & 3, 333-364, 1996.
“Combining Databases with Prioritized Information” (with Jack Minker and V.S. Subrahmanian), Journal of Intelligent Information Systems, vol 4, 231-260, 1995.
“Combining Datalog Databases using Priorities,” Proceedings of the Sixth International Conference on the Management of Data, Tata-McGraw Hill, 1994.
Logic Programming
“Logic Programs with Contested Information,” Proceedings of the Joint International Conference and symposium on Logic Programming, MIT Press, 1996.
“Semantics of Normal Logic Programs and Contested Information,” Proceedings of the 11th IEEE Symposium on Logic in Computer Science (LICS), IEEE Press, 1996.