Name Card

Full name Familienname, Vorname
Traxler, Patrick
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
2Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
3Eiter, Thomas ; Traxler, Patrick ; Woltran, Stefan An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2006
4Eiter, Thomas ; Faber, Wolfgang ; Traxler, Patrick Testing Strong Equivalence of Datalog Programs: Implementation and ExamplesKonferenzbeitrag Inproceedings 2005