Publications
1998. Performance measurement using low perturbation and high precision hardware assists. , The 19th IEEE Real-Time Systems Symposium, 1998. Proceedings. :379-388.
2007. Variola virus topoisomerase: DNA cleavage specificity and distribution of sites in Poxvirus genomes. Virology. 365(1):60-69.
1998. An overview of cooperative answering in databases. Flexible Query Answering Systems. :282-285.
2011. Homage to Michael Gelfond on His 65 th Birthday. Logic programming, knowledge representation, and nonmonotonic reasoning. :1-11.
2000. Introduction to logic-based artificial intelligence. Logic-based artificial intelligenceLogic-based artificial intelligence. :3-33.
2007. Forming a Computer Science Center at the University of Maryland. IEEE Annals of the History of Computing. 29(1):49-64.
2002. Disjunctive logic programming: A survey and assessment. Computational Logic: Logic Programming and Beyond. :171-197.
2007. Developing a Computer Science Department at the University of Maryland. Annals of the History of Computing, IEEE. 29(4):64-75.
1999. Logic and databases: a 20 year retrospective-updated in honor of Ray Reiter. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. :234-299.
1997. A characterization of the partial stable models for disjunctive deductive databases. Logic programming: proceedings of the 1997 International Symposium. :245-245.
1996. Mixing a default rule with stable negation. Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics. :122-125.
1984. Applications or Protected Circumscription. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: proceedings. 170:414-414.
2011. Improving Classifier Performance by Autonomously Collecting Background Knowledge from the Web. 2011 10th International Conference on Machine Learning and Applications Workshops. :1-6.
2005. Exploiting partially overlapping channels in wireless networks: Turning a peril into an advantage. Proceedings of the 5th ACM SIGCOMM conference on Internet Measurement. :29-29.