( en | de | ru )

 

Disambiguation of "Oetsch, Johannes"

Author of the publication

copydeleteadd this publication to your clipboard
The Fourth Answer Set Programming Competition: Preliminary Report.

, , , , , , , , , , , , , , , , , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 42-53. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Johannes

Johannes

Johannes

Johannes

Johannes

 

Other publications of authors with the same name

The system Kato: Detecting cases of plagiarism for answer-set programs., , , and . Theory Pract. Log. Program., 10 (4-6): 759-775 (2010)A Neuro-Symbolic ASP Pipeline for Visual Question Answering., , , and . Theory Pract. Log. Program., 22 (5): 739-754 (2022)A Modular Neurosymbolic Approach for Visual Graph Question Answering., , and . NeSy, volume 3432 of CEUR Workshop Proceedings, page 139-149. CEUR-WS.org, (2023)A Knowledge Representation Perspective on Activity Theory., and . CoRR, (2018)Large-Neighbourhood Search for Optimisation in Answer-Set Solving., , , , , and . AAAI, page 5616-5625. AAAI Press, (2022)Program Correspondence under the Answer-Set Semantics: The Non-ground Case., and . ICLP, volume 5366 of Lecture Notes in Computer Science, page 591-605. Springer, (2008)Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison., , , , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 242-247. Springer, (2011)Stepwise Debugging of Description-Logic Programs., , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 492-508. Springer, (2012)Stepping through an Answer-Set Program., , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 134-147. Springer, (2011)Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection., , and . AAAI, page 458-464. AAAI Press, (2007)