On the relationship between decidable fragments, non-classical logics, and description logics. Georgieva, L., Hustadt, U., & Schmidt, R. A. In Horrocks, I. & Tessaris, S., editors, Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, volume 53, of CEUR Workshop Proceedings, 2002. CEUR-WS.org.
On the relationship between decidable fragments, non-classical logics, and description logics [ps]Paper  bibtex   
@inproceedings{DBLP:conf/dlog/GeorgievaHS02,
  author       = {Lilia Georgieva and
                  Ullrich Hustadt and
                  Renate A. Schmidt},
  editor       = {Ian Horrocks and
                  Sergio Tessaris},
  title        = {On the relationship between decidable fragments, non-classical logics,
                  and description logics},
  booktitle    = {Proceedings of the 2002 International Workshop on Description Logics
                  (DL2002), Toulouse, France, April 19-21, 2002},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {53},
  publisher    = {CEUR-WS.org},
  year         = {2002},
  url          = {https://ceur-ws.org/Vol-53/GeorgievaHustadtSchmidt.ps},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GeorgievaHS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0