Please use this identifier to cite or link to this item:
http://hdl.handle.net/10174/4981
|
| 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. |
| URI: | http://hdl.handle.net/10174/4981 |
| Type: | article |
| Appears in Collections: | INF - Artigos em Livros de Actas/Proceedings
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
