| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | 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  | 26-Jan-2023 |
| 2 |  | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures | Inproceedings Konferenzbeitrag  | 2023 |
| 3 | | 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 |
| 4 | | Eiter, Thomas ; Geibinger, Tobias ; Higuera Ruiz, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria | Large-Neighbourhood Search for Optimisation in Answer-Set Solving (Extended Abstract) | Inproceedings Konferenzbeitrag  | 4-Aug-2022 |
| 5 | | Eiter, Thomas ; Geibinger, Tobias ; Higuera Ruiz, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria | Large-Neighbourhood Search for Optimisation in Answer-Set Solving | Inproceedings Konferenzbeitrag  | 28-Jun-2022 |
| 6 | | Eiter, Thomas ; Geibinger, Tobias ; Gisbrecht, Andrej ; Higuera Ruiz, Nelson Nicolas ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria | An Open Challenge for Exact Job Scheduling with Reticle Batching in Photolithography | Inproceedings Konferenzbeitrag  | 15-Jun-2022 |
| 7 | | Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria | ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser | Inproceedings Konferenzbeitrag | 2022 |
| 8 | | Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; SkoÄovský, Peter ; Stepanova, Daria | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling | Konferenzbeitrag Inproceedings  | 2021 |
| 9 | | Ianni, Giovambattista ; Calimeri, Francesco ; Germano, Stefano ; Humenberger, Andreas ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea ; Wimmer, Anton | Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases | Artikel Article | 2016 |
| 10 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Data repair of inconsistent nonmonotonic description logic programs | Artikel Article  | 2016 |
| 11 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Computing Repairs of Inconsistent DL-Programs over EL Ontologies | Artikel Article  | 2016 |
| 12 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Computing Repairs of Inconsistent DL-programs over EL Ontologies | Bericht Report | 2015 |
| 13 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Data Repair of Inconsistent Nonmonotonic Description Logic Programs | Bericht Report | 2015 |
| 14 |  | Stepanova, Daria | Inconsistencies in hybrid Knowledge Bases | Thesis Hochschulschrift  | 2015 |
| 15 | | Stepanova, Daria | Inconsistencies in Hybrid Knowledge Bases | Konferenzbeitrag Inproceedings  | 2014 |
| 16 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Towards Practical Deletion Repair of Inconsistent DL-programs | Konferenzbeitrag Inproceedings  | 2014 |
| 17 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies | Konferenzbeitrag Inproceedings  | 2014 |
| 18 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Towards Practical Deletion Repair of Inconsistent DL-programs | Konferenzbeitrag Inproceedings  | 2014 |
| 19 | | Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Humenberger, Andreas ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea | AngryHEX: An Angry Birds-playing Agent based on HEX-Programs | Präsentation Presentation | 2014 |
| 20 | | Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Stepanova, Daria | Exploiting Support Sets for Answer Set Programs with External Evaluations | Konferenzbeitrag Inproceedings  | 2014 |