Title :
Temporal annotated constraint logic programming with multiple theories
Author :
Mancarella, Paolo ; Raffaeta, Alessandra ; Turini, Franco
Author_Institution :
Dip. di Inf., Pisa Univ., Italy
Abstract :
The paper aims at building a framework that provides basic operators, with a clear semantics, for combining different knowledge bases and allowing the representation and the handling of temporal information. Our approach stems from two separate lines of research: the general studies on meta-level operators on logic programs introduced by Brogi et al. (1993, 1994) and temporal annotated constraint logic programming (TACLP) defined by Fruhwirth (1996). We propose a language MuTACLP that integrates the above mentioned approaches. Atoms are annotated with temporal information and such annotations are managed via a constraint theory as in TACLP. Mechanisms for structuring programs and combining separate knowledge bases are provided through meta-level operators. A top-down semantics of MuTACLP is given by exploiting meta-logic
Keywords :
constraint handling; database theory; knowledge based systems; programming language semantics; programming theory; temporal databases; temporal logic; temporal reasoning; MuTACLP language; atom annotation; constraint theory; knowledge bases; logic programs; meta-level operators; meta-logic; multiple theories; program structuring; temporal annotated constraint logic programming; temporal information handling; temporal information representation; top-down semantics; Books; Constraint theory; Deductive databases; Ear; Knowledge representation; Logic programming; Object oriented databases; Object oriented modeling; Read only memory; Solids;
Conference_Titel :
Database and Expert Systems Applications, 1999. Proceedings. Tenth International Workshop on
Conference_Location :
Florence
Print_ISBN :
0-7695-0281-4
DOI :
10.1109/DEXA.1999.795234