COMPUCYPRUS

COMPUCYPRUS - KIT012

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 http://zeus.cc.ucy/cs/compulog, or at the main Compulognet NOE homepage at http://www.compulog.org/.

Coordinator

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

CONTACT POINT

Dr. A. Kakas
Tel: +357 2 338 705
Fax: +357 2 339 062
E-mail: antonis@turing.cs.ucy.ac.cy