Full name Familienname, Vorname
Gebser, Martin
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingArtikel Article2016
2Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan ; Calimeri, Francesco ; Ianni, Giovambattista ; Truszczynski, Miroslaw Shift Design with Answer Set ProgrammingKonferenzbeitrag Inproceedings 2015
3Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan ; Inclezan, Daniela ; Maratea, Marco Shift Design with Answer Set ProgrammingKonferenzbeitrag Inproceedings 2015
4Gebser, Martin ; Pührer, Jörg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan ; Seipel, Dietmar ; Hanus, Michael ; Wolf, Armin spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsKonferenzbeitrag Inproceedings 2009
5Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan ; Hartmann, Sven ; Kern-Isberner, Gabriele Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded SetsKonferenzbeitrag Inproceedings 2008
6Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Fox, Dieter ; Gomes, Carla P. A Meta-Programming Technique for Debugging Answer-Set ProgramsKonferenzbeitrag Inproceedings 2008
7Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsKonferenzbeitrag Inproceedings2007
8Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary ReportKonferenzbeitrag Inproceedings2007
9Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Debugging ASP Programs by Means of ASPKonferenzbeitrag Inproceedings 2007
10Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan That is illogical Captain! The Debugging Support Tool spock for Answer-Set Programs -- System DescriptionKonferenzbeitrag Inproceedings 2007

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Taupe, Richard ; Weinzierl, Antonius ; Schenner, Gottfried ; Gebser, Martin ; Maratea, Marco ; Ricca, Francesco Introducing Heuristics for Lazy-Grounding ASP SolvingKonferenzbeitrag Inproceedings 2017