📄 http:^^karna.cs.umd.edu:3264^people^minker.html
字号:
Content-Length: 14295Content-Type: text/html<html><!--=======================================================================--><head><title>Jack Minker</title></head><body background="/gif/cotton_paper.gif"><HTML><pre><h5><!WA0><a href=http://karna.cs.umd.edu:3264/try/option_form.html>Options</a><!WA1><a href=http://karna.cs.umd.edu:3264/try/comment_form.html>Comments</a><!WA2><a href=http://karna.cs.umd.edu:3264/SYSTEM>System Administration</a></h5></pre><hr><p><h1>Jack Minker</h1><!WA3><a href="http://karna.cs.umd.edu:3264/gif/minker/minker.jpg"> <!WA4><img alt="Minker's picture" src=http://karna.cs.umd.edu:3264/gif/minker/minker-small.inline.gif></a><!--=======================================================================--><p><strong>Email:</strong> minker@cs.umd.edu <p><strong>Current Position:</strong> Professor, <!WA5><a href="ftp://savoir.cs.umd.edu/pub/www/dept.html"> Department of Computer Science</a>, UMIACS, University of Maryland.<p><strong>Research Interests:</strong> Artificial intelligence, Logic Programming <p><strong>Research group:</strong> <!WA6><a href="http://karna.cs.umd.edu:3264/prism.html">PRISM</a><!--=======================================================================--><h2>Current Research Projects:</h2><ul><li><!WA7><a href="http://karna.cs.umd.edu:3264/projects/combining.html"> Combining Knowledge Bases</a><li><!WA8><a href="http://karna.cs.umd.edu:3264/projects/cooperative.html"> Cooperative Answering</a><li><!WA9><a href="http://karna.cs.umd.edu:3264/projects/dddb.html"> Disjunctive Deductive Databases.</a><li><!WA10><a href="http://karna.cs.umd.edu:3264/projects/nullvalues.html"> Null Values</a><li><!WA11><a href="http://karna.cs.umd.edu:3264/projects/negation.html"> Understanding negation</a></ul><!--=======================================================================--><h2>Courses:</h2><ul><li><!WA12><a href="http://karna.cs.umd.edu:3264/courses/cmsc620_spring96/cmsc620_spring96.html"> CMSC620 Artificial Intelligence. Spring 1996</a><li><!WA13><a href="http://karna.cs.umd.edu:3264/courses/cmsc424/cmsc424_fall95.html"> CMSC424 Database Design. Fall 1995</a><li><!WA14><a href="http://karna.cs.umd.edu:3264/courses/cmsc150_fall96/cmsc150_fall96.html"> CMSC150 Discrete Structures Fall 1996 </a></ul><!--=======================================================================--><h2>Additional information</h2><ul><li><!WA15><a href=http://karna.cs.umd.edu:3264/people/minker-pict.html> Electronic Photo-Album</a><li><!WA16><a href=http://karna.cs.umd.edu:3264/people/sally.html> Sally Minker's Electronic Art Gallery</a><li><!WA17><a href="http://karna.cs.umd.edu:3264/people/minker-cv.html"> Vita (with publication list)</a> <ul> <li><!WA18><a href="http://karna.cs.umd.edu:3264/people/minker-cv.dvi"> DVI</a> </ul></ul><!--=======================================================================--><h2> Papers available on-line:</h2><ul><li><!WA19><a href=http://karna.cs.umd.edu:3264/papers/RM96:fi_Cecylia_Rauszer/RM96:fi_Cecylia_Rauszer.html><!WA20><img src=http://karna.cs.umd.edu:3264/gif/exist.xbm></a><!WA21><a href=http://karna.cs.umd.edu:3264/people/carolina.html>Carolina Ruiz</a> and<!WA22><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>, Combining Closed World Assumptions with Stable Negation.To appear in <em>Fundamenta Informaticae</em>.<p><li><!WA23><a href=http://karna.cs.umd.edu:3264/papers/Retrospective/Retrospective.html> <name=Mi::96> <!WA24><img src=http://karna.cs.umd.edu:3264/gif/exist.xbm></a><!WA25><a href=http://karna.cs.umd.edu:3264/people/minker.html> Jack Minker</a>. Logic and Databases: a 20 Year Retrospective, Invited Keynote Address, Workshop on Logic in Databases, San Miniato, Italy, July 1996.<p><li><!WA26><a href=http://karna.cs.umd.edu:3264/papers/MR96:wf3stable/MR96:wf3stable.html><!WA27><img src=http://karna.cs.umd.edu:3264/gif/exist.xbm></a><!WA28><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a> and<!WA29><a href=http://karna.cs.umd.edu:3264/people/carolina.html>Carolina Ruiz</a>.Mixing a Default Rule with Stable Negation.Proc. of the Fourth International Symposium on Artificial Intelligence and Mathematics.Fort Lauderdale, Florida,pages 122-125,Jan. 1996.<p><li><!WA30><a href=http://karna.cs.umd.edu:3264/papers/GGM95:optimization/paper.html><!WA31><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a><!WA32><a href=http://karna.cs.umd.edu:3264/people/godfrey/page.html>Parke Godfrey</a>,<!WA33><a href=http://karna.cs.umd.edu:3264/people/jarek.html>Jarek Gryz</a> and<!WA34><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,Semantic Query Optimization for Bottom-Up Evaluation. In the Proceedings of the 9thInternational Symposium on Methodologies for Intelligent Systems(ISMIS), Zakopane, Poland, June 1996.<p><li><!WA35><a href=http://karna.cs.umd.edu:3264/papers/SMR95:models-states/SMR95:models-states.html><!WA36><img src=http://karna.cs.umd.edu:3264/gif/exist.xbm></a><!WA37><a href="http://www-info1.informatik.uni-wuerzburg.de/staff/seipel.html"> Dietmar Seipel</a>,<!WA38><a href=http://karna.cs.umd.edu:3264/people/minker.html> Jack Minker</a>, and<!WA39><a href=http://karna.cs.umd.edu:3264/people/carolina.html> Carolina Ruiz</a>.Model Generation and State Generation for Disjunctive Logic Programs.To appear in the <em>Journal of Logic Programming</em>.<p><li><!WA40><a href=http://karna.cs.umd.edu:3264/papers/FGM95:dddb/BISAFI95.html><!WA41><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a><!WA42><a href=http://karna.cs.umd.edu:3264/people/jose.html>Jose Alberto Fernandez</a>,<!WA43><a href=http://karna.cs.umd.edu:3264/people/jarek.html>Jarek Gryz</a> and<!WA44><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,Disjunctive Deductive Databases: Semantics, Updates and Architecture,Invited Paper at BISFAI, 1995.<br><p><li><!WA45><a href=http://karna.cs.umd.edu:3264/papers/RM95:partialstb/RM95:partialstb.html><name=:CSAPSMOSMOONEOLPE><!WA46><img src=http://karna.cs.umd.edu:3264/gif/exist.xbm></a><!WA47><a href=http://karna.cs.umd.edu:3264/people/carolina.html>Carolina Ruiz</a> and<!WA48><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>, Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs, in <em>Nonmonotonic Extensions of Logic Programming</em>, edited by J. Dix, L.M. Pereira and T.C. Przymusinski. Lecture Notes in Computer Science 927. Springer-Verlag,pages 205-229,1995.<p><li><!WA49><a href=http://karna.cs.umd.edu:3264/papers/www_tmp6747/www_tmp6747.html><name=FeMiYa:><!WA50><img src=http://karna.cs.umd.edu:3264/gif/exist.xbm></a>J.A. Fernandez, <!WA51><a href=http://karna.cs.umd.edu:3264/people/minker.html>J. Minker</a> and A. Yahya. Computing Perfect and Stable Models Using Ordered Model Trees, Computational Intelligence, 11(1):89-112, Feb. 1995.<p><li><!WA52><a href=http://karna.cs.umd.edu:3264/papers/MR94:semantics/fundamenta.paper.html><name=MiRu:SFDLPWEADN:93><!WA53><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a><!WA54><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a> and <!WA55><a href=http://karna.cs.umd.edu:3264/people/carolina.html>Carolina Ruiz</a>,Semantics for Disjunctive Logic Programs with Explicit and Default Negation,<em> Fundamenta Informaticae, Anniversary Issue</em>,edited by H. Rasiowa,volume 20, number 3/4,pages 145-192,1994.<p><li><!WA56><a href=http://karna.cs.umd.edu:3264/papers/GMN94:architecture/gmn94.html><name=GoMiNo:AAFACDS:94><!WA57><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a><!WA58><a href=http://karna.cs.umd.edu:3264/people/godfrey/page.html>Parke Godfrey</a>,<!WA59><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>, and<!WA60><a href=http://karna.cs.umd.edu:3264/people/lev.html>Lev Novik</a>.An Architecture for a Cooperative Database System.Proceedings of the 1994 International Conferenceon Applications of Databases,Lecture Notes in Computer Science, Springer Verlag,Vadstena, Sweden, June, 1994.(Invited paper.)<p><li><!WA61><a href=http://karna.cs.umd.edu:3264/papers/dualfig/dualfig.html><name=MiYa::94><!WA62><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]"></a>Adnan Yahya and<!WA63><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>,Representations for Disjunctive Deductive Databases,1994.<p><li><!WA64><a href=http://karna.cs.umd.edu:3264/papers/Min93:overview/lpnmr.overview.jlp.html><name=Mi:AOONRALP:93><!WA65><img src=http://karna.cs.umd.edu:3264/gif/exist.xbm></a><!WA66><a href=http://karna.cs.umd.edu:3264/people/minker.html>Jack Minker</a>, An Overview of Nonmonotonic Reasoning and Logic Programming,Workshop on Logic Programming and Non-monotonic Reasoning,1993.<p><li><!WA67><a href=http://karna.cs.umd.edu:3264/papers/MR93:extended/edlp_ismis93.html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -