Travelled to:
1 × Germany
Collaborated with:
S.Costantini G.A.Lanzarone
Talks about:
semant (1) assert (1) stabl (1) model (1) lemma (1)
Person: Giuseppe Magliocco
DBLP: Magliocco:Giuseppe
Contributed to:
Wrote 1 papers:
- JICSLP-1996-CostantiniLM #semantics
- Asserting Lemmas in the Stable Model Semantics (SC, GAL, GM), pp. 438–452.