Abstract
In this paper we propose to extend the logical framework ISCO (Information System COnstruction language) with an expressive means of representing and implicitly using temporal information. Moreover, we also provide a compilation scheme that targets a logic language with modularity and temporal reasoning.
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
Porto, A.: An integrated information system powered by prolog. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 92–109. Springer, Heidelberg (2002)
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 (2004)
Abreu, S.: Isco: A practical language for heterogeneous information system construction. In: Proceedings of INAP 2001, Tokyo, Japan, Prolog Association of Japan (2001)
Nogueira, V., Abreu, S.: Temporal contextual logic programming. Electr. Notes Theor. Comput. Sci. 177, 219–233 (2007)
Nogueira, V., Abreu, S.: Temporal Annotations for a Contextual Logic Programming Language. In: Neves, J., Santos, M., Machado, J., eds.: Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intellige nce, EPIA 2007, Universidade do Minho (2007)
Abreu, S.: Modeling Role-Based Access Control in ISCO. In: Ribeiro, L.M., dos Santos, J.M. (eds.) The 8th International Conference of European University Information Systems, FEUP Edies (2002) ISBN 972-752-051-0
Monteiro, L., Porto, A.: A Language for Contextual Logic Programming. In: Apt, K., de Bakker, J., Rutten, J. (eds.) Logic Programming Languages: Constraints, Functions and Objects, pp. 115–147. MIT Press, Cambridge (1993)
Abreu, S.P., Díaz, D.: Objective: In minimum context. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 128–147. Springer, Heidelberg (2003)
Frühwirth, T.W.: Temporal annotated constraint logic programming. J. Symb. Comput. 22(5/6), 555–583 (1996)
Tansel, A.U., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R. (eds.): Temporal databases: theory, design, and implementation. Benjamin-Cummings Publishing Co., Inc., Redwood City (1993)
Corportation, O.: Oracle database 10g workspace manager overview. Oracle White Paper (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nogueira, V., Abreu, S. (2011). ISTO: A Language for Temporal Organizational Information Systems. In: Abreu, S., Seipel, D. (eds) Applications of Declarative Programming and Knowledge Management. INAP 2009. Lecture Notes in Computer Science(), vol 6547. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20589-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-20589-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20588-0
Online ISBN: 978-3-642-20589-7
eBook Packages: Computer ScienceComputer Science (R0)