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:
Subject:  answer-set programming

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

PreviewAuthor(s)TitleTypeIssue Date
1Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Stepwise debugging of answer-set programsArtikel Article 2018
2Kiesl, Benjamin ; Schüller, Peter ; Tompits, Hans On Structural Analysis of Non-Ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2015
3Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary ReportKonferenzbeitrag Inproceedings 2013
4Kloimüllner, Christian ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set ProgramsKonferenzbeitrag Inproceedings 2013
5Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with DisjunctionsKonferenzbeitrag Inproceedings 2012
6DE VOS, MARINA ; KISA, DOĞA GIZEM ; OETSCH, JOHANNES ; PÜHRER, JÖRG ; TOMPITS, HANS Annotating Answer-Set Programs in LANAKonferenzbeitrag Inproceedings 2012
7Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2012
8De Vos, Marina ; Kisa, Doga Gizem ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans LANA: A Language for Annotating Answer-Set ProgramsKonferenzbeitrag Inproceedings 2012
9Brain, Martin ; Erdem, Esra ; Inoue, Katsumi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Yilmaz, Cemal Event-Sequence Testing using Answer-Set ProgrammingArtikel Article2012
10Oetsch, Johannes ; Prischink, Michael ; Puehrer, Joerg ; Schwengerer, Martin ; Tompits, Hans On the Small-Scope Hypothesis for Testing Answer-Set ProgramsKonferenzbeitrag Inproceedings 2012
11Oetsch, Johannes ; Pührer, Jörg ; Seidl, Martina ; Tompits, Hans ; Zwickl, Patrick VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering TechnologyKonferenzbeitrag Inproceedings 2011
12Erdem, Esra ; Inoue, Katsumi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Yilmaz, Cemal Answer-Set Programming as a new Approach to Event-Sequence TestingKonferenzbeitrag Inproceedings 2011
13Janhunen, Tomi ; Niemelä, Ilkka ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental ComparisonKonferenzbeitrag Inproceedings 2011
14Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Stepping through an Answer-Set ProgramKonferenzbeitrag Inproceedings 2011
15OETSCH, JOHANNES ; PÜHRER, JÖRG ; TOMPITS, HANS Catching the Ouroboros: On debugging non-ground answer-set programsKonferenzbeitrag Inproceedings 2010
16OETSCH, JOHANNES ; PÜHRER, JÖRG ; SCHWENGERER, MARTIN ; TOMPITS, HANS The system Kato: Detecting cases of plagiarism for answer-set programsKonferenzbeitrag Inproceedings 2010

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  answer-set programming

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

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