{"publisher":"Springer","volume":11560,"date_created":"2024-10-10T12:25:17Z","doi":"10.1007/978-3-030-22102-7_1","publication":"Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday","title":"A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction","citation":{"mla":"Lutz, Carsten, et al. “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction.” <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>, edited by Carsten Lutz et al., vol. 11560, Springer, 2019, pp. 1–14, doi:<a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">10.1007/978-3-030-22102-7_1</a>.","bibtex":"@inproceedings{Lutz_Sattler_Tinelli_Turhan_Wolter_2019, series={Lecture Notes in Computer Science}, title={A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction}, volume={11560}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">10.1007/978-3-030-22102-7_1</a>}, booktitle={Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday}, publisher={Springer}, author={Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank}, editor={Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank}, year={2019}, pages={1–14}, collection={Lecture Notes in Computer Science} }","chicago":"Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter. “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction.” In <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>, edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, 11560:1–14. Lecture Notes in Computer Science. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">https://doi.org/10.1007/978-3-030-22102-7_1</a>.","ama":"Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F. A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction. In: Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>. Vol 11560. Lecture Notes in Computer Science. Springer; 2019:1–14. doi:<a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">10.1007/978-3-030-22102-7_1</a>","ieee":"C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction,” in <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>, 2019, vol. 11560, pp. 1–14, doi: <a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">10.1007/978-3-030-22102-7_1</a>.","apa":"Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., &#38; Wolter, F. (2019). A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction. In C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, &#38; F. Wolter (Eds.), <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i> (Vol. 11560, pp. 1–14). Springer. <a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">https://doi.org/10.1007/978-3-030-22102-7_1</a>","short":"C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, in: C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter (Eds.), Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Springer, 2019, pp. 1–14."},"user_id":"15504","author":[{"full_name":"Lutz, Carsten","first_name":"Carsten","last_name":"Lutz"},{"full_name":"Sattler, Uli","last_name":"Sattler","first_name":"Uli"},{"first_name":"Cesare","last_name":"Tinelli","full_name":"Tinelli, Cesare"},{"first_name":"Anni-Yasmin","id":"104470","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"},{"last_name":"Wolter","first_name":"Frank","full_name":"Wolter, Frank"}],"intvolume":"     11560","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","date_updated":"2024-10-10T12:25:41Z","page":"1–14","status":"public","year":"2019","type":"conference","_id":"56493","editor":[{"full_name":"Lutz, Carsten","first_name":"Carsten","last_name":"Lutz"},{"full_name":"Sattler, Uli","first_name":"Uli","last_name":"Sattler"},{"last_name":"Tinelli","first_name":"Cesare","full_name":"Tinelli, Cesare"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"},{"full_name":"Wolter, Frank","first_name":"Frank","last_name":"Wolter"}]}