Johannes Oetsch

Cited by

	All	Since 2018
Citations	644	264
h-index	15	10
i10-index	20	10

2007200820092010201120122013201420152016201720182019202020212022202313 8 12 8 47 55 47 45 61 30 29 45 58 35 35 32 59

Public access

View all

27 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Hans TompitsAssociate Professor of Computer Science, Vienna University of TechnologyVerified email at kr.tuwien.ac.at
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Tobias GeibingerProject Assistant, TU WienVerified email at tuwien.ac.at
Nysret MusliuFaculty of Informatics, TU Wien (Vienna University of Technology)Verified email at dbai.tuwien.ac.at
Daria StepanovaLead Research Scientist at Bosch Center for Artitificial IntelligenceVerified email at de.bosch.com
Tomi JanhunenTampere University, FinlandVerified email at tuni.fi
Katsumi InoueNational Institute of Informatics / SOKENDAI / Tokyo Institute of TechnologyVerified email at nii.ac.jp
Esra ErdemSabanci UniversityVerified email at sabanciuniv.edu
Cemal YilmazProfessor of Computer Science, Sabanci University, TurkeyVerified email at sabanciuniv.edu
Christian KloimüllnerTU WienVerified email at ac.tuwien.ac.at
Francesco RiccaAssociate professor of computer science, University of CalabriaVerified email at mat.unical.it
Giovambattista IanniProfessor of Computer Science, Università della CalabriaVerified email at unical.it
Francesco CalimeriAssociate Professor of Computer Science, University of Calabria (UNICAL), ItalyVerified email at unical.it
Lara Katharina SpendierPhD candidate in Computational Logic, Vienna University of TechnologyVerified email at tuwien.ac.at
Carmine DodaroDepartment of Mathematics and Computer Science, University of CalabriaVerified email at mat.unical.it
Patrik SchneiderSiemens T, Germany and TU Wien, AustriaVerified email at kr.tuwien.ac.at
Thomas KrennwallnerAivenVerified email at postsubmeta.net
Christoph RedlUniversity of Applied Sciences Technikum Wien (senior lecturer and researcher)Verified email at technikum-wien.at
Guohui XiaoAssociate Professor of Computer Science, University of Bergen, NorwayVerified email at uib.no

Johannes Oetsch

Institute of Logic and Computation, TU Wien

Verified email at tuwien.ac.at

Artificial Intelligence Knowledge Representation and Reasoning Neuro-Symbolic Computation Answer-Set Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	77	2010
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	70	2013
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	38	2011
Stepping through an answer-set program J Oetsch, J Pührer, H Tompits Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011	38	2011
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	31	2013
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	29	2011
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	28	2007
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	25	2012
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	24	2011
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	22	2012
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	22	2012
On testing answer-set programs T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits ECAI 2010, 951-956, 2010	22	2010
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	19	2011
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	18	2011
Program correspondence under the answer-set semantics: The non-ground case J Oetsch, H Tompits International Conference on Logic Programming, 591-605, 2008	16	2008
Stepwise debugging of answer-set programs J Oetsch, J Pührer, H Tompits Theory and Practice of Logic Programming 18 (1), 30-80, 2018	15	2018
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	14	2006
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	12	2011
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	12	2006
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	10	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors