Details
| Original language | English |
|---|---|
| Title of host publication | Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings |
| Editors | Mitsunori Ogihara, Jun Tarui |
| Pages | 552-562 |
| Number of pages | 11 |
| Volume | 6648 |
| Publication status | Published - 2011 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Generalized Satisfiability for the Description Logic ALC - (Extended Abstract). / Meier, Arne; Schneider, Thomas.
Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. ed. / Mitsunori Ogihara; Jun Tarui. Vol. 6648 2011. p. 552-562 (Lecture Notes in Computer Science).
Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. ed. / Mitsunori Ogihara; Jun Tarui. Vol. 6648 2011. p. 552-562 (Lecture Notes in Computer Science).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
Meier, A & Schneider, T 2011, Generalized Satisfiability for the Description Logic ALC - (Extended Abstract). in M Ogihara & J Tarui (eds), Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. vol. 6648, Lecture Notes in Computer Science, pp. 552-562. https://doi.org/10.1007/978-3-642-20877-553
Meier, A., & Schneider, T. (2011). Generalized Satisfiability for the Description Logic ALC - (Extended Abstract). In M. Ogihara, & J. Tarui (Eds.), Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings (Vol. 6648, pp. 552-562). (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-20877-553
Meier A, Schneider T. Generalized Satisfiability for the Description Logic ALC - (Extended Abstract). In Ogihara M, Tarui J, editors, Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. Vol. 6648. 2011. p. 552-562. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-20877-553
Download
@inproceedings{8e5ede62ec6d49d4910f41bff3ea052b,
title = "Generalized Satisfiability for the Description Logic ALC - (Extended Abstract)",
author = "Arne Meier and Thomas Schneider",
year = "2011",
doi = "10.1007/978-3-642-20877-553",
language = "English",
volume = "6648",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "552--562",
editor = "Mitsunori Ogihara and Jun Tarui",
booktitle = "Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings",
}
Download
TY - GEN
T1 - Generalized Satisfiability for the Description Logic ALC - (Extended Abstract)
AU - Meier, Arne
AU - Schneider, Thomas
PY - 2011
Y1 - 2011
U2 - 10.1007/978-3-642-20877-553
DO - 10.1007/978-3-642-20877-553
M3 - Conference contribution
VL - 6648
T3 - Lecture Notes in Computer Science
SP - 552
EP - 562
BT - Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
A2 - Ogihara, Mitsunori
A2 - Tarui, Jun
ER -