The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Johannes Oetsch Johannes Ötsch ( http://dblp.L3S.de/Authors/Johannes_Oetsch )

  Author page on DBLP  Author page in RDF  Community of Johannes Oetsch in ASPL-2

Publication years (Num. hits)
2006-2011 (21) 2012-2018 (14)
Publication types (Num. hits)
article(14) inproceedings(20) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 36 publication records. Showing 35 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Johannes Oetsch, Juan Carlos Nieves A Knowledge Representation Perspective on Activity Theory. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Stepwise debugging of answer-set programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Stepwise Debugging of Answer-Set Programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexander Greßler, Johannes Oetsch, Hans Tompits \mathsf Harvey : A System for Random Testing in ASP. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Uwe Egly, Florian Lonsing, Johannes Oetsch Automated Benchmarking of Incremental SAT and QBF Solvers. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Uwe Egly, Florian Lonsing, Johannes Oetsch Automated Benchmarking of Incremental SAT and QBF Solvers. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paula-Andra Busoniu, Johannes Oetsch, Jörg Pührer, Peter Skocovsky, Hans Tompits SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao The Fourth Answer Set Programming Competition: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf (eds.) Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers Search on Bibsonomy INAP/WLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits Annotating Answer-Set Programs in LANA? Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits Annotating answer-set programs in Lana. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Stepwise Debugging of Description-Logic Programs. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits On the Small-Scope Hypothesis for Testing Answer-Set Programs. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Johannes Oetsch, Hans Tompits Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Stepping through an Answer-Set Program. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Catching the Ouroboros: On debugging non-ground answer-set programs. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits The system Kato: Detecting cases of plagiarism for answer-set programs. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Methods and Methodologies for Developing Answer-Set Programs - Project Description. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits On Testing Answer-Set Programs. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Hans Tompits Program Correspondence under the Answer-Set Semantics: The Non-ground Case. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Hans Tompits, Stefan Woltran Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #1 - #35 of 35 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license