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. 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
{"_id":"FjkMHkodbGCBo8usb","bibbaseid":"georgieva-hustadt-schmidt-ontherelationshipbetweendecidablefragmentsnonclassicallogicsanddescriptionlogics-2002","author_short":["Georgieva, L.","Hustadt, U.","Schmidt, R. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Lilia"],"propositions":[],"lastnames":["Georgieva"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"editor":[{"firstnames":["Ian"],"propositions":[],"lastnames":["Horrocks"],"suffixes":[]},{"firstnames":["Sergio"],"propositions":[],"lastnames":["Tessaris"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/dlog/GeorgievaHS02,\n author = {Lilia Georgieva and\n Ullrich Hustadt and\n Renate A. Schmidt},\n editor = {Ian Horrocks and\n Sergio Tessaris},\n title = {On the relationship between decidable fragments, non-classical logics,\n and description logics},\n booktitle = {Proceedings of the 2002 International Workshop on Description Logics\n (DL2002), Toulouse, France, April 19-21, 2002},\n series = {{CEUR} Workshop Proceedings},\n volume = {53},\n publisher = {CEUR-WS.org},\n year = {2002},\n url = {https://ceur-ws.org/Vol-53/GeorgievaHustadtSchmidt.ps},\n timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},\n biburl = {https://dblp.org/rec/conf/dlog/GeorgievaHS02.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Georgieva, L.","Hustadt, U.","Schmidt, R. A."],"editor_short":["Horrocks, I.","Tessaris, S."],"key":"DBLP:conf/dlog/GeorgievaHS02","id":"DBLP:conf/dlog/GeorgievaHS02","bibbaseid":"georgieva-hustadt-schmidt-ontherelationshipbetweendecidablefragmentsnonclassicallogicsanddescriptionlogics-2002","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-53/GeorgievaHustadtSchmidt.ps"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["relationship","between","decidable","fragments","non","classical","logics","description","logics","georgieva","hustadt","schmidt"],"title":"On the relationship between decidable fragments, non-classical logics, and description logics","year":2002}