Travelled to:1 × Hungary
1 × United Kingdom
2 × Italy
Collaborated with:H.Tompits J.Oetsch M.Schwengerer S.Woltran P.Busoniu P.Skocovsky M.D.Vos D.G.Kisa M.Prischink
Talks about:program (8) answer (8) set (8) disjunct (2) debug (2) hyperequival (1) methodolog (1) constraint (1) hypothesi (1) ouroboro (1)
Person: Jörg Pührer
DBLP: P=uuml=hrer:J=ouml=rg
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-PuhrerTW #source code
- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence (JP, HT, SW), pp. 561–575.