Delta Prolog: A Distributed Backtracking Extension with Events. - Luís Moniz Pereira; Luís Monteiro; José C. Cunha; Joaquim Nunes Aparício (ICLP, 1986)

Relevant Counterfactuals. - Luís Moniz Pereira; Joaquim Nunes Aparício (EPIA, 1989)

The Extended Stable Models of Contradiction Removal Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (EPIA, 1991)

Nonmonotonic Reasoning with Well Founded Semantics. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (ICLP, 1991)

Derivation Procedures for Extended Stable Models. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (IJCAI, 1991)

Contradiction Removal within Well Founded Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (LPNMR, 1991)

A Practical Introduction to Well Founded Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (SCAI, 1991)

Hypothetical Reasoning with Well Founded Semantics. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (SCAI, 1991)

Counterfactual Reasoning Based on Revising Assumptions. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (ISLP, 1991)

Adding Closed World Assumptions to Well Founded Semantics. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (FGCS, 1992)

Default Theory for Well Founded Semantics with Explicit Negation. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (JELIA, 1992)

Contradiction Removal Semantics with Explicit Negation. - Luís Moniz Pereira; José Júlio Alferes; Joaquim Nunes Aparício (Logic at Work, 1992)

Logic Programming for Non-Monotonic Reasoning. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (Logic at Work, 1992)

Assumption Set Semantics (The Procedures). - Joaquim Nunes Aparício (EPIA, 1993)

Assumption Set Semantics. - Joaquim Nunes Aparício (ILPS, 1993)

Non-Monotonic Reasoning with Logic Programming. - Luís Moniz Pereira; Joaquim Nunes Aparício; José Júlio Alferes (J. Log. Program., 1993)

Expressing Population Based Optimization Heuristics Using PLATO. - Luís Correia 001; Fernando Moura-Pires; Joaquim Nunes Aparício (EPIA, 1999)

Populations are Multisets-PLATO. - Joaquim Nunes Aparício; Luís Correia 001; Fernando Moura-Pires (GECCO, 1999)

Developing a Web Scheduling System Based on XML Modeling. - Leonilde Rocha Varela; Joaquim Nunes Aparício; Sílvio do Carmo Silva (BASYS, 2002)

An XML Knowledge Base System for Scheduling Problems. - Leonilde Rocha Varela; Joaquim Nunes Aparício; Sílvio do Carmo Silva (IICS, 2002)

A Formal Model for Object-Relational Databases. - Valéria Magalhães Pequeno; Joaquim Nunes Aparício (ICEIS (1), 2003)

Scheduling Decision-Making Using Web Service. - Leonilde Rocha Varela; Sílvio do Carmo Silva; Joaquim Nunes Aparício (ICETE (1), 2004)

A Distributed Knowledge Base for Manufacturing Scheduling. - Maria Leonilde R. Varela; Joaquim Nunes Aparício; Sílvio do Carmo Silva (BASYS, 2004)

A Web Interface for Accessing Scheduling Methods in a Distributed Knowledge Base. - Maria Leonilde R. Varela; Joaquim Nunes Aparício; Sílvio do Carmo Silva (Virtual Enterprises and Collaborative Networks, 2004)

Using Correspondence Assertions to Specify the Semantics of Views in an Object-Relational Data Warehouse. - Valéria Magalhães Pequeno; Joaquim Nunes Aparício (ICEIS (1), 2005)