Travelled to:1 × Hungary
1 × United Kingdom
2 × Italy
Collaborated with:H.Tompits J.Pührer M.Schwengerer P.Busoniu P.Skocovsky M.D.Vos D.G.Kisa M.Prischink
Talks about:program (8) answer (8) set (8) semant (2) ground (2) debug (2) case (2) non (2) methodolog (1) correspond (1)
Person: Johannes Oetsch
DBLP: Oetsch:Johannes
Contributed to:
201320122012
2012201020102008Wrote 8 papers:
- ICLP-J-2013-BusoniuOPST #debugging #ide #named #programming
- SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support (PAB, JO, JP, PS, HT), pp. 657–673.
- ICLP-2012-OetschPT #constraints #semantics #source code
- An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions (JO, JP, HT), pp. 222–234.
- ICLP-J-2012-VosKOPT #source code
- Annotating answer-set programs in Lana (MDV, DGK, JO, JP, HT), pp. 619–637.
- KR-2012-OetschPPST #on the #source code #testing
- On the Small-Scope Hypothesis for Testing Answer-Set Programs (JO, MP, JP, MS, HT).
- ICLP-2010-OetschPT10 #source code
- Methods and Methodologies for Developing Answer-Set Programs — Project Description (JO, JP, HT), pp. 154–161.
- ICLP-J-2010-OetschPST #detection #source code
- The system Kato: Detecting cases of plagiarism for answer-set programs (JO, JP, MS, HT), pp. 759–775.
- ICLP-J-2010-OetschPT #debugging #source code
- Catching the Ouroboros: On debugging non-ground answer-set programs (JO, JP, HT), pp. 513–529.
- ICLP-2008-OetschT #semantics
- Program Correspondence under the Answer-Set Semantics: The Non-ground Case (JO, HT), pp. 591–605.