Author of the publication

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.

 

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)Large-Neighbourhood Search for Optimisation in Answer-Set Solving., , , , , and . AAAI, page 5616-5625. AAAI Press, (2022)A Knowledge Representation Perspective on Activity Theory., and . CoRR, (2018)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)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)A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering., , , and . IJCAI, page 3668-3676. ijcai.org, (2023)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)