Johannes Oetsch
Título
Citado por
Citado por
Ano
Catching the ouroboros: On debugging non-ground answer-set programs
J Oetsch, J Pührer, H Tompits
arXiv preprint arXiv:1007.4986, 2010
642010
The fourth answer set programming competition: Preliminary report
M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ...
International Conference on Logic Programming and Nonmonotonic Reasoning, 42-53, 2013
612013
Stepping through an answer-set program
J Oetsch, J Pührer, H Tompits
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
322011
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
C Kloimüllner, J Oetsch, J Pührer, H Tompits
Applications of Declarative Programming and Knowledge Management, 325-344, 2011
292011
Facts do not cease to exist because they are ignored: Relativised uniform equivalence with answer-set projection
J Oetsch, H Tompits, S Woltran
AAAI, 458-464, 2007
272007
Answer-set programming as a new approach to event-sequence testing
E Erdem, K Inoue, J Oetsch, J Pührer, H Tompits, C Yılmaz
IARIA, 2011
262011
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support.
PA Busoniu, J Oetsch, J Pührer, P Skocovsky, H Tompits
Theory Pract. Log. Program. 13 (4-5), 657-673, 2013
232013
The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report
J Oetsch, J Pührer, H Tompits
Applications of Declarative Programming and Knowledge Management, 305-324, 2011
202011
On Testing Answer-Set Programs.
T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits
ECAI, 951-956, 2010
192010
On the small-scope hypothesis for testing answer-set programs
J Oetsch, M Prischink, J Pührer, M Schwengerer, H Tompits
Thirteenth International Conference on the Principles of Knowledge …, 2012
172012
Random vs. structure-based testing of answer-set programs: An experimental comparison
T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
172011
Annotating Answer-Set Programs in LANA?
M De Vos, DG Kıza, J Oetsch, J Pührer, H Tompits
arXiv preprint arXiv:1210.2195, 2012
162012
VIDEAS: A development tool for answer-set programs based on model-driven engineering technology
J Oetsch, J Pührer, M Seidl, H Tompits, P Zwickl
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
152011
Program correspondence under the answer-set semantics: The non-ground case
J Oetsch, H Tompits
International Conference on Logic Programming, 591-605, 2008
152008
Event-sequence testing using answer-set programming
M Brain, E Erdem, K Inoue, J Oetsch, J Pührer, H Tompits, C Yilmaz
International Journal on Advances in Software Volume 5, 2012
142012
cc {\rm T}: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming
J Oetsch, M Seidl, H Tompits, S Woltran
2006 15th International Conference on Computing, 3-10, 2006
132006
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
M Triska, N Musliu
Annals of Operations Research 194 (1), 413-425, 2012
12*2012
Gentzen-type refutation systems for three-valued logics with an application to disproving strong equivalence
J Oetsch, H Tompits
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
102011
The system Kato: Detecting cases of plagiarism for answer-set programs
J Oetsch, J Pührer, M Schwengerer, H Tompits
arXiv preprint arXiv:1007.4971, 2010
102010
cc⊤: a correspondence-checking tool for logic programs under the answer-set semantics
J Oetsch, M Seidl, H Tompits, S Woltran
European Workshop on Logics in Artificial Intelligence, 502-505, 2006
92006
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20