BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: P=uuml=hrer:J=ouml=rg

Contributed to:

ICLP 20132013
ICLP 20122012
ICLP 20122012
KR 20122012
ICLP 20102010
ICLP 20102010
ICLP 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.