Name Card

Full name Familienname, Vorname
Brain, Martin
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Brain, Martin ; Erdem, Esra ; Inoue, Katsumi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Yilmaz, Cemal Event-Sequence Testing using Answer-Set ProgrammingArtikel Article2012
2Brain, Martin ; Faber, Wolfgang ; Maratea, Marco ; Polleres, Axel Florian ; Schaub, Torsten ; Schindlauer, Roman What should an ASP Solver output?Konferenzbeitrag Inproceedings 2007
3Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Debugging ASP Programs by Means of ASPKonferenzbeitrag Inproceedings 2007
4Brain, 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