Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Temporal reasoning in a logic programming language with modularity
May 2009
nogueira09Temporal
In this work we provide a framework to construct and maintain Temporal Organization Information Systems. 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.
Ph. D. dissertation
Vitor Nogueira
Salvador Abreu
Universidade de Évora
-
-
Export formats
Vitor Nogueira, Temporal reasoning in a logic programming language with modularity, Salvador Abreu (superv.), Universidade de Évora, May 2009.
<b><a href="/people/members/view.php?code=6ac54233bd0e32e42cf8041a556fcbb0" class="author">Vitor Nogueira</a></b>, <u>Temporal reasoning in a logic programming language with modularity</u>, <a href="/people/members/view.php?code=e927e6f7f16b0d293c89324129b1ea0e" class="supervisor">Salvador Abreu</a> (superv.), Universidade de Évora, May 2009.
@phdthesis {nogueira09Temporal, author = {Vitor Nogueira}, title = {Temporal reasoning in a logic programming language with modularity}, school = {Universidade de {\'E}vora}, note = {Salvador Abreu (superv.); }, abstract = {In this work we provide a framework to construct and maintain Temporal Organization Information Systems. 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.}, month = {May}, year = {2009}, }
Publication's urls
/publications/view.php?code=f4f03589e021c49eace1f3dd722ededc
/publications/view.php?code=nogueira09Temporal
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT