Johannes Oetsch

Facts do not cease to exist because they are ignored: relativised uniform equivalence with answer-set projection

Johannes Oetsch, Hans Tompits, Stefan Woltran · 2007 · 25 citations

Computing, Computer Science, Formal Methods +10

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support

PAULA-ANDRA BUSONIU, Johannes Oetsch, Jörg Pührer et al. · Theory and Practice of Logic Programming · 2013 · 24 citations

Computing, Computer Science, Programming Languages +10

Answer-Set Programming as a new Approach to Event-Sequence Testing

Esra Erdem, Katsumi Inoue, Johannes Oetsch et al. · 2011 · 24 citations

Computing, Computer Engineering, Computer Science +9

A Neuro-Symbolic ASP Pipeline for Visual Question Answering

Thomas Eiter, Nelson Higuera, Johannes Oetsch et al. · Theory and Practice of Logic Programming · 2022 · 21 citations

Computing, Computer Science, Artificial Intelligence +13

Event-sequence testing using answer-set programming

Martin Barin, Esra Erdem, Katsumi Inoue et al. · Journal of Cardiac Surgery · 2012 · 20 citations

Computing, Computer Engineering, Computer Science +14