Tompits, Hans

Network Lab View Statistics Email Alert RSS Feed

Name Card

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

Own Publications Eigene Publikationen

Filter:
Access Type:  Open Access

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

PreviewAuthor(s)TitleTypeIssue Date
1Kiesl Benjamin - 2017 - Blocked Clauses in First-Order Logic.pdf.jpgKiesl, Benjamin ; Suda, Martin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Blocked Clauses in First-Order LogicInproceedings Konferenzbeitrag 2017
2Kiesl Benjamin - 2016 - Super-Blocked Clauses.pdf.jpgKiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Super-Blocked ClausesInproceedings Konferenzbeitrag 2016

Contributing Publications Mitbeteiligte Publikationen

Filter:
Access Type:  Open Access

Results 1-12 of 12 (Search time: 0.012 seconds).

PreviewAuthor(s)TitleTypeIssue 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
11Kiesl Benjamin - 2014 - On transforming answer-set programs towards...pdf.jpgKiesl, Benjamin On transforming answer-set programs towards natural-language representationsThesis Hochschulschrift 2014
12Busoniu 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