Browsing by Author Krennwallner, Thomas
Showing results 1 to 6 of 6
Preview | Authors / Editors | Title | Type | Issue Date |
---|---|---|---|---|
![]() | Dao Tran, Minh | Default reasoning on top of ontologies with dl-programs | Thesis Hochschulschrift ![]() ![]() ![]() | 2008 |
![]() | Redl, Christoph | Development of a Belief Merging framework for dlvhex | Thesis Hochschulschrift ![]() ![]() ![]() | 2010 |
![]() | Bischof, Stefan | Implementation and optimisation of queries in XSPARQL | Thesis Hochschulschrift ![]() ![]() ![]() | 2010 |
![]() | Krennwallner, Thomas | Integration of conjunctive queries over description logics into HEX-programs | Thesis Hochschulschrift ![]() ![]() ![]() | 2007 |
![]() | Redl, Christoph | Merging of biomedical decision diagrams | Thesis Hochschulschrift ![]() ![]() ![]() | 2010 |
![]() | Drescher, Christian | Symmetry breaking for answer set programming | Thesis Hochschulschrift ![]() ![]() ![]() | 2010 |