Search results
Results: 5
Number of items: 5
-
ten Cate, B., Koudijs, R., & Ozaki, A. (2024). On the Power and Limitations of Examples for Description Logic Concepts. In K. Larson (Ed.), Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence: Jeju, Korea : 3-9 August 2024 (Vol. 5, pp. 3567-3575). (IJCAI). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/395 -
ten Cate, B., & Koudijs, R. (2024). Characterising Modal Formulas with Examples. ACM Transactions on Computational Logic, 25(2), Article 12. https://doi.org/10.1145/3649461 -
ten Cate, B., Koudijs, R., & Ozaki, A. (2024). On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract). In L. Giordano, J. C. Jung, & A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024): Bergen, Norway, June 18-21, 2024 (CEUR Workshop Proceedings; Vol. 3739). CEUR-WS. https://ceur-ws.org/Vol-3739/abstract-9.pdf -
van Benthem, J., ten Cate, B., & Koudijs, R. (2022). Local Dependence and Guarding. In D. Fernández-Duque, A. Palmigiano, & S. Pinchinat (Eds.), Advances in Modal Logic: AiML 14 (pp. 135-154). College Publications. https://doi.org/10.48550/arXiv.2206.06046
Page of