Integrating Database Technology, Rule-Based Systems and Temporal Reasoning for Effective Software

Projektinformationen

TEMPORA

ID Finanzhilfevereinbarung: 1700

Projekt abgeschlossen

Startdatum 1 Januar 1989

Enddatum 31 Januar 1994

Finanziert unter

• European strategic programme (EEC) for research and development in information technologies (ESPRIT), 1987-1992

Gesamtkosten

Keine Daten

EU-Beitrag

Keine Daten

Koordiniert durch

BELG.INST.FOR MANAGEMENT
Belgium

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Other (2)

TEMPORA - INTEGRATING DATABASE TECHNOLOGY, RULE BASED SYSTEMS AND TEMPORAL REASONING FOR EFFECTIVE SOFTWARE

Autoren: LOUCOPOULOS P (UMIST, DEPARTMENT OF COMPUTATION, MANCHESTER (GB)), MCBRIEN P (IMPERIAL COLLEGE, DEPARTMENT OF COMPUTING, LONDON (GB)), PERSSON U (SISU, KISTA (SE)), SCHUMACKER F (UNIVERSITE DE LIEGE, INSTITUTE MONTEFIORE (BE)), VASEY P (LOGIC PROGRAMMING ASSOCIATES, LONDON (GB))
Veröffentlicht in: EXTRACT: ESPRIT '90 : CONFERENCE PROCEEDINGS (1990) PP. 388-411 (EUR 13148) KLUWER ACADEMIC PUBLISHERS GROUP, PO BOX 322, 3300 AH DORDRECHT (NL) ISBN 0-7923-1039-X, 1990, Seite(n) 388-411, ISBN 0-7923-1039-X

DATABASES AND EXECUTABLE TEMPORAL LOGIC

Autoren: FINGER M (IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE, DEPARTMENT OF COMPUTING, LONDON (GB)), MCBRIEN P (IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE, DEPARTMENT OF COMPUTING, LONDON (GB))
Veröffentlicht in: EXTRACT: ESPRIT 1991 : CONFERENCE PROCEEDINGS (1991) PP. 288-302 (EUR 13853) THE OFFICE FOR OFFICIAL PUBLICATIONS OF THE EUROPEAN COMMUNITIES, L-2985 LUXEMBOURG, 1991, Seite(n) 288-302