Name Card

Full name Familienname, Vorname
Tompits, Hans
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 149 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Horeis, Timo Frederik ; Plinke, Fabian ; Kain, Tobias ; Tompits, Hans ; Rinaldo, Rhea C. ; Heinrich, Johannes Cross-Industry Overview of Fault-Tolerant Approaches used in Autonomous SystemsInproceedings Konferenzbeitrag17-May-2022
2Schön, Felix ; Tompits, Hans PAUL: An Algorithmic Composer for Classical Piano Music Supporting Multiple Complexity LevelsInproceedings Konferenzbeitrag 2022
3Kain, 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
4Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan Beyond Uniform Equivalence between Answer-set ProgramsArtikel Article 2021
5Tompits, 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 VehiclesKonferenzbeitrag Inproceedings 2021
6Kain, Tobias ; Mehlhorn, Marcel Aguirre ; Horeis, Timo Frederik ; Heinrich, Johannes ; Tompits, Hans Ein Ansatz zur Wiederherstellung ausgefallener Hardwarekomponenten in Fail-Operational Architekturen - Eine Erweiterung von FDIROKonferenzbeitrag Inproceedings2021
7Geibinger, Tobias ; Tompits, Hans Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent LogicsKonferenzbeitrag Inproceedings 2020
8Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Catching the Ouroboros: On debugging non-ground answer-set programsPräsentation Presentation2020
9Pkhakadze, Sopo ; Tompits, Hans Sequent-Type Calculi for Three-Valued and Disjunctive Default LogicArtikel Article 2020
10Kain, Tobias ; Mundhenk, Philipp ; Müller, Julian-Steffen ; Tompits, Hans ; Wesche, Maximilian ; Decke, Hendrik Towards a Reliable and Context-Based System Architecture for Autonomous VehiclesKonferenzbeitrag Inproceedings 2020
11Kain, Tobias ; Tompits, Hans ; Müller, Julian-Steffen ; Wesche, Maximilian ; Martinez Flores, Yael Abelardo ; Decke, Hendrik Optimizing the Placement of Applications in Autonomous VehiclesKonferenzbeitrag Inproceedings 2020
12Kain, Tobias ; Tompits, Hans ; Müller, Julian-Steffen ; Mundhenk, Philipp ; Wesche, Maximilian ; Decke, Hendrik Fdiro: A General Approach for a Fail-Operational System DesignKonferenzbeitrag Inproceedings 2020
13Marinkovic, Vedran ; Tompits, Hans On Translating Multi-Modal Logics to Quantified Propositional LogicKonferenzbeitrag Inproceedings2019
14Pkhakadze, Sopo ; Tompits, Hans A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non DaturKonferenzbeitrag Inproceedings 2019
15Pkhakadze, Sopo ; Tompits, Hans A Gentzen-Type Calculus for Disjunctive Default Logic.Konferenzbeitrag Inproceedings2019
16Geibinger, Tobias ; Tompits, Hans Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2019
17Kain, Tobias ; Tompits, Hans $$\mathsf {Uhura}$$ : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural LanguageKonferenzbeitrag Inproceedings 2019
18Pavlovic, Sanja ; Tompits, Hans A Tableau Calculus for a Multi-modal Logic of DishonestyKonferenzbeitrag Inproceedings 2018
19Fang, Min ; Tompits, Hans An Approach for Representing Answer Sets in Natural LanguageKonferenzbeitrag Inproceedings 2018
20Tompits, Hans From Łukasiewicz to Gentzen: On Sequent-type Refutation Calculi for Three-valued LogicsPräsentation Presentation2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 32 (Search time: 0.014 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Rinke Markus - 2023 - On the Axiomatisation of Non-validity Sequent-type...pdf.jpgRinke, Markus On the axiomatisation of non-validity: Sequent-type rejection systems and beyondThesis Hochschulschrift 2023
2Schoen Felix - 2022 - PAUL-2 A transformer-based algorithmic composer of...pdf.jpgSchön, Felix PAUL-2: A transformer-based algorithmic composer of two-track piano piecesThesis Hochschulschrift 2022
3Maurer Michael - 2022 - On automated theorem proving for assertional and...pdf.jpgMaurer, Michael On automated theorem proving for assertional and refutational natural deduction systemsThesis Hochschulschrift 2022
4Gius Martin - 2022 - On constructing assertional and complementary sequent...pdf.jpgGius, Martin On constructing assertional and complementary sequent calculi for non-deterministic finite-valued logicsThesis Hochschulschrift 2022
5Oetsch Johannes - 2021 - Testing for ASP - ASP for testing.pdf.jpgOetsch, Johannes Testing for ASP - ASP for testingThesis Hochschulschrift 2021
6Kain Tobias - 2020 - Towards a reliable system architecture for autonomous...pdf.jpgKain, Tobias Towards a reliable system architecture for autonomous vehiclesThesis Hochschulschrift 2020
7Marinkovic Vedran - 2019 - On reductions for multi-modal logics.pdf.jpgMarinkovic, Vedran On reductions for multi-modal logicsThesis Hochschulschrift 2019
8Pkhakadze Sopo - 2019 - Sequent-type calculi for variants of default logic.pdf.jpgPkhakadze, Sopo Sequent-type calculi for variants of default logicThesis Hochschulschrift 2019
9Tapolczai Janos - 2016 - Design and implementation of an agent architecture...pdf.jpgTapolczai, Janos Design and implementation of an agent architecture combining emotions and reasoningThesis Hochschulschrift 2016
10Berger Gerald - 2015 - Provability interpretations of a many-sorted polymodal...pdf.jpgBerger, Gerald Provability interpretations of a many-sorted polymodal logicThesis Hochschulschrift 2015
11Polberg, Sylwia Extension-based Semantics of Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings 2014
12Kiesl Benjamin - 2014 - On transforming answer-set programs towards...pdf.jpgKiesl, Benjamin On transforming answer-set programs towards natural-language representationsThesis Hochschulschrift 2014
13Baumann, Ringo ; Dvorak, Wolfgang ; Linsbichler, Thomas ; Strass, Hannes ; Woltran, Stefan Compact Argumentation FrameworksKonferenzbeitrag Inproceedings 2014
14Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph HEX-Programs with Nested Program CallsKonferenzbeitrag Inproceedings 2013
15Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011, Revised Selected PapersKonferenzband Proceedings 2013
16Szeider, Stefan The Parameterized Complexity of Constraint Satisfaction and ReasoningKonferenzbeitrag Inproceedings2013
17Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Wallner, Johannes Peter ; Woltran, Stefan Making Use of Advances in Answer-Set Programming for Abstract Argumentation SystemsKonferenzbeitrag Inproceedings 2013
18Busoniu Paula-Andra - 2013 - On supporting the development of answer-set...pdf.jpgBusoniu, Paula-Andra On supporting the development of answer-set programs using model-driven engineering techniquesThesis Hochschulschrift 2013
19Kloimüllner, Christian Visualisation and graphical editing of answer sets : the Kara systemThesis Hochschulschrift2012
20Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph Nested HEX-ProgramsKonferenzbeitrag Inproceedings 2011