Travelled to:1 × Canada
1 × United Kingdom
2 × France
2 × USA
Collaborated with:V.M.Pequeno L.M.Pereira J.J.Alferes ∅ L.Monteiro J.C.Cunha
Talks about:semant (3) assumpt (2) reason (2) object (2) relat (2) counterfactu (1) nonmonoton (1) correspond (1) distribut (1) backtrack (1)
Person: Joaquim Nunes Aparício
DBLP: Apar=iacute=cio:Joaquim_Nunes
Contributed to:
20052003
1993199119911986Wrote 6 papers:
- ICEIS-v1-2005-PequenoA #semantics #using
- Using Correspondence Assertions to Specify the Semantics of Views in an Object-Relational Data Warehouse (VMP, JNA), pp. 219–225.
- ICEIS-v1-2003-PequenoA #database #formal method
- A Formal Model for Object-Relational Databases (VMP, JNA), pp. 327–333.
- ILPS-1993-Aparicio #semantics #set
- Assumption Set Semantics (JNA), p. 639.
- ICLP-1991-PereiraAA #reasoning #semantics
- Nonmonotonic Reasoning with Well Founded Semantics (LMP, JNA, JJA), pp. 475–489.
- ISLP-1991-PereiraAA #reasoning
- Counterfactual Reasoning Based on Revising Assumptions (LMP, JNA, JJA), pp. 566–577.
- ICLP-1986-PereiraMCA86 #backtracking #distributed #prolog
- Delta Prolog: A Distributed Backtracking Extension with Events (LMP, LM, JCC, JNA), pp. 69–83.