Name Card

Full name Familienname, Vorname
Cheung, Yiu-Ming
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans ; Wang, Kewen Forgetting in Managing Rules and OntologiesKonferenzbeitrag Inproceedings 2006
2Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans dlvhex: A Prover for Semantic-Web Reasoning under Answer-Set SemanticsKonferenzbeitrag Inproceedings 2006