📄 http:^^karna.cs.umd.edu:3264^prism.html
字号:
Content-Length: 2997Content-Type: text/html<HTML><HEAD><TITLE>The PRISM Group at Maryland</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>The PRISM Research Group<br><em>Logic Programming and Deductive Databases</em></h1><!--=======================================================================--><!WA3><a href="http://karna.cs.umd.edu:3264/prism-picture.html"><!WA4><img src="http://karna.cs.umd.edu:3264/gif/prism-small.inline.gif" alt="The PRISM group picture."></a><p><ul><li><strong>The PRISM group is located at</strong> <dl> <dd><!WA5><a href="http://karna.cs.umd.edu:3264/prism-map.html">Room 3264</a>, A.V. Williams Building, <dd><!WA6><a href="http://www.cs.umd.edu"> Department of Computer Science</a>, <dd>University of Maryland, <!WA7><a href=http://karna.cs.umd.edu:3264/gif/dc.gif>College Park</a>, MD 20714 </dl><li><!WA8><a href=http://karna.cs.umd.edu:3264/people/list.html> <strong>Members of the group</strong></a><li><strong>Research</strong> <ul> <li><!WA9><a href=http://karna.cs.umd.edu:3264/projects/list.html> Research topics</a> <li><!WA10><a href=http://karna.cs.umd.edu:3264/papers.html> Publications available on-line</a> <li>System Demonstrations <ul> <li><!WA11><a href="http://karna.cs.umd.edu:3264/carmin/carmin_main.html"> Carmin</a>: Cooperative Answering System at Maryland <!WA12><img src="http://karna.cs.umd.edu:3264/gif/star.gif" alt="[logged]"> <li><!WA13><a href="http://karna.cs.umd.edu:3264/projects/dddbs/dddbs_main.html"> DDDBS</a>: Disjunctive Deductive Database System <!WA14><img src="http://karna.cs.umd.edu:3264/gif/star.gif" alt="[logged]"> </ul> </ul><li><strong>Seminars</strong> <ul> <li><!WA15><a href="http://www.cs.umd.edu:/projects/active/laisem/laisem.html"> Logic and AI Seminar</a> <li><!WA16><a href="http://www.cs.umd.edu/~nelson/database_sem_dir/database_sem.html"> Database Seminar</a> </ul><li><strong>Our Web Site</strong> <ul> <li><!WA17><a href=http://karna.cs.umd.edu:3264/server.html> The PRISM WWW Server</a>: About this server <li><!WA18><a href=http://karna.cs.umd.edu:3264/search.html> The PRISM Search Engine</a>: Search for HTML pages at this site <li><!WA19><a href=http://karna.cs.umd.edu:3264/misc/jump.html> The PRISM Jump Page</a>: Other internal and external resources </ul><li><strong>Miscellaneous</strong> <ul><!--<li><!WA20><a href=http://karna.cs.umd.edu:3264/misc/grads.html> Directory of CS Graduate Students at Maryland</a>--><!--<li>Please <!WA21><a href=http://karna.cs.umd.edu:3264/misc/guest_form.html>sign</a> our <!WA22><a href=http://karna.cs.umd.edu:3264/guest-book.html>guest book</a>--> <li><!WA23><a href="http://karna.cs.umd.edu:3264/bibweb.html"> PRISM's Bibweb</a><br> Links to research papers available over the Web. The page is automatically generated from our LaTeX BIB files. </ul></ul><HR size=5><!--=======================================================================-->In general, access to our pages is not monitored for the sake of privacy.<br>Links marked with a<!WA24><img src="http://karna.cs.umd.edu:3264/gif/star.gif" alt="[logged]">or links to papers marked with a<!WA25><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]">,however,<em>are</em> logged for traffic statistics.<br><!--=======================================================================--></BODY></HTML><hr><!WA26><a href="http://karna.cs.umd.edu:3264/BACK/prism.html"><!WA27><img src="http://karna.cs.umd.edu:3264/gif/petite_arbre.gif"><em>Back-links<em></a><hr><em>Last modified: Thu Oct 31 10:01:45 1996</em>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -