Name Card

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

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gius, Martin ; Tompits, Hans Sequent-type rejection systems for finite-valued non-deterministic logicsArticle Artikel 2023
2Horeis, 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
3Schön, Felix ; Tompits, Hans PAUL: An Algorithmic Composer for Classical Piano Music Supporting Multiple Complexity LevelsInproceedings Konferenzbeitrag 2022
4Tompits, 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
5Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan Beyond Uniform Equivalence between Answer-set ProgramsArtikel Article 2021
6Kain, 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
7Kain, 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
8Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Catching the Ouroboros: On debugging non-ground answer-set programsPräsentation Presentation2020
9Geibinger, Tobias ; Tompits, Hans Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent LogicsKonferenzbeitrag Inproceedings 2020
10Pkhakadze, Sopo ; Tompits, Hans Sequent-Type Calculi for Three-Valued and Disjunctive Default LogicArtikel Article 2020
11Kain, 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
12Kain, 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
13Kain, 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
14Geibinger, Tobias ; Tompits, Hans Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2019
15Pkhakadze, Sopo ; Tompits, Hans A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non DaturKonferenzbeitrag Inproceedings 2019
16Kain, Tobias ; Tompits, Hans Uhura: An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural LanguageKonferenzbeitrag Inproceedings 2019
17Pkhakadze, Sopo ; Tompits, Hans A Gentzen-Type Calculus for Disjunctive Default Logic.Konferenzbeitrag Inproceedings2019
18Marinkovic, Vedran ; Tompits, Hans On Translating Multi-Modal Logics to Quantified Propositional LogicKonferenzbeitrag Inproceedings2019
19Fang, Min ; Tompits, Hans An Approach for Representing Answer Sets in Natural LanguageKonferenzbeitrag Inproceedings 2018
20Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Stepwise debugging of answer-set programsArtikel Article 2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 33 (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
7Pkhakadze Sopo - 2019 - Sequent-type calculi for variants of default logic.pdf.jpgPkhakadze, Sopo Sequent-type calculi for variants of default logicThesis Hochschulschrift 2019
8Kiesl Benjamin - 2019 - Structural reasoning methods for satisfiability solving...pdf.jpgKiesl-Reiter, Benjamin Structural reasoning methods for satisfiability solving and beyondThesis Hochschulschrift 2019
9Marinkovic Vedran - 2019 - On reductions for multi-modal logics.pdf.jpgMarinkovic, Vedran On reductions for multi-modal logicsThesis Hochschulschrift 2019
10Tapolczai 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
11Berger Gerald - 2015 - Provability interpretations of a many-sorted polymodal...pdf.jpgBerger, Gerald Provability interpretations of a many-sorted polymodal logicThesis Hochschulschrift 2015
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
14Polberg, Sylwia Extension-based Semantics of Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings 2014
15Busoniu 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
16Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph HEX-Programs with Nested Program CallsKonferenzbeitrag Inproceedings 2013
17Szeider, Stefan The Parameterized Complexity of Constraint Satisfaction and ReasoningKonferenzbeitrag Inproceedings2013
18Tompits, 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
19Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Wallner, Johannes Peter ; Woltran, Stefan Making Use of Advances in Answer-Set Programming for Abstract Argumentation SystemsKonferenzbeitrag Inproceedings 2013
20Kloimüllner, Christian Visualisation and graphical editing of answer sets : the Kara systemThesis Hochschulschrift2012