Tompits, Hans

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Ao.Univ.Prof. Mag.rer.nat. Dr.techn.
 
Full name Familienname, Vorname
Tompits, Hans
 
Main Affiliation Organisations­zuordnung
 
ORCID

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue 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 ; Castanier, Bruno ; Cepin, Marko ; Bigaud, David D-DEG: A Dynamic Cooperation-Based Approach for Reducing Resource Consumption in Autonomous Vehicles.Konferenzbeitrag Inproceedings 2021
4Kain, Tobias ; Mehlhorn, Marcel Aguirre ; Horeis, Timo Frederik ; Heinrich, Johannes ; Tompits, Hans ; VDI Wissensforum GmbH Ein Ansatz zur Wiederherstellung ausgefallener Hardwarekomponenten in Fail-Operational Architekturen - Eine Erweiterung von FDIROKonferenzbeitrag Inproceedings2021
5Tompits, Hans ; Kain, Tobias ; Horeis, Timo Frederik ; Heinrich, Johannes ; Müller, Julian-Steffen ; Plinke, Fabian ; Decke, Hendrik ; Mehlhorn, Marcel Aguirre ; IEEE C-PO: A Context-Based Application-Placement Optimization for Autonomous VehiclesKonferenzbeitrag Inproceedings 2021
6Oetsch, Johannes ; Tompits, Hans ; Seidl, Martina ; Woltran, Stefan Beyond Uniform Equivalence between Answer-set ProgramsArtikel Article 2021
7Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Catching the Ouroboros: On debugging non-ground answer-set programsPräsentation Presentation2020
8Kain, 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
9Kain, 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
10Kain, 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
11Geibinger, Tobias ; Tompits, Hans Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent LogicsKonferenzbeitrag Inproceedings 2020
12Pkhakadze, Sopo ; Tompits, Hans Sequent-Type Calculi for Three-Valued and Disjunctive Default LogicArtikel Article 2020
13Geibinger, Tobias ; Tompits, Hans ; Calimeri, Francesco ; Leone, Nicola ; Manna, Marco Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2019
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
16Kain, Tobias ; Tompits, Hans $$\mathsf {Uhura}$$ : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural LanguageKonferenzbeitrag Inproceedings 2019
17Marinkovic, Vedran ; Tompits, Hans On Translating Multi-Modal Logics to Quantified Propositional LogicKonferenzbeitrag Inproceedings2019
18Tompits, Hans From Łukasiewicz to Gentzen: On Sequent-type Refutation Calculi for Three-valued LogicsPräsentation Presentation2018
19Pavlovic, Sanja ; Tompits, Hans A Tableau Calculus for a Multi-modal Logic of DishonestyKonferenzbeitrag Inproceedings 2018
20Fang, Min ; Tompits, Hans An Approach for Representing Answer Sets in Natural LanguageKonferenzbeitrag Inproceedings 2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 25 (Search time: 0.011 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Maurer Michael - 2023 - On Automated Theorem Proving for Assertional and...pdf.jpgMaurer, Michael On Automated Theorem Proving for Assertional and Refutational Natural Deduction SystemsThesis Hochschulschrift 2023
2Gius Martin - 2023 - On Constructing Assertional and Complementary Sequent...pdf.jpgGius, Martin On Constructing Assertional and Complementary Sequent Calculi for Non-Deterministic Finite-Valued LogicsThesis Hochschulschrift 2023
3Schoen Felix - 2023 - 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 2023
4Oetsch Johannes - 2022 - Testing for ASP - ASP for Testing.pdf.jpgOetsch, Johannes Testing for ASP - ASP for testingThesis Hochschulschrift 2021
5Kain Tobias - 2020 - Towards a Reliable System Architecture for Autonomous...pdf.jpgKain, Tobias Towards a reliable system architecture for autonomous vehiclesThesis Hochschulschrift 2020
6Pkhakadze Sopo - 2019 - Sequent-type calculi for variants of default logic.pdf.jpgPkhakadze, Sopo Sequent-type calculi for variants of default logicThesis Hochschulschrift 2019
7Marinkovic Vedran - 2019 - On reductions for multi-modal logics.pdf.jpgMarinkovic, Vedran On reductions for multi-modal logicsThesis Hochschulschrift 2019
8Tapolczai 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
9Berger Gerald - 2015 - Provability interpretations of a many-sorted polymodal...pdf.jpgBerger, Gerald Provability interpretations of a many-sorted polymodal logicThesis Hochschulschrift 2015
10Polberg, Sylwia ; Konieczny, Sebastien ; Tompits, Hans Extension-based Semantics of Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings 2014
11Baumann, Ringo ; Dvorak, Wolfgang ; Linsbichler, Thomas ; Strass, Hannes ; Woltran, Stefan ; Konieczny, Sebastien ; Tompits, Hans Compact Argumentation 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
13Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph ; Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin HEX-Programs with Nested Program CallsKonferenzbeitrag Inproceedings 2013
14Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Wallner, Johannes Peter ; Woltran, Stefan ; Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin Making Use of Advances in Answer-Set Programming for Abstract Argumentation SystemsKonferenzbeitrag Inproceedings 2013
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
16Tompits, 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
17Szeider, Stefan ; Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Pührer, Jörg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin The Parameterized Complexity of Constraint Satisfaction and ReasoningKonferenzbeitrag Inproceedings2013
18Kloimüllner, Christian Visualisation and graphical editing of answer sets : the Kara systemThesis Hochschulschrift2012
19Lierler, Yuliya ; Schüller, Peter ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Tompits, Hans ; Umeda, Masanobu ; Wolf, Armin Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary ReportKonferenzbeitrag Inproceedings 2011
20Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph ; Tompits, Hans Nested HEX-ProgramsKonferenzbeitrag Inproceedings 2011

Projects Projekte


Results 1-2 of 2 (Search time: 0.0 seconds).

TitleP-Investigator
Formal Methods for Optimizing Nonmonotonic Logic ProgramsTompits, Hans
Methods and Methodologies for Developing Answer-Set ProgramsTompits, Hans