ISTO: a Language for Temporal Organisational Information Systems
| dc.contributor.author | Nogueira, Vitor | |
| dc.contributor.author | Abreu, Salvador | |
| dc.contributor.editor | Abreu, Salvador | |
| dc.contributor.editor | Seipel, Deitmar | |
| dc.date.accessioned | 2012-02-03T21:55:20Z | |
| dc.date.available | 2012-02-03T21:55:20Z | |
| dc.date.issued | 2011 | |
| dc.description.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. | por |
| dc.identifier.authoremail | vbn@di.uevora.pt | |
| dc.identifier.authoremail | spa@di.uevora.pt | |
| dc.identifier.scientificarea | 498 | por |
| dc.identifier.uri | http://hdl.handle.net/10174/4981 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.publisher | Springer | por |
| dc.rights | restrictedAccess | por |
| dc.subject | Temporal Reasoninig | por |
| dc.subject | Contextual Logic Programming | por |
| dc.subject | Information Systems | por |
| dc.title | ISTO: a Language for Temporal Organisational Information Systems | por |
| dc.type | article | por |