Logic Programming in Knowledge Representation and Reasoning


LPKRR - KIT011

Keywords: knowledge representation, non-monotonic reasoning, logic programming, negation, abductive reasoning, common sense reasoning, default reasoning, abstract interpratation


Start Date: 1 December 93 / Duration: 48 months

[ participants / contact]


Objectivies and Approach

This collaboration involves members of the COMPULOG NET network of excellence. The objective is to develop a general methodology for the application of logic programming to knowledge representation and reasoning. This will involve studying various extensions of the basic logic programming paradigm, expressive enough to formalise common sense reasoning.

Progress and Results

A number of results have been obtained during the progress of this action:

Information Dissemination Activities and/or Exploitation

Results achieved so far have been presented at international conferences and publications. The Asian partner has given a number of lectures to the European sites. Various seminars and lectures have also been organised in the Asian site.


Coordinator

University of Pisa,
Corso Italia, 40
56125 Pisa, I

EU Partners

University of Pisa, I
Imperial College, UK
DISI, University of Genova, I
Universidade Nova de Lisboa, PT

Non-EU Partners

Asian Institute of Technology, Bangkok, TH

CONTACT POINT

Mr. P. Mancarela
Tel: +39 50 887 210
Fax: +39 50 887 226
E-mail: paolo@di.unipi.it


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

LPKRR - KIT011, May 1997


please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook