A Computational Logic model for the description analysis and verification of glo

Acronym

SOCS

Project Title

Consortium Coordinator

IMPERIAL COLLEGE LONDON

Principal Investigator

Αντώνης Κάκας

Status

Closed

Department

ΕΠΛ - ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Faculty

ΣΘΕΕ - ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΚΑΙ ΕΦΑΡΜΟΣΜΕΝΩΝ ΕΠ

Grant No

IST-2001-32530

Type of Project

EU-FP5

Start Date

2002

End Date

30/06/2005