By Topic

Temporal annotated constraint logic programming with multiple theories

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Mancarella, P. ; Dip. di Inf., Pisa Univ., Italy ; Raffaeta, A. ; Turini, F.

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

Published in:

Database and Expert Systems Applications, 1999. Proceedings. Tenth International Workshop on

Date of Conference: