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
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.
This project is funded by Deutsche Forschungsgemeinschaft (DFG), a federal government agency that funds various basic research projects in Germany.
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.
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.