Inproceedings,
Exptime Tableaux for ALC.
G. Giacomo, F. Donini, and F. Massacci.Description Logics, volume WS-96-05 of AAAI Technical Report, page 107-110. AAAI Press, (1996)
Meta data
- BibTeX key
- conf/dlog/GiacomoDM96
- entry type
- inproceedings
- booktitle
- Description Logics
- year
- 1996
- pages
- 107-110
- publisher
- AAAI Press
- series
- AAAI Technical Report
- volume
- WS-96-05
- crossref
- conf/dlog/1996
- isbn
- 1-57735-014-6
- date
- 2004-03-05
- url
- http://dblp.uni-trier.de/db/conf/dlog/dlog1996.html#GiacomoDM96
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dlog/GiacomoDM96
%A Giacomo, Giuseppe De
%A Donini, Francesco M.
%A Massacci, Fabio
%B Description Logics
%D 1996
%E Padgham, Lin
%E Franconi, Enrico
%E Gehrke, Manfred
%E McGuinness, Deborah L.
%E Patel-Schneider, Peter F.
%I AAAI Press
%K dblp
%P 107-110
%T Exptime Tableaux for ALC.
%U http://dblp.uni-trier.de/db/conf/dlog/dlog1996.html#GiacomoDM96
%V WS-96-05
%@ 1-57735-014-6
@inproceedings{conf/dlog/GiacomoDM96,
added-at = {2004-03-05T00:00:00.000+0100},
author = {Giacomo, Giuseppe De and Donini, Francesco M. and Massacci, Fabio},
biburl = {https://www.bibsonomy.org/bibtex/2a8cacb410be5b87c6db1e6961d5c9e9b/dblp},
booktitle = {Description Logics},
crossref = {conf/dlog/1996},
date = {2004-03-05},
description = {dblp},
editor = {Padgham, Lin and Franconi, Enrico and Gehrke, Manfred and McGuinness, Deborah L. and Patel-Schneider, Peter F.},
interhash = {9710a637aa70166c1f39d7dbd080ca0e},
intrahash = {a8cacb410be5b87c6db1e6961d5c9e9b},
isbn = {1-57735-014-6},
keywords = {dblp},
pages = {107-110},
publisher = {AAAI Press},
series = {AAAI Technical Report},
timestamp = {2004-03-05T00:00:00.000+0100},
title = {Exptime Tableaux for ALC.},
url = {http://dblp.uni-trier.de/db/conf/dlog/dlog1996.html#GiacomoDM96},
volume = {WS-96-05},
year = 1996
}