Tompits, Hans

Network Lab View Statistics Email Alert RSS Feed

Name Card

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

Contributing Publications Mitbeteiligte Publikationen

Results 1-19 of 19 (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
13Kloimüllner, Christian Visualisation and graphical editing of answer sets : the Kara systemThesis Hochschulschrift2012
14Heindl, Andreas On replacements in answer-set programming based on partial evaluationThesis Hochschulschrift2007
15Woltran, Stefan Quantified Boolean formulas - from theory to practiceThesis Hochschulschrift2003
16Gröbner, Stefan Strict implicationThesis Hochschulschrift2003
17Fink, MichaelDeclarative logic-programming components for information agentsThesis Hochschulschrift2002
18Sabbatini, Giuliana Declarative logic programming for representing evolving nonmonotonic knowledge basesThesis Hochschulschrift2002
19Klotz, Volker The system QUIP: a solver for advanced reasoning tasks using quantified boolean formulasThesis Hochschulschrift2001