BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × Japan
2 × USA
Collaborated with:
S.Costantini J.Barklund P.Dell'Acqua G.Magliocco
Talks about:
reflect (3) semant (3) properti (2) resolut (2) sld (2) constraint (1) satisfact (1) program (1) assert (1) stabl (1)

Person: Gaetano Aurelio Lanzarone

DBLP DBLP: Lanzarone:Gaetano_Aurelio

Contributed to:

JICSLP 19961996
ICLP 19951995
ILPS 19951995
ICLP 19941994
ILPS 19941994

Wrote 5 papers:

JICSLP-1996-CostantiniLM #semantics
Asserting Lemmas in the Stable Model Semantics (SC, GAL, GM), pp. 438–452.
ICLP-1995-BarklundDCL #semantics
Semantical Properties of SLD-Resolution with Reflection (JB, PD, SC, GAL), p. 830.
ILPS-1995-BarklundDCL #encoding #logic programming #semantics
Semantical Properties of Encodings in Logic Programming (JB, PD, SC, GAL), pp. 288–302.
ICLP-1994-BarklundDCL #constraints
Reflection through Constraint Satisfaction (JB, PD, SC, GAL), p. 742.
ILPS-1994-BarklundDCL #named
SLD — Resolution with Reflection (JB, PD, SC, GAL), pp. 554–568.

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.