 | 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 |  | 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 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page