Следене
Johannes Oetsch
Johannes Oetsch
Institute of Logic and Computation, TU Wien
Потвърден имейл адрес: tuwien.ac.at
Заглавие
Позовавания
Позовавания
Година
Catching the ouroboros: On debugging non-ground answer-set programs
J Oetsch, J Pührer, H Tompits
Theory and Practice of Logic Programming 10 (4-6), 513-529, 2010
762010
The fourth answer set programming competition: Preliminary report
M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ...
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
702013
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
C Kloimüllner, J Oetsch, J Pührer, H Tompits
International Conference on Applications of Declarative Programming and …, 2011
382011
Stepping through an answer-set program
J Oetsch, J Pührer, H Tompits
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
382011
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support
PA Busoniu, J Oetsch, J Pührer, P SKOČOVSKÝ, H Tompits
Theory and Practice of Logic Programming 13 (4-5), 657-673, 2013
312013
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
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
282007
The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report
J Oetsch, J Pührer, H Tompits
International Conference on Applications of Declarative Programming and …, 2011
242011
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
232012
Annotating answer-set programs in lana
M De Vos, DG Kisa, J Oetsch, J Pührer, H Tompits
Theory and Practice of Logic Programming 12 (4-5), 619-637, 2012
222012
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 5 (3&4), 2012
222012
On testing answer-set programs
T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits
ECAI 2010, 951-956, 2010
222010
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
192011
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
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
182011
Program correspondence under the answer-set semantics: The non-ground case
J Oetsch, H Tompits
International Conference on Logic Programming, 591-605, 2008
162008
Stepwise debugging of answer-set programs
J Oetsch, J Pührer, H Tompits
Theory and Practice of Logic Programming 18 (1), 30-80, 2018
142018
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
142011
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
142006
The system Kato: Detecting cases of plagiarism for answer-set programs
J Oetsch, J Pührer, M Schwengerer, H Tompits
Theory and Practice of Logic Programming 10 (4-6), 759-775, 2010
102010
cc⊤: a correspondence-checking tool for logic programs under the answer-set semantics
J Oetsch, M Seidl, H Tompits, S Woltran
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 …, 2006
102006
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20