Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 74
Number of items: 74
  • Open Access
    ten Cate, B., Dalmau, V., Kolaitis, P. G., & Wu, W.-L. (2024). When Do Homomorphism Counts Help in Query Algorithms? In G. Cormode, & M. Shekelyan (Eds.), 27th International Conference on Database Theory: ICDT 2024, March 25-28, 2024, Paestum, Italy Article 8 (Leibniz International Proceedings in Informatics; Vol. 290). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2024.8
  • Open Access
    ten Cate, B., & Comer, J. (2024). Craig Interpolation for Decidable First-Order Fragments. In N. Kobayashi, & J. Worrell (Eds.), Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024 : proceedings (Vol. II, pp. 137-159). (Lecture Notes in Computer Science; Vol. 14575), (Advanced Research in Computing and Software Science). Springer. https://doi.org/10.1007/978-3-031-57231-9_7
  • Open Access
    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
  • Open Access
    ten Cate, B., Funk, M., Jung, J. C., & Lutz, C. (2024). On the non-efficient PAC learnability of conjunctive queries. Information Processing Letters, 183, Article 106431. https://doi.org/10.1016/j.ipl.2023.106431
  • ten Cate, B., Funk, M., Jung, J. C., & Lutz, C. (2023). SAT-Based PAC Learning of Description Logic Concepts. In E. Elkind (Ed.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence: IJCAI 2023, Macao, S.A.R, 19-25 August 2023 (Vol. 5, pp. 3347-3355). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/373
  • Open Access
    ten Cate, B., Dalmau, V., Funk, M., & Lutz, C. (2023). Extremal Fitting Problems for Conjunctive Queries. In PODS '23: Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems : June 18-23, 2023, Seattle, WA, USA (pp. 89-98). Association for Computing Machinery. https://doi.org/10.1145/3584372.3588655
  • Open Access
    ten Cate, B., Funk, M., Jung, J. C., & Lutz, C. (2023). Fitting Algorithms for Conjunctive Queries. SIGMOD Record, 52(4), 6-18. https://doi.org/10.1145/3641832.3641834
  • Ten Cate, B., & Dalmau, V. (2022). Conjunctive Queries: Unique Characterizations and Exact Learnability. ACM Transactions on Database Systems, 47(4), Article 14. https://doi.org/10.1145/3559756
  • Open Access
    ten Cate, B. (2022). Lyndon Interpolation for Modal Logic via Type Elimination Sequences. (Technical Notes Series; No. X-2022-01). ILLC, University of Amsterdam. https://eprints.illc.uva.nl/id/eprint/1869/
  • Open Access
    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 2 of 8