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

Title: Temporal reasoning in a logic programming language with modularity
Authors: Nogueira, Vitor
Keywords: temporal reasoning
contextual logic programming
Issue Date: 2008
Abstract: Current Organization Information Systems (OIS) deal with more and more information that is time dependent. In this work we provide a framework to construct and maintain Temporal OIS. This framework builds upon a logical language called Temporal Contextual Logic Programming that deeply integrates modularity with temporal reasoning making the usage of a module time dependent. This language is an evolution of another one, also introduced in this thesis, that combines Contextual Logic Programming with Temporal Annotated Constraint Logic Programming where modularity and time are orthogonal features. Both languages are formally discussed and illustrated.
Type: doctoralThesis
Appears in Collections:INF - Formação Avançada - Teses de Doutoramento

Files in This Item:

File Description SizeFormat
thesis.pdfDocumento principal1.31 MBAdobe PDFView/Open
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