Enhancing GISs for spatio-temporal reasoning
Proceedings of the 10th ACM international symposium on Advances in geographic information systems
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
MuTACLP: A Language for Declarative GIS Analysis
CL '00 Proceedings of the First International Conference on Computational Logic
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
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. [1] and Temporal Annotated Constraint Logic Programming (TACLP) defined by Fruehwirth [2]. 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.