Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
675 Publications
2004 | Book (Editor) | LibreCat-ID: 32885
Inszenierungen in Schrift und Bild
C. Öhlschläger, G. Neumann, eds., Inszenierungen in Schrift und Bild, Aisthesis Verlag, Bielefeld, 2004.
LibreCat
C. Öhlschläger, G. Neumann, eds., Inszenierungen in Schrift und Bild, Aisthesis Verlag, Bielefeld, 2004.
2004 | Conference Paper | LibreCat-ID: 56564
Computing the Least Common Subsumer w.r.t. a Background Terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, in: J.J. Alferes, J.A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Springer, 2004, pp. 400–412.
LibreCat
| DOI
F. Baader, B. Sertkaya, A.-Y. Turhan, in: J.J. Alferes, J.A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Springer, 2004, pp. 400–412.
2004 | Conference Paper | LibreCat-ID: 56561
Sonic - Non-standard Inferences Go OilEd
A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.
LibreCat
| DOI
A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.
2004 | Conference Paper | LibreCat-ID: 56562
Computing the Least Common Subsumer w.r.t. a Background Terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.
LibreCat
F. Baader, B. Sertkaya, A.-Y. Turhan, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.
2004 | Conference Paper | LibreCat-ID: 56563
Sonic: System Description
A.-Y. Turhan, C. Kissig, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.
LibreCat
A.-Y. Turhan, C. Kissig, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.