Joaquim Nunes Aparício

26 papers A* 1A 1B 4Misc 4Journal 2Unranked 14
YearRankTypeTitle / Venue / Authors
2005 — conf
Using Correspondence Assertions to Specify the Semantics of Views in an Object-Relational Data Warehouse.
ICEIS (1)
Valéria Magalhães Pequeno, Joaquim Nunes Aparício
2004 — conf
A Distributed Knowledge Base for Manufacturing Scheduling.
BASYS
Maria Leonilde R. Varela, Joaquim Nunes Aparício, Sílvio do Carmo Silva
2004 — conf
A Web Interface for Accessing Scheduling Methods in a Distributed Knowledge Base.
Virtual Enterprises and Collaborative Networks
Maria Leonilde R. Varela, Joaquim Nunes Aparício, Sílvio do Carmo Silva
2004 — conf
Scheduling Decision-Making Using Web Service.
ICETE (1)
Leonilde Rocha Varela, Sílvio do Carmo Silva, Joaquim Nunes Aparício
2003 — conf
A Formal Model for Object-Relational Databases.
ICEIS (1)
Valéria Magalhães Pequeno, Joaquim Nunes Aparício
2002 — conf
An XML Knowledge Base System for Scheduling Problems.
IICS
Leonilde Rocha Varela, Joaquim Nunes Aparício, Sílvio do Carmo Silva
2002 — conf
Developing a Web Scheduling System Based on XML Modeling.
BASYS
Leonilde Rocha Varela, Joaquim Nunes Aparício, Sílvio do Carmo Silva
1999 Misc conf
Expressing Population Based Optimization Heuristics Using PLATO.
EPIA
Luís Correia, Fernando Moura-Pires, Joaquim Nunes Aparício
1999 A conf
Populations are Multisets-PLATO.
GECCO
Joaquim Nunes Aparício, Luís Correia, Fernando Moura-Pires
1994 J jnl
Adding Closed World Assumptions to Well-Founded Semantics.
Theor. Comput. Sci.
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1993 Misc conf
Assumption Set Semantics (The Procedures).
EPIA
Joaquim Nunes Aparício
1993 — conf
Assumption Set Semantics.
ILPS
Joaquim Nunes Aparício
1993 J jnl
Non-Monotonic Reasoning with Logic Programming.
J. Log. Program.
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1992 — conf
Adding Closed World Assumptions to Well Founded Semantics.
FGCS
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1992 — conf
Contradiction Removal Semantics with Explicit Negation.
Logic at Work
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1992 B conf
Default Theory for Well Founded Semantics with Explicit Negation.
JELIA
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1992 — conf
Logic Programming for Non-Monotonic Reasoning.
Logic at Work
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991 — conf
A Practical Introduction to Well Founded Semantics.
SCAI
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1991 B conf
Contradiction Removal within Well Founded Semantics.
LPNMR
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1991 — conf
Counterfactual Reasoning Based on Revising Assumptions.
ISLP
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991 A* conf
Derivation Procedures for Extended Stable Models.
IJCAI
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991 — conf
Hypothetical Reasoning with Well Founded Semantics.
SCAI
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991 B conf
Nonmonotonic Reasoning with Well Founded Semantics.
ICLP
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
1991 Misc conf
The Extended Stable Models of Contradiction Removal Semantics.
EPIA
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
1989 Misc conf
Relevant Counterfactuals.
EPIA
Luís Moniz Pereira, Joaquim Nunes Aparício
1986 B conf
Delta Prolog: A Distributed Backtracking Extension with Events.
ICLP
Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício