{"_id":"56567","doi":"10.1007/978-3-540-39813-4_8","language":[{"iso":"eng"}],"author":[{"first_name":"Sebastian","last_name":"Brandt","full_name":"Brandt, Sebastian"},{"id":"104470","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan"},{"full_name":"Küsters, Ralf","last_name":"Küsters","first_name":"Ralf"}],"year":"2003","series_title":"Lecture Notes in Computer Science","citation":{"ieee":"S. Brandt, A.-Y. Turhan, and R. Küsters, “Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles,” in <i>Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings</i>, 2003, vol. 2850, pp. 122–136, doi: <a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">10.1007/978-3-540-39813-4_8</a>.","mla":"Brandt, Sebastian, et al. “Extensions of Non-Standard Inferences to Descriptions Logics with Transitive Roles.” <i>Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings</i>, edited by Moshe Y. Vardi and Andrei Voronkov, vol. 2850, Springer, 2003, pp. 122–136, doi:<a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">10.1007/978-3-540-39813-4_8</a>.","apa":"Brandt, S., Turhan, A.-Y., &#38; Küsters, R. (2003). Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. In M. Y. Vardi &#38; A. Voronkov (Eds.), <i>Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings</i> (Vol. 2850, pp. 122–136). Springer. <a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">https://doi.org/10.1007/978-3-540-39813-4_8</a>","bibtex":"@inproceedings{Brandt_Turhan_Küsters_2003, series={Lecture Notes in Computer Science}, title={Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles}, volume={2850}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">10.1007/978-3-540-39813-4_8</a>}, booktitle={Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings}, publisher={Springer}, author={Brandt, Sebastian and Turhan, Anni-Yasmin and Küsters, Ralf}, editor={Vardi, Moshe Y. and Voronkov, Andrei}, year={2003}, pages={122–136}, collection={Lecture Notes in Computer Science} }","ama":"Brandt S, Turhan A-Y, Küsters R. Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. In: Vardi MY, Voronkov A, eds. <i>Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings</i>. Vol 2850. Lecture Notes in Computer Science. Springer; 2003:122–136. doi:<a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">10.1007/978-3-540-39813-4_8</a>","chicago":"Brandt, Sebastian, Anni-Yasmin Turhan, and Ralf Küsters. “Extensions of Non-Standard Inferences to Descriptions Logics with Transitive Roles.” In <i>Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings</i>, edited by Moshe Y. Vardi and Andrei Voronkov, 2850:122–136. Lecture Notes in Computer Science. Springer, 2003. <a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">https://doi.org/10.1007/978-3-540-39813-4_8</a>.","short":"S. Brandt, A.-Y. Turhan, R. Küsters, in: M.Y. Vardi, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, Springer, 2003, pp. 122–136."},"page":"122–136","intvolume":"      2850","user_id":"15504","date_created":"2024-10-10T13:40:02Z","editor":[{"full_name":"Vardi, Moshe Y.","last_name":"Vardi","first_name":"Moshe Y."},{"full_name":"Voronkov, Andrei","last_name":"Voronkov","first_name":"Andrei"}],"status":"public","publication":"Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings","date_updated":"2024-10-10T13:40:14Z","title":"Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles","volume":2850,"publisher":"Springer","type":"conference"}