Publications

Export 447 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
Minker J.  2012.  Scientific Freedom and Human Rights. :564.
Minker J.  1995.  Deductive Databases and Knowledge Base Systems..
Minker J.  2011.  Homage to Michael Gelfond on His 65 th Birthday. Logic programming, knowledge representation, and nonmonotonic reasoning. :1-11.
Minker J.  1998.  An overview of cooperative answering in databases. Flexible Query Answering Systems. :282-285.
Minker J, Perlis D.  1984.  Protected circumscription. Proc. Workshop on Non-Monotonic Reasoning. :337-343.
Minker J, Seipel D.  2002.  Disjunctive logic programming: A survey and assessment. Computational Logic: Logic Programming and Beyond. :171-197.
Minker J.  1996.  Logic and databases: A 20 year retrospective. Logic in Databases. :1-57.
Minker J.  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.
Minker J.  2003.  In Memoriam: Raymond Reiter. AI Magazine. 24(1):13-13.
Minker J, Perlis D.  1985.  Computing protected circumscription. The Journal of Logic Programming. 2(4):235-249.
Minker J, Ruiz C.  1996.  Mixing a default rule with stable negation. Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics. :122-125.
Minker J.  1999.  The Workshop on Logic-Based Artificial Intelligence. AI Magazine. 20(4):97-97.
Minker J.  2007.  Forming a Computer Science Center at the University of Maryland. IEEE Annals of the History of Computing. 29(1):49-64.
Minker J.  1997.  Logic and Databases Past, Present, and Future. AI Magazine. 18(3):21-21.
Minker J.  2000.  Introduction to logic-based artificial intelligence. Logic-based artificial intelligenceLogic-based artificial intelligence. :3-33.
Minker J.  2007.  Developing a Computer Science Department at the University of Maryland. Annals of the History of Computing, IEEE. 29(4):64-75.
Minker J, Perlis D, Subramanian K.  1986.  A Parallel Self-Modifying Default Reasoning System. AAAI. :923-927.
Minker J.  1997.  A characterization of the partial stable models for disjunctive deductive databases. Logic programming: proceedings of the 1997 International Symposium. :245-245.
Minkah N, Hwang Y, Perry K, Van Duyne GD, Hendrickson R, Lefkowitz EJ, Hannenhalli S, Bushman FD.  2007.  Variola virus topoisomerase: DNA cleavage specificity and distribution of sites in Poxvirus genomes. Virology. 365(1):60-69.
Mink A, Salamon W, Hollingsworth J, Arunachalam R.  1998.  Performance measurement using low perturbation and high precision hardware assists. , The 19th IEEE Real-Time Systems Symposium, 1998. Proceedings. :379-388.
Ming R, Hou S, Feng Y, Yu Q, Dionne-Laporte A, Saw JH, Senin P, Wang W, Ly BV, Lewis KLT et al..  2008.  The draft genome of the transgenic tropical fruit tree papaya (Carica papaya Linnaeus). Nature. 452(7190):991-996.
Miner D, desJardins M.  2008.  Learning Abstract Properties of Swarm Systems. Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems.
Miner D, desJardins M.  2008.  The swarm application framework. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (Student Abstract.
Miner D, desJardins M.  2009.  Predicting and Controlling System-Level Parameters of Multi-Agent Systems. 2009 AAAI Fall Symposium Series.
Milner S, Llorca J, Anibha A, Vishkin U.  2006.  A bootstrapping model for directional wireless networks. Communications Letters, IEEE. 10(12):840-842.

Pages