Please use this identifier to cite or link to this item:

Title: ISTO: a Language for Temporal Organisational Information Systems
Authors: Nogueira, Vitor
Abreu, Salvador
Editors: Abreu, Salvador
Seipel, Deitmar
Keywords: Temporal Reasoninig
Contextual Logic Programming
Information Systems
Issue Date: 2011
Publisher: Springer
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.
Type: article
Appears in Collections:INF - Artigos em Livros de Actas/Proceedings

Files in This Item:

File Description SizeFormat
inap.pdf169.31 kBAdobe PDFView/OpenRestrict Access. You can Request a copy!
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Dspace Dspace
DSpace Software, version 1.6.2 Copyright © 2002-2008 MIT and Hewlett-Packard - Feedback
UEvora B-On Curriculum DeGois