Travelled to:1 × Canada
1 × Ireland
Collaborated with:C.V.Damásio A.Analyti T.Eiter M.Fink
Talks about:program (2) answer (2) set (2) paracoher (1) justif (1) unifi (1) debug (1)
Person: João Moura
DBLP: Moura:Jo=atilde=o
Contributed to:
2015
2010Wrote 2 papers:
- ICLP-2015-DamasioMA #debugging #source code
- Unifying Justifications and Debugging for Answer-Set Programs (CVD, JM, AA), pp. 260–273.
- KR-2010-EiterFM #programming #set
- Paracoherent Answer Set Programming (TE, MF, JM).