Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\)
M. Pensel, A.-Y. Turhan, in: M. Balduccini, T. Janhunen (Eds.), Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, Springer, 2017, pp. 78–84.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Pensel, Maximilian;
Turhan, Anni-YasminLibreCat
Editor
Balduccini, Marcello;
Janhunen, Tomi
Publishing Year
Proceedings Title
Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
forms.conference.field.series_title_volume.label
Lecture Notes in Computer Science
Volume
10377
Page
78–84
LibreCat-ID
Cite this
Pensel M, Turhan A-Y. Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\). In: Balduccini M, Janhunen T, eds. Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Vol 10377. Lecture Notes in Computer Science. Springer; 2017:78–84. doi:10.1007/978-3-319-61660-5_9
Pensel, M., & Turhan, A.-Y. (2017). Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\). In M. Balduccini & T. Janhunen (Eds.), Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings (Vol. 10377, pp. 78–84). Springer. https://doi.org/10.1007/978-3-319-61660-5_9
@inproceedings{Pensel_Turhan_2017, series={Lecture Notes in Computer Science}, title={Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\)}, volume={10377}, DOI={10.1007/978-3-319-61660-5_9}, booktitle={Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings}, publisher={Springer}, author={Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Balduccini, Marcello and Janhunen, Tomi}, year={2017}, pages={78–84}, collection={Lecture Notes in Computer Science} }
Pensel, Maximilian, and Anni-Yasmin Turhan. “Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\).” In Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, edited by Marcello Balduccini and Tomi Janhunen, 10377:78–84. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-61660-5_9.
M. Pensel and A.-Y. Turhan, “Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\),” in Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, 2017, vol. 10377, pp. 78–84, doi: 10.1007/978-3-319-61660-5_9.
Pensel, Maximilian, and Anni-Yasmin Turhan. “Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\).” Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, edited by Marcello Balduccini and Tomi Janhunen, vol. 10377, Springer, 2017, pp. 78–84, doi:10.1007/978-3-319-61660-5_9.
Google Scholar