http:^^www.uni-koblenz.de^~arvind^dlp.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 378 行
HTML
378 行
MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 26-Nov-96 00:53:32 GMT
Content-Type: text/html
Content-Length: 14079
Last-Modified: Tuesday, 12-Nov-96 12:10:47 GMT
<!DOCTYPE HTML PUBLIC "-//W3O//DTD W3 HTML 3.0//EN"><HTML><HEAD><TITLE>Disjunctive Logic Programming</TITLE><!-- Changed by: C. Aravindan, 12-Nov-1996 --><!-- OWNER_NAME="Chandrabose ARAVINDAN" --><!-- OWNER_INFO="FB Informatik, Uni-Koblenz, Germany." --><link rev=made href="http://www.uni-koblenz.de/~arvind/"></HEAD><BODY><BANNER><font size=-1>Last modified by <!WA0><a href="http://www.uni-koblenz.de/~arvind/">C. Aravindan</a>on November 12, 1996.</font><HR><STRONG><ADDRESS><!WA1><A HREF="http://www.uni-koblenz.de/ag-ki/welcome-e.html">Artificial Intelligence Research Group</A>at the <!WA2><A HREF="http://www.uni-koblenz.de/universitaet/fb4/index.en.html">Computer Science Department</A>of the <!WA3><A HREF="http://www.uni-koblenz.de/homepage.en.html">University of Koblenz-Landau,</A><!WA4><a href="http://www.uni-koblenz.de/stadt/">Koblenz,</a><!WA5><a href="http://www.chemie.fu-berlin.de/adressen/brd.html">Germany.</a></ADDRESS></STRONG><HR></BANNER><H1 align=center><strong>DisLoP:</strong><br> <em>a research project on</em><br> Disjunctive Logic Programming</H1><HR><center><!WA6><a href="#fund">Funding</a> *<!WA7><a href="#persons">Persons</a> *<!WA8><a href="#activities">Activities</a> *<!WA9><a href="#pubs">Publications</a> *<!WA10><a href="#rpro">Related Projects</a> *<!WA11><a href="#rlinks">Related Links</a></center><HR><br><br><br><P align=justify><font size=+3>T</font size>he long term goal of thisproject is to develop a logic programmingsystem in which disjunction in the head of a clause and non-monotonicnegation in the body of the clause are allowed. This goal is to beachieved by appropriately combining classical deduction and non-monotonic reasoning systems. More specifically, the project aimsto develop a disjunctive logic programming system based on<!WA12><a href="http://www.uni-koblenz.de/ag-ki/Systems/PROTEIN/">PROTEIN</a>theorem prover developed earlier by our<!WA13><A HREF="http://www.uni-koblenz.de/ag-ki/welcome-e.html"> Artificial Intelligence Research Group</A>.</P><br><a NAME="fund"><h2>Funding</h2><P align=justify><font size=+3>T</font size>his project is funded by<!WA14><a href="http://www.gfz-potsdam.de/d3m/sponsor/deutschl/dfg/">Deutsche Forschungsgemeinschaft (DFG)</a>,a federal government agency that funds various basic research projects in<!WA15><a href="http://www.chemie.fu-berlin.de/adressen/brd.html">Germany</a>.</p><br><a NAME="persons"><H2>Persons Involved</H2><P align=justify><font size=+3>T</font size>he project is headed by <!WA16><A HREF="http://www.uni-koblenz.de/~uli/">Prof.Dr. Ulrich Furbach</A>and<!WA17><A href="http://www.uni-koblenz.de/~dix/">Dr. Jürgen Dix</A>.Two research scientists<!WA18><A HREF="http://www.uni-koblenz.de/~ini/">Dr. Ilkka Niemelä</A>and<!WA19><A href="http://www.uni-koblenz.de/~arvind/">Dr. Chandrabose Aravindan</A>are working exculsively on this project.In addition, <!WA20><A HREF="http://www.uni-koblenz.de/~katrin/">Katrin Erk</A> and<!WA21><a HREF="http://www.uni-koblenz.de/~doro/">Dorothea Schäfer,</a>students working for their Master's degrees, are also involved in this project.<!WA22><a href="http://www.uni-koblenz.de/~herrman/">Marion Herrmann</a>is the project secretary.</p><br><a NAME="activities"><H2>Activities</H2><ul><!--<li> <!WA23><a href="http://www.uni-koblenz.de/~ini/">Ilkka Niemelä</a> was in the programme committe of the <!WA24><a href="http://www.medg.lcs.mit.edu/doyle/nm/">6<sup>th</sup> International Workshop on Non-Monotonic Reasoning</a>, held in Timberline, Oregon, U.S.A., on June 10-12, 1996.--><li> <!WA25><a href="http://www.uni-koblenz.de/~dix/">Jürgen Dix</a> organized a <!WA26><a href="http://www.dag.uni-sb.de/dagstuhl_e.html">Dagstuhl</a> seminar on <!WA27><A href="http://www.uni-koblenz.de/ag-ki/dag9627/">Disjunctive logic programming and databases: Non-monotonic aspects</A>.<li> The group participated in a workshop titled <!WA28><a href="http://www.uni-koblenz.de/~ini/tpnmr96/homepage.html"> "Integrating Nonmonotonicity into Automated Reasoning Systems"</a> during <!WA29><a href="http://wwwis.cs.utwente.nl:8080/mars/ECAI96.html"> ECAI '96</a>. Contact <!WA30><a href="http://www.uni-koblenz.de/~ini/">Ilkka Niemelä</a> for more details.<li> The group presented a <!WA31><a href="http://www.uni-koblenz.de/ag-ki/DLP/papers/poster-abs.ps.gz">poster</a> at the <!WA32><a href="http://www.first.gmd.de/~geske/poster96.html">poster session</a> of <!WA33><a href="http://www.informatik.uni-bonn.de/~jicslp96/">JICSLP '96</a><li> The group presented a <!WA34><a href="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-16-96.ps.gz">system description</a> at <!WA35><a href="http://pikas.inf.tu-dresden.de/ki96/ki96_engl.html">KI '96</a><li> The group is organizing <!WA36><a href="http://www.uni-koblenz.de/~lpnmr97/">LPNMR '97</a>. Contact <!WA37><a href="http://www.uni-koblenz.de/~dix/">Jürgen Dix</a> or <!WA38><a href="http://www.uni-koblenz.de/~arvind/">Chandrabose Aravindan</a> for more details.<li> The group will be organizing JELIA '98. Contact <!WA39><a href="http://www.uni-koblenz.de/~dix/">Jürgen Dix</a> or <!WA40><a href="http://www.uni-koblenz.de/~uli/">Ulrich Furbach</a> for more details.</ul><br><a NAME="pubs"><h2>Recent Publications</h2><P align=justify><font size=+3>S</font size>ome of the recent publicationsof the members of this project are listed below. The<!WA41><A href="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/">complete list of local technical reports</a>is maintained by<!WA42><A href="http://www.uni-koblenz.de/~peter">Peter Baumgartner.</a><ul><li> <STRONG>Frieder Stolzenburg</STRONG>, <em>A Flexible System for Constraint Disjunctive Logic Programming</em>, Research Report 19-96.(<!WA43><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-19-96.html">Abstract</A>,<!WA44><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-19-96.ps.gz">Report</A>)<li> <strong>Chandrabose Aravindan</strong>, <em>DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover</em>, Research Report 16-96.(<!WA45><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-16-96.html">Abstract</A>,<!WA46><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-16-96.ps.gz">Report</A>)<li> <strong>Jürgen Dix, Gerhard Brewka</strong>, <em>Knowledge representation with logic programs</em>, Research Report 15-96.(<!WA47><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-15-96.html">Abstract</A>,<!WA48><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-15-96.ps.gz">Report</A>)<li> <strong>Peter Baumgartner, Ulrich Furbach</strong>, <em>Hyper Tableuax and Disjunctive Logic Programming</em>, Research Report 13-96.(<!WA49><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-13-96.html">Abstract</A>,<!WA50><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-13-96.ps.gz">Report</A>)<li> <strong>Chandrabose Aravindan</strong>, <em>An abductive framework for negation in disjunctive logic programming</em>, Research Report 9-96.(<!WA51><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-9-96.html">Abstract</A>,<!WA52><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-9-96.ps.gz">Report</A>)<li> <strong>Ilkka Niemelä, Patrik Simons</strong>, <em>Efficient Implementation of the Well-founded and Stable Model Semantics</em>, Research Report 7-96.(<!WA53><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-7-96.html">Abstract</A>,<!WA54><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-7-96.ps.gz">Report</A>)<li> <strong>Ilkka Niemelä</strong>, <em>Implementing Circumscription Using a Tableau Method</em>, Research Report 6-96.(<!WA55><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-6-96.html">Abstract</A>,<!WA56><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-6-96.ps.gz">Report</A>)<li> <strong>Ilkka Niemelä</strong>, <em>A tableau calculus for minimal model reasoning</em>, Research Report 5-96.(<!WA57><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-5-96.html">Abstract</A>,<!WA58><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-5-96.ps.gz">Report</A>)<li> <strong>Stefan Brass, Jürgen Dix, Teodor C. Przymusinski</strong>, <em>Characterizations and Implementation of Static Semantics of Disjunctive Programs</em>, Research Report 4-96.(<!WA59><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-4-96.html">Abstract</A>,<!WA60><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-4-96.ps.gz">Report</A>)<li> <strong>Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski</strong>, <em>A Comparison of Static Semantics and D-WFS</em>, Research Report 2-96.(<!WA61><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-2-96.html">Abstract</A>,<!WA62><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-2-96.ps.gz">Report</A>)<li> <strong>J. Dix, D. Gottlob, V. Marek</strong>, <em>Reducing disjunctive to non-disjunctive semantics by shift operations</em>, Research report 18-95.(<!WA63><a href="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/Abstracts/RR-18-95.html">Abstract</A>,<!WA64><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/RR-18-95.ps.gz">Report</A>)<li> <strong>P. Baumgartner, J. Dix, U. Furbach, D. Schäfer, F. Stolzenburg</strong>, <em>Deduktion und Logisches Programmieren</em>, Research Report 17-95.(<!WA65><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/Abstracts/RR-17-95.html">Abstract</A>,<!WA66><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/RR-17-95.ps.gz">Report</A>)<li> <strong>S. Brass, J. Dix</strong>, <em>D-WFS: A Confluent Calculus and an Equivalent Characterization</em>, Research Report 12-95.(<!WA67><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/Abstracts/RR-12-95.html">Abstract</A>,<!WA68><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/RR-12-95.ps.gz">Report</A>)<li> <strong>P. Baumgartner, U. Furbach and F. Stolzenburg</strong>, <em>Model Elimination, Logic Programming and Computing Answers</em>, Research Report 1-95.(<!WA69><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/Abstracts/RR-1-95.html">Abstract</A>,<!WA70><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/RR-1-95.ps.gz">Report</A>)</ul><br><a NAME="rpro"><H2>Related Projects</H2><br><ul><li> This project is founded on an on-going DFG funded project on <!WA71><a href="http://www.uni-koblenz.de/ag-ki/TheTP/">deduction and theory reasoning</a>. The proposed disjunctive logic programming system is to be based on <!WA72><a href="http://www.uni-koblenz.de/ag-ki/Systems/PROTEIN/">PROTEIN</a>, a theorem prover developed during the course of the <!WA73><a href="http://www.uni-koblenz.de/ag-ki/Deduktion/">deduction project</a>.<li> For the project on disjunctive logic programming, non-trivial case studies in the area of information management are planned, and this has been conceived as a different project titled, <!WA74><A href="http://www.uni-koblenz.de/ag-ki/IMS/ims-en.html"> "Deductive Techniques for Information Management Systems."</A></ul><br><a NAME="rlinks"><h2>Related Links</h2><br><UL><li> <!WA75><a href="http://www.cs.engr.uky.edu/~lpnmr/">LPNMR</a>, a special interest group on Logic Programming and Non-monotonic Reasoning.<li> <!WA76><a href="http://laotzu.doc.ic.ac.uk/alp/info-alp.html">ALP</a>, home page for The Association of Logic Programming, maintained at Imperial College, London.<li> <!WA77><a href="http://www.comlab.ox.ac.uk/archive/logic-prog.html"> Logic Programming Section</a> of the World Wide Web (WWW) Virtual Library.<li> <!WA78><a href="http://www.cs.reading.ac.uk/people/dwc/ai.html"> Artificial Intelligence Section</a> of the WWW Virtual Library.<li> <!WA79><a href="http://laotzu.doc.ic.ac.uk/">Logic Programming Section</a> of the Imperial College, London.<!--<li> <!WA80><a href="http://www.uni-koblenz.de/~arvind/.cs.html">CS Pointers</a>, a list of computer science related WWW pages, maintained by <!WA81><a href="http://www.uni-koblenz.de/~arvind/">Chandrabose Aravindan.</a>--><li> <!WA82><a href="http://liinwww.ira.uka.de/bibliography/index.html">A collection of Computer Science bibliographies</a>, maintained by <!WA83><a href="http://liinwww.ira.uka.de/~achilles/">Alf-Christian Achilles</a> at the University of Karlsruhe, Germany.<li> <!WA84><a href="http://www.iao.fhg.de/Library/conferences/">Conference announcements</a>, a WWW archive of all announcements posted to the usenet newsgroup <!WA85><a href="news:news.announce.conferences">news.announce.conferences</a><li> <!WA86><a href="http://www.informatik.uni-trier.de/~ley/db/conf/index.l.html"> Conferences on logic programming</a>, a web page for logic programming related conferences, maintained by <!WA87><a href="http://www.informatik.uni-trier.de/~ley/addr.html">Michael Ley</a> as a part of <!WA88><a href="http://www.informatik.uni-trier.de/~ley/db/index.html"> bibliography server on databases and logic programming</a>.</ul><br><br><br><HR><font size=-1><ADDRESS>Maintained by:<!WA89><A HREF="http://www.uni-koblenz.de/~arvind/index.html">C. Aravindan</A><!WA90><A HREF="mailto:arvind@informatik.uni-koblenz.de"> <arvind@informatik.uni-koblenz.de></A><BR>Last modified on: November 12, 1996.<BR><!WA91><IMG src="http://www.uni-koblenz.de/userexec/arvind/www/log/log-dlp.svr" alt="LOGGING"></ADDRESS></font size></BODY></HTML>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?