We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
Thomas Eiter, Giovambattista Ianni, Thomas Krennwa...
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
Current Mars rovers travel a few kilometers per year. Future rovers will need to travel a couple orders of magnitude faster than that in order to move from safe landing zones to a...
Folksonomies, collaboratively created sets of metadata, are becoming more and more important for organising information and knowledge of communites in the Web. While for a single ...
The Mobile Emergency Triage (MET) system is a clinical triage support system that aids physicians in making triage decisions as to whether a child presenting in the Emergency Depa...
Wojtek Michalowski, Marta Kersten, Szymon Wilk, Ro...