Name Card

Full name Familienname, Vorname
Studer, Rudi
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Niemelä, Ilkka ; Janhunen, Tomi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans On Testing Answer-Set ProgramsKonferenzbeitrag Inproceedings 2010
2Heymans, Stijn ; Korf, Roman ; Erdmann, Michael ; Puehrer, Joerg ; Eiter, Thomas F-Logic#: Loosely Coupling F-Logic Rules and OntologiesKonferenzbeitrag Inproceedings 2010
3Pichler, Reinhard ; Woltran, Stefan The Complexity of Handling Minimal Solutions in Logic-Based AbductionKonferenzbeitrag Inproceedings 2010
4Heymans, Stijn ; Eiter, Thomas ; Xiao, Guohui Tractable Reasoning with DL-Programs over Datalog-rewritable Description LogicsKonferenzbeitrag Inproceedings 2010