Travelled to:1 × Italy
Collaborated with:∅ J.B.Remmel
Talks about:lifschitz (1) program (1) gelfond (1) continu (1) theori (1) applic (1) answer (1) proof (1) other (1) vadi (1)
Person: Victor W. Marek
DBLP: Marek:Victor_W=
Contributed to:
2008Wrote 2 papers:
- ICLP-2008-Marek #programming #question #set
- Quo Vadis Answer Set Programming? (VWM), pp. 83–87.
- ICLP-2008-MarekR #on the
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (VWM, JBR), pp. 223–237.