Johannes Oetsch

Cited by

	All	Since 2019
Citations	699	273
h-index	15	10
i10-index	23	12

20072008200920102011201220132014201520162017201820192020202120222023202413 9 12 8 48 55 49 44 60 29 30 44 59 38 35 37 57 46

Public access

View all

28 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
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.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 InformaticsVerified 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 RiccaFull 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

Department of Computing, Jonkoping University

Verified email at ju.se

Knowledge Representation and Reasoning Neurosymbolic AI 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	80	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	71	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	40	2011
Stepping through an answer-set program J Oetsch, J Pührer, H Tompits Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011	39	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	36	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	30	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	29	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	27	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	25	2012
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	24	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
On testing answer-set programs T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits ECAI 2010, 951-956, 2010	24	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	20	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 International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011	19	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
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	15	2011
A neuro-symbolic ASP pipeline for visual question answering T Eiter, N Higuera, J Oetsch, M Pritz Theory and Practice of Logic Programming 22 (5), 739-754, 2022	14	2022
ccT: 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
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	13	2006

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