ISTO: a language for temporal organizational information systems

Authors:
Vitor Nogueira;Salvador Abreu
Affiliations:
Universidade de Évora and Centria, Portugal;Universidade de Évora and Centria, Portugal
Venue:
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Year:
2009

Citing 5
Cited 0

Temporal databases: theory, design, and implementation

Temporal databases: theory, design, and implementation
A language for contextual logic programming

Logic programming languages
Temporal annotated constraint logic programming

Journal of Symbolic Computation - Special issue: executable temporal logics
An Integrated Information System Powered by Prolog

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Temporal Contextual Logic Programming

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

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.