Name Card

Full name Familienname, Vorname
Gebser, Martin
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingArtikel Article 2016
2Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingKonferenzbeitrag Inproceedings 2015
3Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingKonferenzbeitrag Inproceedings 2015
4Gebser, Martin ; Pührer, Jörg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsKonferenzbeitrag Inproceedings 2009
5Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded SetsKonferenzbeitrag Inproceedings 2008
6Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans A Meta-Programming Technique for Debugging Answer-Set ProgramsKonferenzbeitrag Inproceedings 2008
7Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Debugging ASP Programs by Means of ASPKonferenzbeitrag Inproceedings 2007
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 That is illogical Captain! The Debugging Support Tool spock for Answer-Set Programs -- System DescriptionKonferenzbeitrag Inproceedings 2007
10Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsKonferenzbeitrag Inproceedings2007

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Taupe, Richard ; Weinzierl, Antonius ; Schenner, Gottfried Introducing Heuristics for Lazy-Grounding ASP SolvingKonferenzbeitrag Inproceedings 2017