On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics

Georgieva, L. and Hustadt, U. and Schmidt, R. A. (2002)

In Horrocks, I. and Tessaris, S. (eds), Proceedings of the 2002 International Workshop on Description Logics (DL'2002). CEUR Workshop Proceedings, Vol. CEUR-WS/Vol-53, 25-36. BiBTeX, PostScript.


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 6 Nov 2002
Copyright © 2002 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk