Publications
Export 447 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is M [Clear All Filters]
2011. Homage to Michael Gelfond on His 65 th Birthday. Logic programming, knowledge representation, and nonmonotonic reasoning. :1-11.
1998. An overview of cooperative answering in databases. Flexible Query Answering Systems. :282-285.
2002. Disjunctive logic programming: A survey and assessment. Computational Logic: Logic Programming and Beyond. :171-197.
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.
1996. Mixing a default rule with stable negation. Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics. :122-125.
2007. Forming a Computer Science Center at the University of Maryland. IEEE Annals of the History of Computing. 29(1):49-64.
2000. Introduction to logic-based artificial intelligence. Logic-based artificial intelligenceLogic-based artificial intelligence. :3-33.
2007. Developing a Computer Science Department at the University of Maryland. Annals of the History of Computing, IEEE. 29(4):64-75.
1997. A characterization of the partial stable models for disjunctive deductive databases. Logic programming: proceedings of the 1997 International Symposium. :245-245.
2007. Variola virus topoisomerase: DNA cleavage specificity and distribution of sites in Poxvirus genomes. Virology. 365(1):60-69.
1998. Performance measurement using low perturbation and high precision hardware assists. , The 19th IEEE Real-Time Systems Symposium, 1998. Proceedings. :379-388.
2008. The draft genome of the transgenic tropical fruit tree papaya (Carica papaya Linnaeus). Nature. 452(7190):991-996.
2008. The swarm application framework. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (Student Abstract.
2009. Predicting and Controlling System-Level Parameters of Multi-Agent Systems. 2009 AAAI Fall Symposium Series.
2008. Learning Abstract Properties of Swarm Systems. Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems.
2006. A bootstrapping model for directional wireless networks. Communications Letters, IEEE. 10(12):840-842.