Patrick Traxler
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 2006 | ||
|---|---|---|
| 3 | An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. Thomas Eiter, Patrick Traxler, Stefan Woltran. JELIA 2006, 477-480. Web SearchBibTeXDownload | |
| 2 | Replacements in Non-Ground Answer-Set Programming. Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran. WLP 2006, 145-153. Cited by 12Web SearchBibTeXDownload | |
| 2005 | ||
| 1 | Testing Strong Equivalence of Datalog Programs - Implementation and Examples. Thomas Eiter, Wolfgang Faber, Patrick Traxler. LPNMR 2005, 437-441. Web SearchBibTeXDownload | |
from DBLP and Google Scholar