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]

Objectivies and Approach

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.

Progress and Results

The main deliverables of the project are the newsletters of the Compulog Network of Excellence. The Cyprus node edits and produces these newsletters.

Information Dissemination Activities and/or Exploitation

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, or at the main Compulognet NOE homepage at


University of Leeds,
AI Division
School of Computer Studies
University of Leeds
Leeds LS2 9JT, UK

EU Partners

University of Leeds, UK
Universität des Saarlandes - DFKI, D

Non-EU Partners

University of Cyprus, Nicosia, CY


Dr. A. Kakas
Tel: +357 2 338 705
Fax: +357 2 339 062

INCO synopses home page INCO cooperation index INCO keyword index
INCO acronym index INCO number index INCO Working Groups index
synopses home page all keywords index all acronyms index all numbers index

COMPUCYPRUS - KIT012, May 1997

please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook