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 |
1 | Salvador Abreu | [1] [2] [4] [5] [6] [7] |
2 | Gabriel David | [1] |