Vitor Manuel Beires Pinto Nogueira


AuthID: R-000-HKX

Confirmed Publications: 33



21
TITLE: ISTO: A language for temporal organizational information systems
AUTHORS: Nogueira, V ; Abreu, S ;
PUBLISHED: 2011, SOURCE: 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6547 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
22
TITLE: Integrating Temporal Annotations in a Modular Logic Language  Full Text
AUTHORS: Vitor Nogueira ; Salvador Abreu ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
23
TITLE: Modularity and temporal reasoning: a logic programming approach  Full Text
AUTHORS: Vitor Nogueira ; Salvador Abreu ;
PUBLISHED: 2007, SOURCE: 14th International Symposium on Temporal Representation and Reasoning in TIME 2007: 14th International Symposium on Temporal Representation and Reasoning, Proceedings
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
24
TITLE: Temporal Contextual Logic Programming
AUTHORS: Vítor Nogueira ; Salvador Abreu ;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 177, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
25
TITLE: Towards Structured Contexts and Modules
AUTHORS: Salvador Abreu ; Vítor Nogueira ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming, ICLP 2006 in Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, VOLUME: 4079
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
26
TITLE: Towards structured contexts and modules (Extended abstract)
AUTHORS: Salvador Abreu ; Vitor Nogueira ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079
INDEXED IN: WOS
27
TITLE: Towards temporal contextual logic programming
AUTHORS: Vitor Nogueira ; Salvador Abreu ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
28
TITLE: Using a logic programming language with persistence and contexts
AUTHORS: Salvador Abreu ; Vitor Nogueira ;
PUBLISHED: 2006, SOURCE: 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005) in Declarative Programming for Knowledge Management, VOLUME: 4369
INDEXED IN: WOS
29
TITLE: A temporal programming language for heterogeneous information systems
AUTHORS: Nogueira, V ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
30
TITLE: Using a Logic Programming Language with Persistence and Contexts
AUTHORS: Salvador Abreu ; Vítor Nogueira ;
PUBLISHED: 2005, SOURCE: Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers, VOLUME: 4369
INDEXED IN: DBLP CrossRef
IN MY: DBLP
Página 3 de 4. Total de resultados: 33.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service