Abstract
Albeit temporal reasoning and modularity are very prolific fields of research in Logic Programming (LP) we find few examples of their integration. Moreover, in those examples, time and modularity are considered orthogonal to each other. In this paper we propose the addition of temporal annotations to a modular extension of LP such that the usage of a module is influenced by temporal conditions. Besides illustrative examples we also provide an operational semantics together with a compiler, allowing this way for the development of applications based on such language.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abreu, S., Diaz, D.: Objective: In minimum context. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 128–147. Springer, Heidelberg (2003)
Abreu, S., Diaz, D., Nogueira, V.: Organizational information systems design and implementation with contextual constraint logic programming. In: IT Innovation in a Changing World – The 10th International Conference of European University Information Systems, Ljubljana, Slovenia (June 2004)
Abreu, S., Nogueira, V.: Towards structured contexts and modules. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 436–438. Springer, Heidelberg (2006)
Baldan, P., Mancarella, P., Raffaetà, A., Turini, F.: MuTACLP: A language for temporal reasoning with multiple theories. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS, vol. 2408, pp. 1–40. Springer, Heidelberg (2002)
Combi, C., Pozzi, G.: Architectures for a temporal workflow management system. In: Handschuh, H., Hasan, M.A. (eds.) SAC 2004. LNCS, vol. 3357, pp. 659–666. Springer, Heidelberg (2004)
Frühwirth, T.: Annotated constraint logic programming applied to temporal reasoning. In: Penjam, J. (ed.) PLILP 1994. LNCS, vol. 844, pp. 230–243. Springer, Heidelberg (1994)
Frühwirth, T.W.: Temporal annotated constraint logic programming. J. Symb. Comput. 22(5/6), 555–583 (1996)
Monteiro, L., Porto, A.: A Language for Contextual Logic Programming. In: Apt, K.R., de Bakker, J.W., Rutten, J.J.M.M. (eds.) Logic Programming Languages: Constraints, Functions and Objects, pp. 115–147. MIT Press, Cambridge (1993)
Nogueira, V., Abreu, S.: Temporal contextual logic programming. In: Fraguas, F.J.L. (ed.) Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP 2006), Madrid, Spain, November 2006. Electronic Notes in Theoretical Computer Science (2006)
Orgun, M.A., Ma, W.: An overview of temporal and modal logic programming. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 445–479. Springer, Heidelberg (1994)
Raffaetà, A., Frühwirth, T.: Semantics for temporal annotated constraint logic programming. In: Raffaetà, A., Frühwirth, T. (eds.) Labelled deduction, pp. 215–243. Kluwer Academic Publishers, Norwell (2000)
Subrahmanian, V.S.: Amalgamating knowledge bases. ACM Trans. Database Syst. 19(2), 291–331 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nogueira, V., Abreu, S. (2009). Integrating Temporal Annotations in a Modular Logic Language. In: Seipel, D., Hanus, M., Wolf, A. (eds) Applications of Declarative Programming and Knowledge Management. INAP WLP 2007 2007. Lecture Notes in Computer Science(), vol 5437. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00675-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-00675-3_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00674-6
Online ISBN: 978-3-642-00675-3
eBook Packages: Computer ScienceComputer Science (R0)