ISTO: a Language for Temporal Organisational Information Systems

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 reaso...

Full description

Bibliographic Details
Main Author: Nogueira, Vitor (author)
Other Authors: Abreu, Salvador (author)
Format: article
Language:eng
Published: 2012
Subjects:
Temporal Reasoninig
Contextual Logic Programming
Information Systems
Online Access:http://hdl.handle.net/10174/4981
Country:Portugal
Oai:oai:dspace.uevora.pt:10174/4981

Internet

http://hdl.handle.net/10174/4981

Similar Items