MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Georgieva, Lilia
Hustadt, Ullrich
Schmidt, Renate A.		dblp
dblp
dblp
Not MPG Author(s):
Georgieva, Lilia
Hustadt, Ullrich
Schmidt, Renate A.
Editor(s):
Horrocks, Ian
Tessaris, Sergio		dblp
dblp
Not MPII Editor(s):
Horrocks, Ian
Tessaris, Sergio
BibTeX cite key*:
GeorgievaHustadtSchmidt02d
Title, Booktitle
Title*:
On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
Booktitle*:
Proceedings of the International Workshop on Description Logics (DL'2002)
Event, URLs
Conference URL::
Downloading URL:
http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-53/GeorgievaHustadtSchmidt.ps
Event Address*:
Toulouse, France
Language:
English
Event Date*
(no longer used):
April 2002
Organization:
Event Start Date:
29 July 2003
Event End Date:
2 August 2003
Publisher
Name*:
CEUR
URL:
http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/
Address*:
Aachen, Germany
Type:
Vol, No, Year, pp.
Series:
CEUR Workshop Proceedings
Volume:
53
Number:
Month:
Pages:
25-36
Year*:
2002
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
URL for the Abstract:
http://www.cs.man.ac.uk/~schmidt/publications/GeorgievaHustadtSchmidt02d.html
Keywords:
theorem proving, description logics, decidable first-order fragments
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Appearance:



BibTeX Entry:
@INPROCEEDINGS{GeorgievaHustadtSchmidt02d,
AUTHOR = {Georgieva, Lilia and Hustadt, Ullrich and Schmidt, Renate A.},
 EDITOR = {Horrocks, Ian and Tessaris, Sergio},
 TITLE = {On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics},
 BOOKTITLE = {Proceedings of the International Workshop on Description Logics (DL'2002)},
 PUBLISHER = {CEUR},
 YEAR = {2002},
 VOLUME = {53},
 PAGES = {25--36},
 SERIES = {CEUR Workshop Proceedings},
 ADDRESS = {Toulouse, France},
}

Entry last modified by Christine Kiesel, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Renate A. Schmidt		Created
02/03/2003 07:15:37 PM
Revisions
8.
7.
6.
5.
4.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
01.09.2003 17:24:21
01.09.2003 16:37:36
12.08.2003 17:47:08
01.08.2003 15:48:48
29.07.2003 14:35:17