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 Disjunctive Logic Programming Last modified by C. Aravindan on November 12, 1996.
Artificial Intelligence Research Group at the Computer Science Department of the University of Koblenz-Landau, Koblenz, Germany.

DisLoP:
a research project on
Disjunctive Logic Programming


Funding * Persons * Activities * Publications * Related Projects * Related Links




The long term goal of this project is to develop a logic programming system in which disjunction in the head of a clause and non-monotonic negation in the body of the clause are allowed. This goal is to be achieved by appropriately combining classical deduction and non-monotonic reasoning systems. More specifically, the project aims to develop a disjunctive logic programming system based on PROTEIN theorem prover developed earlier by our Artificial Intelligence Research Group.


Funding

This project is funded by Deutsche Forschungsgemeinschaft (DFG), a federal government agency that funds various basic research projects in Germany.


Persons Involved

The project is headed by Prof.Dr. Ulrich Furbach and Dr. Jürgen Dix. Two research scientists Dr. Ilkka Niemelä and Dr. Chandrabose Aravindan are working exculsively on this project. In addition, Katrin Erk and Dorothea Schäfer, students working for their Master's degrees, are also involved in this project. Marion Herrmann is the project secretary.


Activities


Recent Publications

Some of the recent publications of the members of this project are listed below. The complete list of local technical reports is maintained by Peter Baumgartner.


Related Projects



Related Links






Maintained by: C. Aravindan <arvind@informatik.uni-koblenz.de>
Last modified on: November 12, 1996.
LOGGING