Keywords: knowledge representation, non-monotonic reasoning, logic programming, negation, default reasoning, hypothetical reasoning, databases, scheduling
Start Date: 1 November 93 / Duration: 41 months
[ participants / contact]
This collaboration will extend previous collaborations by partners through the ESPRIT COMPULOG I and COMPULOG II projects. The main subject of investigation is knowledge representation and reasoning with a special emphasis on non-monotonic reasoning and its relation to logic programming. This will include work on negation, default reasoning, and hypothetical reasoning, with applications to databases and areas of AI such as diagnosis, scheduling and planning.
The main deliverables of the project are the newsletters of the Compulog Network of Excellence. The Cyprus node edits and produces these newsletters.
The newsletters are sent to all nodes of COMPULOGNET. The most recent issue has been sent to all ALP members too. An electronic edition is now available to anyone with WWW access at http://zeus.cc.ucy/cs/compulog, or at the main Compulognet NOE homepage at http://www.compulog.org/.
University of Leeds,
School of Computer Studies
University of Leeds
Leeds LS2 9JT, UK
University of Leeds, UK
Universität des Saarlandes - DFKI, D
University of Cyprus, Nicosia, CY
Dr. A. Kakas
Tel: +357 2 338 705
Fax: +357 2 339 062
COMPUCYPRUS - KIT012, May 1997
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook