Eiter, Thomas

Network Lab View Statistics Email Alert RSS Feed

Name Card

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

Own Publications Eigene Publikationen

Filter:
Subject:  answer set programming

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

PreviewAuthor(s)TitleTypeIssue Date
1Wang, Yisong ; Eiter, Thomas ; Yuanlin Zhang ; Lin, Fangzhen Witnesses for Answer Sets of Logic ProgramsPresentation Vortrag29-Nov-2022
2Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas Representing Normative Reasoning in Answer Set Programming Using Weak ConstraintsPresentation Vortrag28-Nov-2022
3Urbani, Jacopo ; Krötzsch, Markus ; Eiter, Thomas Chasing Streams with Existential RulesInproceedings Konferenzbeitrag 2022
4BOZZATO, LORIS ; EITER, THOMAS ; SERAFINI, LUCIANO Reasoning on with Defeasibility in ASPArticle Artikel 2022
5Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria ALASPO: An Adaptive Large-Neighbourhood ASP OptimiserInproceedings Konferenzbeitrag2022
6Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Skočovský, Peter ; Stepanova, Daria Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine SchedulingKonferenzbeitrag Inproceedings 2021
7Pührer, Jörg ; Heymans, Stijn ; Eiter, Thomas Dealing with Inconsistency When Combining Ontologies and Rules Using DL-ProgramsKonferenzbeitrag Inproceedings 2010

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  answer set programming

Results 1-4 of 4 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue 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
2Ritter 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
3Strasser Anton - 2022 - Epistemic Logic Programs.pdf.jpgStrasser, Anton Epistemic Logic ProgramsThesis Hochschulschrift 2022
4Leutgoeb Alexander - 2016 - Development of a build system for cross-platform...pdf.jpgLeutgöb, Alexander Development of a build system for cross-platform open-source projectsThesis Hochschulschrift 2016