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...

Full description

Bibliographic Details
Main Author: Nogueira, Vitor Beires (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