Zobrazeno 1 - 10
of 364
pro vyhledávání: '"Baader, F."'
Autor:
Baader, F., Reiswich, M., Bartsch, M., Keller, D., Tiede, E., Keck, G., Demircian, A., Friedrich, M., Dachwald, B., Schüller, K., Lehmann, R., Chojetzki, R., Durand, C., Rapp, L., Kowalski, J., Förstner, R.
Recent analysis of scientific data from Cassini and earth-based observations gave evidence for a global ocean under a surrounding solid ice shell on Saturn's moon Enceladus. Images of Enceladus' South Pole showed several fissures in the ice shell wit
Externí odkaz:
http://arxiv.org/abs/1805.01758
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 16, pages 1-58, 2002
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though descr
Externí odkaz:
http://arxiv.org/abs/1106.1802
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We review our recent work on how to compute optimal repairs, optimal compliant anonymizations, and optimal safe anonymizations of ABoxes containing possibly anonymized individuals. The results can be used both to remove erroneous consequences from a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1299::c3d3d7db0f75706f54fc838fcbac547c
http://hdl.handle.net/10281/336368
http://hdl.handle.net/10281/336368
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
The combination of Fuzzy Logics and Description Logics (DLs) has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp Description Logics have been e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1299::769c8e0081003c76e33fb8be106d937c
http://hdl.handle.net/10281/234616
http://hdl.handle.net/10281/234616
Publikováno v:
In Materials Chemistry and Physics 1999 61(1):78-102
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.