uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Taylor, R.R., Munoriyarwa, A. (2024) Africa, AI, and climate change.
    The Diplomatic Informer Magazine.
    Report | UvA-DARE
  • Taylor, R.R., O'Dell, B., Murphy, J.W. (2024) Human-centric AI: philosophical and community-centric considerations.
    AI and Society, Vol. 39 (pp 2417–2424)
  • Taylor, R.R., Zhang, X. (2025) Double Trouble: Cognitive Miserliness and Scientific Deference in High-Risk Domains – Hypothesizing AI’s Role in Reinforcing the Status Quo.
    AI & Society
    Article | UvA-DARE
  • Taylor, R.R. (2024) Democratizing AI in public administration: improving equity through maximum feasible participation.
    AI & Society
  • te Brake, G., Kok, J.N., Vitanyi, P.M.B. (1994) Model selection for neural networks: comparing MDL and NIC.
    In Proc. European Symposium on Artificial Neural Networks
    Chapter | UvA-DARE
  • Tedeschi, S., Bos, J., Declerck, T., Hajič, J., Hershcovich, D., Hovy, E.H., Koller, A., Krek, S., Schockaert, S., Sennrich, R., Shutova, E., Navigli, R. (2023) What's the Meaning of Superhuman Performance in Today's NLU?.
    In Rogers, A. Boyd-Graper, J. Okazaki, N. (Eds.), The 61st Conference of the Association for Computational Linguistics: ACL 2023 : Proceedings of the Conference : July 9-14, 2023 (pp 12471-12491). Association for Computational Linguistics.
  • Tel, G., Vitányi, P. (1994) Distributed algorithms: 8th international workshop, WDAG '1994, Terschelling, The Netherlands, September 29 -October 1, 1994: proceedings.
    Lecture Notes in Computer Science. Springer.
  • ten Cate, B., Comer, Jesse (2024) Craig Interpolation for Decidable First-Order Fragments.
    In Kobayashi, Naoki Worrell, James (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, Proceedings (pp 137-159) (Lecture Notes in Computer Science, Vol. 14575). Springer.
  • ten Cate, B., Conradie, W., Marx, M., Venema, Y. (2006) Definitorially Complete Description Logics.
    In Doherty, P. Mylopoulos, J. Welty, C. (Eds.), Proceedings of KR 2006 (pp 79-89). AAAI Press.
    Conference contribution | UvA-DARE
  • 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.
  • ten Cate, B., Dalmau, V., Kolaitis, Phokion G., Wu, Wei Lin (2024) When Do Homomorphism Counts Help in Query Algorithms?.
    In Cormode, Graham Shekelyan, Michael (Eds.), 27th International Conference on Database Theory, ICDT 2024 (Leibniz International Proceedings in Informatics, Vol. 290). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  • ten Cate, B., Dalmau, V., Opršal, Jakub (2024) Right-Adjoints for Datalog Programs.
    In Cormode, Graham Shekelyan, Michael (Eds.), 27th International Conference on Database Theory, ICDT 2024 (Leibniz International Proceedings in Informatics, Vol. 290). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  • ten Cate, B., Dalmau, V. (2021) Conjunctive Queries: Unique Characterizations and Exact Learnability.
    In Yi, K. Wei, Z. (Eds.), 24th International Conference on Database Theory: ICDT 2021, March 23-26, 2021, Nicosia, Cyprus (Leibniz International Proceedings in Informatics, Vol. 186). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  • ten Cate, B., Dalmau, V. (2022) Conjunctive Queries: Unique Characterizations and Exact Learnability.
    ACM Transactions on Database Systems, Vol. 47
  • ten Cate, B., Fontaine, G., Litak, T.M. (2007) Some modal aspects of XPath.
    In Proceedings of Methods for Modalities 2007 (pp 21-34)
    Conference contribution | UvA-DARE
  • ten Cate, B., Fontaine, G. (2010) An easy completeness proof for the modal μ-calculus on finite trees.
    In Matthes, R. Uustalu, T. (Eds.), 6th Workshop on Fixed Points in Computer Science, FICS 2009: Coimbra, Portugal, 12-13 September 2009: Proceedings (pp 30-38). Tallinn University of Technology, Institute of Cybernetics.
  • ten Cate, B., Franceschet, M. (2005) On the Complexity of hybrid logics with binders.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • ten Cate, B., Funk, M., Jung, J.C., Lutz, C. (2023) Fitting Algorithms for Conjunctive Queries.
    SIGMOD Record, Vol. 52 (pp 6-18)
  • ten Cate, B., Funk, M., Jung, J.C., Lutz, C. (2023) SAT-Based PAC Learning of Description Logic Concepts.
    In Elkind, E. (Eds.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence: IJCAI 2023, Macao, S.A.R, 19-25 August 2023 (pp 3347-3355). International Joint Conferences on Artificial Intelligence.
  • ten Cate, B., Funk, M., Jung, J.C., Lutz, C. (2024) On the non-efficient PAC learnability of conjunctive queries.
    Information Processing Letters, Vol. 183
1 ... 246 247 248 249 250 251 252 253 254 ... 322

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact