![]() | Up a level |
Book Section
Chen, Hubie (2004) Collapsibility and consistency in quantified constraint satisfaction. In: McGuinness, D.L. and Ferguson, G. (eds.) Proceedings of the Nineteenth National Conference on Artificial Intelligence. AAAI, pp. 155-160.
Kutz, O. and Wolter, F. and Zakharyaschev, Michael (2002) Connecting abstract description systems. In: Fensel, D. and Giunchiglia, F. and McGuinness, D.L. and Williams, M.-A. (eds.) KR-02: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 215-226.
Artale, A. and Franconi, E. and Mosurovic, M. and Wolter, F. and Zakharyaschev, Michael (2001) The DLRUS temporal description logic. In: Goble, C.A. and McGuinness, D.L. and Moller, R. and Patel-Schneider, P.F. (eds.) DL-2001: Working Notes of the 2001 International Description Logics Workshop. CEUR Workshop Proceedings 49. CEUR-WS.org.
Kutz, O. and Wolter, F. and Zakharyaschev, Michael (2001) A note on concepts and distances. In: Goble, C.A. and McGuinness, D.L. and Moller, R. and Patel-Schneider, P.F. (eds.) DL-2001: Working Notes of the 2001 International Description Logics Workshop. CEUR Workshop Proceedings 49. CEUR-WS.org.