Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
Modularity and Temporal Reasoning: A Logic Programming Approach
Publication date:
June 2007
Citation:
NogueiraA07:time
Abstract:
-
In proceedings
Authors:
Vitor Nogueira
,
Salvador Abreu
Book title:
14th International Symposium on Temporal Representation (TIME 2007)
Series:
-
Publisher:
IEEE
Address:
-
Volume:
-
Pages:
191
ISBN:
978-0-7695-2836-6
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
Vitor Nogueira and Salvador Abreu, Modularity and Temporal Reasoning: A Logic Programming Approach, , 14th International Symposium on Temporal Representation (TIME 2007), IEEE, ISBN 978-0-7695-2836-6, Pag. 191, June 2007.
HTML:
<a href="/people/members/view.php?code=6ac54233bd0e32e42cf8041a556fcbb0" class="author">Vitor Nogueira</a> and <a href="/people/members/view.php?code=e927e6f7f16b0d293c89324129b1ea0e" class="author">Salvador Abreu</a>, <b>Modularity and Temporal Reasoning: A Logic Programming Approach</b>, <u>14th International Symposium on Temporal Representation (TIME 2007)</u>, <a href="http://www.ieee.org/" title="Link to external entity..." target="_blank" class="publisher">IEEE</a>, ISBN 978-0-7695-2836-6, Pag. 191, June 2007.
BibTeX:
@inproceedings {NogueiraA07:time, author = {Vitor Nogueira and Salvador Abreu}, title = {Modularity and Temporal Reasoning: A Logic Programming Approach}, booktitle = {14th International Symposium on Temporal Representation (TIME 2007)}, publisher = {IEEE}, pages = {191}, isbn = {978-0-7695-2836-6}, month = {June}, year = {2007}, }
Publication's urls
Full url:
/publications/view.php?code=5dce8deabd85e26a307b681041157f1b
Friendly url:
/publications/view.php?code=NogueiraA07:time
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541