Temporal reasoning in a logic programming language with modularity
Actualmente os Sistemas de Informação Organizacionais (SIO) lidam cada vez mais com informação que tem dependências temporais. Neste trabalho concebemos um ambiente de trabalho para construir e manter SIO Temporais. Este ambiente assenta sobre um linguagem lógica denominada Temporal Contextua) Logic...
Main Author: | |
---|---|
Format: | doctoralThesis |
Language: | eng |
Published: |
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/10174/11138 |
Country: | Portugal |
Oai: | oai:dspace.uevora.pt:10174/11138 |