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

Project Information

TEMPORA

Grant agreement ID: 1700

Project closed

Start date 1 January 1989

End date 31 January 1994

Funded under

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

Total cost

No data

EU contribution

No data

Coordinated by

BELG.INST.FOR MANAGEMENT
Belgium

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Other (2)

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

Author(s): 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))
Published 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, Page(s) 388-411, ISBN 0-7923-1039-X

DATABASES AND EXECUTABLE TEMPORAL LOGIC

Author(s): 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))
Published 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, Page(s) 288-302