Name Card

Full name Familienname, Vorname
Eiter, Thomas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 471 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bauer-2023-Neuro-Symbolic Visual Graph Question Answering with LLMs for L...-vor.pdf.jpgBauer, Jakob Johannes ; Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes Neuro-Symbolic Visual Graph Question Answering with LLMs for Language ParsingPresentation Vortrag 21-Nov-2023
2Eiter, Thomas ; Geibinger, Tobias Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract)Inproceedings Konferenzbeitrag Nov-2023
3Eiter, Thomas ; Geibinger, Tobias ; Oetsch, Johannes Contrastive Explanations for Answer-Set ProgramsInproceedings Konferenzbeitrag Sep-2023
4Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Oetsch, Johannes A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question AnsweringInproceedings Konferenzbeitrag Aug-2023
5Eiter, Thomas ; Geibinger, Tobias Explaining Answer-Set Programs with Abstract Constraint AtomsInproceedings Konferenzbeitrag Aug-2023
6Eiter, Thomas ; Kiesel, Rafael Peter David Semiring Reasoning Frameworks in AI and Their Computational ComplexityArticle Artikel 31-May-2023
7BOZZATO-2023-Contextual Reasoning for Scene Generation Technical Report-vor.pdf.jpgBozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria Contextual Reasoning for Scene Generation. Technical ReportReport Bericht 3-May-2023
8Wang, Yisong ; Eiter, Thomas ; Zhang, Yuanlin ; Lin, Fangzhen Witnesses for Answer Sets of Logic ProgramsArticle Artikel 27-Jan-2023
9EITER, THOMAS ; GEIBINGER, TOBIAS ; MUSLIU, NYSRET ; OETSCH, JOHANNES ; SKOČOVSKÝ, PETER ; STEPANOVA, DARIA Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine SchedulingArticle Artikel 26-Jan-2023
10EITER, THOMAS ; MAHER, MICHAEL ; PONTELLI, ENRICO ; DE RAEDT, LUC ; TRUSZCZYNSKI, MIROSLAW The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part IIArticle ArtikelJan-2023
11Ciabattoni, Agata ; Eiter, Thomas ; Hatschka, Christian Deontic Paradoxes in ASP with Weak ConstraintsInproceedings Konferenzbeitrag 2023
12BOZZATO-2023-Semantically Guided Scene Generation via Contextual Reasonin...-vor.pdf.jpgBozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria Semantically Guided Scene Generation via Contextual Reasoning and Algebraic MeasuresInproceedings Konferenzbeitrag 2023
13Eiter-2023-A modular neurosymbolic approach for visual graph question ans...-vor.pdf.jpgEiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes A modular neurosymbolic approach for visual graph question answeringInproceedings Konferenzbeitrag 2023
14Kiesel-2023-Knowledge Compilation and More with SharpSAT-TD-vor.pdf.jpgKiesel, Rafael ; Eiter, Thomas Knowledge Compilation and More with SharpSAT-TDInproceedings Konferenzbeitrag 2023
15Solda-2023-Progression for Monitoring in Temporal ASP-vor.pdf.jpgSoldà, Davide ; Lopez-Miguel, Ignacio D. ; Bartocci, Ezio ; Eiter, Thomas Progression for Monitoring in Temporal ASPInproceedings Konferenzbeitrag 2023
16Eiter, Thomas Enhancing AI Capabilities by Rules: Challenges and OpportunitiesPresentation Vortrag13-Dec-2022
17Wang, Yisong ; Eiter, Thomas ; Yuanlin Zhang ; Lin, Fangzhen Witnesses for Answer Sets of Logic ProgramsPresentation Vortrag29-Nov-2022
18Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas Elaboration for Neurosymbolic CompuationPresentation Vortrag29-Nov-2022
19Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract)Inproceedings Konferenzbeitrag28-Nov-2022
20Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas Representing Normative Reasoning in Answer Set Programming Using Weak ConstraintsPresentation Vortrag28-Nov-2022

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 93 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kiesel Rafael Peter David - 2024 - Streaming and Quantitative Extensions of...pdf.jpgKiesel, Rafael Peter David Streaming and Quantitative Extensions of Answer Set ProgrammingThesis Hochschulschrift 2024
2Hadl Jan - 2023 - GS-VQA Zero-Shot Neural-Symbolic Visual Question Answering...pdf.jpgHadl, Jan GS-VQA: Zero-shot neural-symbolic visual question answering with vision-language modelsThesis Hochschulschrift 2023
3Behofsics Paul - 2023 - Reboots in Lazy-Grounding ASP-Solving.pdf.jpgBehofsics, Paul Reboots in lazy-grounding ASP-solvingThesis Hochschulschrift 2023
4Warren, David S. ; Dahl, Veronica ; Eiter, Thomas ; Hermenegildo, Manuel ; Kowalski. Robert A. ; Rossi, Francesca Prolog: The Next 50 YearsBook Buch2023
5Ritter Martin Christoph - 2022 - Evaluation techniques for algebraic answer set...pdf.jpgRitter, Martin Christoph Evaluation techniques for algebraic answer set counting over idempotent semiringsThesis Hochschulschrift 2022
6Strasser Anton - 2022 - Epistemic Logic Programs.pdf.jpgStrasser, Anton Epistemic Logic ProgramsThesis Hochschulschrift 2022
7Hatschka Christian - 2022 - Representing normative reasoning in answer set...pdf.jpgHatschka, Christian Representing normative reasoning in answer set programming using weak constraintsThesis Hochschulschrift 2022
8Funk Nikolaus Manes - 2021 - Real time logics and reasoning answerset semantics...pdf.jpgFunk, Nikolaus Manes Real time logics and reasoning answerset semantics for metric temporal logicThesis Hochschulschrift 2021
9Artikis, Alexander ; Eiter, Thomas ; Margara, Alessandro ; Vansummeren, Stijn Foundations of Composite Event Recognition (Dagstuhl Seminar 20071)Konferenzband Proceedings2020
10Brocanelli Stefan - 2020 - Declarative adaptive interface monitoring.pdf.jpgBrocanelli, Stefan Declarative adaptive interface monitoringThesis Hochschulschrift 2020
11Oosterhuis Jacco - 2020 - Weight learning in LP MLN for collective...pdf.jpgOosterhuis, Jacco Weight learning in LP MLN for collective classificationThesis Hochschulschrift 2020
12Kaminski Tobias - 2020 - Integrated HEX-algorithms and applications in machine...pdf.jpgKaminski, Tobias Dietmar Integrated HEX-algorithms and applications in machine learningThesis Hochschulschrift 2020
13Saribatur Yaman Zeynep Goezen - 2019 - Abstraction for reasoning about agent...pdf.jpgSaribatur Yaman, Zeynep Gözen Abstraction for reasoning about agent behavior with answer set programmingThesis Hochschulschrift 2019
14Krennwallner Thomas - 2018 - Modular nonmonotonic logic programs.pdf.jpgKrennwallner, Thomas Modular nonmonotonic logic programsThesis Hochschulschrift 2018
15Beck Harald - 2018 - Expressive rule-based stream reasoning.pdf.jpgBeck, Harald Expressive rule-based stream reasoningThesis Hochschulschrift 2018
16Ramanayake, Revantha ; Ciabattoni, Agata Bunched Hypersequent Calculi for Distributive Substructural LogicsKonferenzbeitrag Inproceedings 2017
17Lellmann, Björn A uniform framework for substructural logics with modalitiesKonferenzbeitrag Inproceedings 2017
18Dell´Aglio, Daniele ; Anicic, Darko ; Barnaghi, Payam ; Della Valle, Emanuele ; McGuinness, Deborah ; Bozzato, Loris ; Eiter, Thomas ; Homola, Martin ; Porello, Daniele Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017Konferenzband Proceedings 2017
19Eiter, Thomas ; Sands, David LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46Konferenzband Proceedings 2017
20Eiter, Thomas ; Sands, David ; Sutcliffe, Geoff ; Voronkov, Andrei IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1Konferenzband Proceedings 2017