BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Apar=iacute=cio:Joaquim_Nunes

Contributed to:

ICEIS v1 20052005
ICEIS v1 20032003
ILPS 19931993
ICLP 19911991
ILPS 19911991
ICLP 19861986

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.