Diese Seite auf DeutschCette page en françaisThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/sattler-u

Ulrike Sattler (sattler-u)

Contributi a Philosophie.ch

No contributions yet

Bibliography

    Baader, Franz and Sattler, Ulrike. 1996. “Number Restrictions on Complex Roles in Description Logics: A Preliminary Report.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 328–339. San Francisco, California: Morgan Kaufmann Publishers.
    Baader, Franz and Sattler, Ulrike. 2001. “Algorithms for Description Logics.” Studia Logica: An International Journal for Symbolic Logic 69(1): 5–40.
    Lutz, Carsten and Sattler, Ulrike. 2002. “The Complexity of Reasoning with Boolean Modal Logics.” in Advances in Modal Logic, volume III, edited by Frank Wolter, Heinrich Theodor Wansing, Maarten de Rijke, and Michael Zakharyaschev, pp. 329–348. Singapore: World Scientific Publishing Co.