|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Horeis, Timo Frederik ; Plinke, Fabian ; Kain, Tobias ; Tompits, Hans ; Rinaldo, Rhea C. ; Heinrich, Johannes | Cross-Industry Overview of Fault-Tolerant Approaches used in Autonomous Systems | Inproceedings Konferenzbeitrag | 17-May-2022 |
| 2 | | Schön, Felix ; Tompits, Hans | PAUL: An Algorithmic Composer for Classical Piano Music Supporting Multiple Complexity Levels | Inproceedings Konferenzbeitrag  | 2022 |
| 3 | | Kain, Tobias ; Mehlhorn, Marcel Aguirre ; Müller, Julian-Steffen ; Tompits, Hans | D-DEG: A Dynamic Cooperation-Based Approach for Reducing Resource Consumption in Autonomous Vehicles. | Konferenzbeitrag Inproceedings | 2021 |
| 4 | | Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan | Beyond Uniform Equivalence between Answer-set Programs | Artikel Article | 2021 |
| 5 | | Tompits, Hans ; Kain, Tobias ; Horeis, Timo Frederik ; Heinrich, Johannes ; Müller, Julian-Steffen ; Plinke, Fabian ; Decke, Hendrik ; Mehlhorn, Marcel Aguirre | C-PO: A Context-Based Application-Placement Optimization for Autonomous Vehicles | Konferenzbeitrag Inproceedings | 2021 |
| 6 | | Kain, Tobias ; Mehlhorn, Marcel Aguirre ; Horeis, Timo Frederik ; Heinrich, Johannes ; Tompits, Hans | Ein Ansatz zur Wiederherstellung ausgefallener Hardwarekomponenten in Fail-Operational Architekturen - Eine Erweiterung von FDIRO | Konferenzbeitrag Inproceedings | 2021 |
| 7 | | Geibinger, Tobias ; Tompits, Hans | Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics | Konferenzbeitrag Inproceedings | 2020 |
| 8 | | Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans | Catching the Ouroboros: On debugging non-ground answer-set programs | Präsentation Presentation | 2020 |
| 9 | | Pkhakadze, Sopo ; Tompits, Hans | Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic | Artikel Article | 2020 |
| 10 | | Kain, Tobias ; Mundhenk, Philipp ; Müller, Julian-Steffen ; Tompits, Hans ; Wesche, Maximilian ; Decke, Hendrik | Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles | Konferenzbeitrag Inproceedings | 2020 |
| 11 | | Kain, Tobias ; Tompits, Hans ; Müller, Julian-Steffen ; Wesche, Maximilian ; Martinez Flores, Yael Abelardo ; Decke, Hendrik | Optimizing the Placement of Applications in Autonomous Vehicles | Konferenzbeitrag Inproceedings | 2020 |
| 12 | | Kain, Tobias ; Tompits, Hans ; Müller, Julian-Steffen ; Mundhenk, Philipp ; Wesche, Maximilian ; Decke, Hendrik | Fdiro: A General Approach for a Fail-Operational System Design | Konferenzbeitrag Inproceedings | 2020 |
| 13 | | Marinkovic, Vedran ; Tompits, Hans | On Translating Multi-Modal Logics to Quantified Propositional Logic | Konferenzbeitrag Inproceedings | 2019 |
| 14 | | Pkhakadze, Sopo ; Tompits, Hans | A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur | Konferenzbeitrag Inproceedings | 2019 |
| 15 | | Pkhakadze, Sopo ; Tompits, Hans | A Gentzen-Type Calculus for Disjunctive Default Logic. | Konferenzbeitrag Inproceedings | 2019 |
| 16 | | Geibinger, Tobias ; Tompits, Hans | Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs | Konferenzbeitrag Inproceedings | 2019 |
| 17 | | Kain, Tobias ; Tompits, Hans | Uhura: An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language | Konferenzbeitrag Inproceedings | 2019 |
| 18 | | Pavlovic, Sanja ; Tompits, Hans | A Tableau Calculus for a Multi-modal Logic of Dishonesty | Konferenzbeitrag Inproceedings | 2018 |
| 19 | | Fang, Min ; Tompits, Hans | An Approach for Representing Answer Sets in Natural Language | Konferenzbeitrag Inproceedings | 2018 |
| 20 | | Tompits, Hans | From Łukasiewicz to Gentzen: On Sequent-type Refutation Calculi for Three-valued Logics | Präsentation Presentation | 2018 |
