Joaquim Nunes Aparício

According to our database1, Joaquim Nunes Aparício authored at least 25 papers between 1986 and 2005.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
Using Correspondence Assertions to Specify the Semantics of Views in an Object-Relational Data Warehouse.
Proceedings of the ICEIS 2005, 2005

2004
A Web Interface for Accessing Scheduling Methods in a Distributed Knowledge Base.
Proceedings of the Virtual Enterprises and Collaborative Networks, IFIP 18th World Computer Congress, TC5 / WG5.5, 2004

A Distributed Knowledge Base for Manufacturing Scheduling.
Proceedings of the Emerging Solutions for Future Manufacturing Systems, 2004

Scheduling Decision-Making Using Web Service.
Proceedings of the ICETE 2004, 2004

2003
A Formal Model for Object-Relational Databases.
Proceedings of the ICEIS 2003, 2003

2002
An XML Knowledge Base System for Scheduling Problems.
Proceedings of the Innovative Internet Computing Systems, Second International Workshop, 2002

Developing a Web Scheduling System Based on XML Modeling.
Proceedings of the Knowledge and Technology Integration in Production and Services: Balancing Knowledge in Product and Service Life Cycle, 2002

1999
Populations are Multisets-PLATO.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999

Expressing Population Based Optimization Heuristics Using PLATO.
Proceedings of the Progress in Artificial Intelligence, 1999

1994
Adding Closed World Assumptions to Well-Founded Semantics.
Theor. Comput. Sci., 1994

1993
Non-Monotonic Reasoning with Logic Programming.
J. Log. Program., 1993

Assumption Set Semantics.
Proceedings of the Logic Programming, 1993

Assumption Set Semantics (The Procedures).
Proceedings of the Progress in Artificial Intelligence, 1993

1992
Logic Programming for Non-Monotonic Reasoning.
Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992

Contradiction Removal Semantics with Explicit Negation.
Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992

Default Theory for Well Founded Semantics with Explicit Negation.
Proceedings of the Logics in AI, European Workshop, 1992

1991
Counterfactual Reasoning Based on Revising Assumptions.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Hypothetical Reasoning with Well Founded Semantics.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

A Practical Introduction to Well Founded Semantics.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

Contradiction Removal within Well Founded Semantics.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Derivation Procedures for Extended Stable Models.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Nonmonotonic Reasoning with Well Founded Semantics.
Proceedings of the Logic Programming, 1991

The Extended Stable Models of Contradiction Removal Semantics.
Proceedings of the EPIA 91, 1991

1989
Relevant Counterfactuals.
Proceedings of the EPIA 89, 1989

1986
Delta Prolog: A Distributed Backtracking Extension with Events.
Proceedings of the Third International Conference on Logic Programming, 1986


  Loading...