2005 |
26 | | Valéria Magalhães Pequeno,
Joaquim Nunes Aparício:
Using Correspondence Assertions to Specify the Semantics of Views in an Object-Relational Data Warehouse.
ICEIS (1) 2005: 219-225 |
2004 |
25 | EE | Maria Leonilde R. Varela,
Joaquim Nunes Aparício,
Sílvio do Carmo Silva:
A Distributed Knowledge Base for Manufacturing Scheduling.
BASYS 2004: 323-330 |
24 | | Leonilde Rocha Varela,
Sílvio do Carmo Silva,
Joaquim Nunes Aparício:
Scheduling Decision-Making Using Web Service.
ICETE (1) 2004: 169-176 |
23 | | Maria Leonilde R. Varela,
Joaquim Nunes Aparício,
Sílvio do Carmo Silva:
A Web Interface for Accessing Scheduling Methods in a Distributed Knowledge Base.
Virtual Enterprises and Collaborative Networks 2004: 469-478 |
2003 |
22 | | Valéria Magalhães Pequeno,
Joaquim Nunes Aparício:
A Formal Model for Object-Relational Databases.
ICEIS (1) 2003: 327-333 |
2002 |
21 | | Leonilde Rocha Varela,
Joaquim Nunes Aparício,
Sílvio do Carmo Silva:
Developing a Web Scheduling System Based on XML Modeling.
BASYS 2002: 61-70 |
20 | EE | Leonilde Rocha Varela,
Joaquim Nunes Aparício,
Sílvio do Carmo Silva:
An XML Knowledge Base System for Scheduling Problems.
IICS 2002: 63-74 |
1999 |
19 | | Luís Correia,
Fernando Moura-Pires,
Joaquim Nunes Aparício:
Expressing Population Based Optimization Heuristics Using PLATO.
EPIA 1999: 367-383 |
18 | | Joaquim Nunes Aparício,
Luís Correia,
Fernando Moura-Pires:
Populations are Multisets-PLATO.
GECCO 1999: 1845-1850 |
1994 |
17 | | Luís Moniz Pereira,
José Júlio Alferes,
Joaquim Nunes Aparício:
Adding Closed World Assumptions to Well-Founded Semantics.
Theor. Comput. Sci. 122(1&2): 49-68 (1994) |
1993 |
16 | | Joaquim Nunes Aparício:
Assumption Set Semantics (The Procedures).
EPIA 1993: 358 |
15 | | Joaquim Nunes Aparício:
Assumption Set Semantics.
ILPS 1993: 639 |
14 | | Luís Moniz Pereira,
Joaquim Nunes Aparício,
José Júlio Alferes:
Non-Monotonic Reasoning with Logic Programming.
J. Log. Program. 17(2/3&4): 227-263 (1993) |
1992 |
13 | | Luís Moniz Pereira,
José Júlio Alferes,
Joaquim Nunes Aparício:
Adding Closed World Assumptions to Well Founded Semantics.
FGCS 1992: 562-569 |
12 | | Luís Moniz Pereira,
José Júlio Alferes,
Joaquim Nunes Aparício:
Default Theory for Well Founded Semantics with Explicit Negation.
JELIA 1992: 339-356 |
11 | | Luís Moniz Pereira,
Joaquim Nunes Aparício,
José Júlio Alferes:
Logic Programming for Non-Monotonic Reasoning.
Logic at Work 1992: 107-121 |
10 | | Luís Moniz Pereira,
José Júlio Alferes,
Joaquim Nunes Aparício:
Contradiction Removal Semantics with Explicit Negation.
Logic at Work 1992: 91-105 |
1991 |
9 | | Luís Moniz Pereira,
José Júlio Alferes,
Joaquim Nunes Aparício:
The Extended Stable Models of Contradiction Removal Semantics.
EPIA 1991: 105-119 |
8 | | Luís Moniz Pereira,
Joaquim Nunes Aparício,
José Júlio Alferes:
Nonmonotonic Reasoning with Well Founded Semantics.
ICLP 1991: 475-489 |
7 | | Luís Moniz Pereira,
Joaquim Nunes Aparício,
José Júlio Alferes:
Derivation Procedures for Extended Stable Models.
IJCAI 1991: 863-869 |
6 | | Luís Moniz Pereira,
Joaquim Nunes Aparício,
José Júlio Alferes:
Counterfactual Reasoning Based on Revising Assumptions.
ISLP 1991: 566-577 |
5 | | Luís Moniz Pereira,
José Júlio Alferes,
Joaquim Nunes Aparício:
Contradiction Removal within Well Founded Semantics.
LPNMR 1991: 105-119 |
4 | | Luís Moniz Pereira,
José Júlio Alferes,
Joaquim Nunes Aparício:
A Practical Introduction to Well Founded Semantics.
SCAI 1991: 277-288 |
3 | | Luís Moniz Pereira,
Joaquim Nunes Aparício,
José Júlio Alferes:
Hypothetical Reasoning with Well Founded Semantics.
SCAI 1991: 289-300 |
1989 |
2 | | Luís Moniz Pereira,
Joaquim Nunes Aparício:
Relevant Counterfactuals.
EPIA 1989: 107-118 |
1986 |
1 | | Luís Moniz Pereira,
Luís Monteiro,
José C. Cunha,
Joaquim Nunes Aparício:
Delta Prolog: A Distributed Backtracking Extension with Events.
ICLP 1986: 69-83 |