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: Lanzarone:Gaetano_Aurelio
Contributed to:
19961995199519941994Wrote 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.