Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 23rd International Workshop on Description Logics (DL 2010) |
| Publication status | Published - 2010 |
| Event | 24th International Workshop on Description Logics - Waterloo, Canada Duration: 4 May 2010 → 7 May 2010 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Proceedings of the 23rd International Workshop on Description Logics (DL 2010). 2010.
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - The Complexity of Satisfiability for Sub-Boolean Fragments of ALC
AU - Meier, Arne
AU - Schneider, Thomas
N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.
PY - 2010
Y1 - 2010
M3 - Conference contribution
BT - Proceedings of the 23rd International Workshop on Description Logics (DL 2010)
T2 - 24th International Workshop on Description Logics
Y2 - 4 May 2010 through 7 May 2010
ER -