2007 |
7 | EE | Vítor Nogueira,
Salvador Abreu:
Modularity and Temporal Reasoning: A Logic Programming Approach.
TIME 2007: 191 |
6 | EE | Vítor Nogueira,
Salvador Abreu:
Temporal Contextual Logic Programming.
Electr. Notes Theor. Comput. Sci. 177: 219-233 (2007) |
2006 |
5 | EE | Salvador Abreu,
Vítor Nogueira:
Towards Structured Contexts and Modules.
ICLP 2006: 436-438 |
4 | EE | Vítor Nogueira,
Salvador Abreu:
Towards Temporal Contextual Logic Programming.
ICLP 2006: 439-441 |
2005 |
3 | EE | Vítor Nogueira:
A Temporal Programming Language for Heterogeneous Information Systems.
ICLP 2005: 444-445 |
2 | EE | Salvador Abreu,
Vítor Nogueira:
Using a Logic Programming Language with Persistence and Contexts.
INAP 2005: 38-47 |
2003 |
1 | | Vítor Nogueira,
Salvador Abreu,
Gabriel David:
Using Contextual Logic Programming for Temporal Reasoning.
JISBD 2003: 479-490 |