| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | ![Bauer-2023-Neuro-Symbolic Visual Graph Question Answering with LLMs for L...-vor.pdf.jpg](/retrieve/305774/Bauer-2023-Neuro-Symbolic%20Visual%20Graph%20Question%20Answering%20with%20LLMs%20for%20L...-vor.pdf.jpg) | Bauer, Jakob Johannes ; Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes | Neuro-Symbolic Visual Graph Question Answering with LLMs for Language Parsing | Presentation Vortrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 21-Nov-2023 |
| 2 | | Eiter, Thomas ; Geibinger, Tobias | Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract) | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | Nov-2023 |
| 3 | | Eiter, Thomas ; Geibinger, Tobias ; Oetsch, Johannes | Contrastive Explanations for Answer-Set Programs | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | Sep-2023 |
| 4 | | Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Oetsch, Johannes | A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | Aug-2023 |
| 5 | | Eiter, Thomas ; Geibinger, Tobias | Explaining Answer-Set Programs with Abstract Constraint Atoms | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | Aug-2023 |
| 6 | | Eiter, Thomas ; Kiesel, Rafael Peter David | Semiring Reasoning Frameworks in AI and Their Computational Complexity | Article Artikel ![peer reviewed](/image/PeerReview_Icon.png) | 31-May-2023 |
| 7 | ![BOZZATO-2023-Contextual Reasoning for Scene Generation Technical Report-vor.pdf.jpg](/retrieve/305889/BOZZATO-2023-Contextual%20Reasoning%20for%20Scene%20Generation%20Technical%20Report-vor.pdf.jpg) | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Contextual Reasoning for Scene Generation. Technical Report | Report Bericht ![Volltext verfügbar](/image/Volltext_Icon.png) | 3-May-2023 |
| 8 | | Wang, Yisong ; Eiter, Thomas ; Zhang, Yuanlin ; Lin, Fangzhen | Witnesses for Answer Sets of Logic Programs | Article Artikel ![peer reviewed](/image/PeerReview_Icon.png) | 27-Jan-2023 |
| 9 | | EITER, THOMAS ; GEIBINGER, TOBIAS ; MUSLIU, NYSRET ; OETSCH, JOHANNES ; SKOČOVSKÝ, PETER ; STEPANOVA, DARIA | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling | Article Artikel ![peer reviewed](/image/PeerReview_Icon.png) | 26-Jan-2023 |
| 10 | | EITER, THOMAS ; MAHER, MICHAEL ; PONTELLI, ENRICO ; DE RAEDT, LUC ; TRUSZCZYNSKI, MIROSLAW | The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II | Article Artikel | Jan-2023 |
| 11 | | Ciabattoni, Agata ; Eiter, Thomas ; Hatschka, Christian | Deontic Paradoxes in ASP with Weak Constraints | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | 2023 |
| 12 | ![BOZZATO-2023-Semantically Guided Scene Generation via Contextual Reasonin...-vor.pdf.jpg](/retrieve/305090/BOZZATO-2023-Semantically%20Guided%20Scene%20Generation%20via%20Contextual%20Reasonin...-vor.pdf.jpg) | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 2023 |
| 13 | ![Kiesel-2023-Knowledge Compilation and More with SharpSAT-TD-vor.pdf.jpg](/retrieve/305382/Kiesel-2023-Knowledge%20Compilation%20and%20More%20with%20SharpSAT-TD-vor.pdf.jpg) | Kiesel, Rafael ; Eiter, Thomas | Knowledge Compilation and More with SharpSAT-TD | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 2023 |
| 14 | | Soldà, Davide ; Lopez-Miguel, Ignacio D. ; Bartocci, Ezio ; Eiter, Thomas | Progression for Monitoring in Temporal ASP | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 2023 |
| 15 | ![Eiter-2023-A modular neurosymbolic approach for visual graph question ans...-vor.pdf.jpg](/retrieve/305086/Eiter-2023-A%20modular%20neurosymbolic%20approach%20for%20visual%20graph%20question%20ans...-vor.pdf.jpg) | Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes | A modular neurosymbolic approach for visual graph question answering | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 2023 |
| 16 | | Eiter, Thomas | Enhancing AI Capabilities by Rules: Challenges and Opportunities | Presentation Vortrag | 13-Dec-2022 |
| 17 | | Wang, Yisong ; Eiter, Thomas ; Yuanlin Zhang ; Lin, Fangzhen | Witnesses for Answer Sets of Logic Programs | Presentation Vortrag | 29-Nov-2022 |
| 18 | | Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas | Elaboration for Neurosymbolic Compuation | Presentation Vortrag | 29-Nov-2022 |
| 19 | | Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria | ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract) | Inproceedings Konferenzbeitrag | 28-Nov-2022 |
| 20 | | Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas | Representing Normative Reasoning in Answer Set Programming Using Weak Constraints | Presentation Vortrag | 28-Nov-2022 |