-
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.Conference contribution | https://doi.org/10.24963/ijcai.2023/373 | UvA-DAREten Cate, B., Funk, M., Jung, J.C., Lutz, C. (2023) Fitting Algorithms for Conjunctive Queries.SIGMOD Record, Vol. 52 (pp 6-18)Article | https://doi.org/10.1145/3641832.3641834 | UvA-DAREten Cate, B., Funk, M., Jung, J.C., Lutz, C. (2024) On the non-efficient PAC learnability of conjunctive queries.Information Processing Letters, Vol. 183Article | https://doi.org/10.1016/j.ipl.2023.106431 | UvA-DAREten Cate, B., Koudijs, R. (2022) Characterising Modal Formulas with Examples.Paper | https://arxiv.org/abs/2206.06049 | UvA-DAREten Cate, B., Marx, M., Viana, P. (2004) Sahlqvist theory for hybrid logic.In Troelstra, A. (Eds.), Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh (pp 1-6)Chapter | UvA-DAREten Cate, B., Safarova, M. (2001) Interpreting uncertain or inconsistent information using belief networks.In O'Donoghue, D. (Eds.), Proceedings of The 12th Irish Conference on Artificial Intelligence and Cognitive Science, Maynooth, Co. Kildare, Ireland, September 2001 (pp 243-252). National University of Ireland.Conference contribution | UvA-DAREten Cate, B., Safarova, M. (2001) Representing model conversation failures with belief networks.In Schreiber, G. Kröse, B. de Rijke, M. van Someren, M. (Eds.), Proceedings of BNAIC 2001, Amsterdam, October 25-26 2001 (pp 365-372)Chapter | UvA-DAREten Cate, B., Shan, C. (2002) Question answering: From partitions to prolog.In Egli, U. Fermuller, C. (Eds.), Proceedings of TABLEAUX 2002: Automated Reasoning with Analytic Tableaux and Related Methods (pp 251-265). Springer Verlag.Conference contribution | UvA-DAREten Cate, B., van Benthem, J.F.A.K., Väänänen, J.A. (2007) Lindström theorems for fragments of first-order logic.In Proceedings of LICS 2007 (pp 280-292)Conference contribution | UvA-DAREten Cate, B., van Eijck, J., Heguiabehere, J.M. (2001) Expressivity of extensions of dynamic predicate logic.In van Rooy, Robert Stokhof, Martin (Eds.), Proceedings of the Thirteenth Amsterdam Colloquium (pp 55-60). ILLC/Department of Philosophy.Conference contribution | UvA-DAREten Cate, B. (2001) Information exchange as reduction.In Striegnitz, Kristina (Eds.), Proceedings ESSLLI 2001 Student SessionConference contribution | UvA-DAREten Cate, B. (2001) The dynamics of information exchange dialogues.In Proceedings of FG/MOL 2001Conference contribution | UvA-DAREten Cate, B. (2002) On the logic of d-separation.In McGuiness, D. Fensel, D. Williams, M. (Eds.), Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002) (pp 568-577). Morgan Kaufmann.Conference contribution | UvA-DAREten Cate, B. (2002) Internalizing epistemic actions.In Martinez, M. (Eds.), Proceedings of the NASSLLI-2002 student session (pp 109-123)Conference contribution | UvA-DAREten Cate, B. (2003) Proceedings of the 8th ESSLLI Student Session.http://staff.science.uva.nl/~bcate/esslli03/.Book (Editorship) | UvA-DAREten Cate, B. (2004) The first order formulas preserved under ultrafilter extensions are not recursively enumerable.Institute for Logic, Language and Computation.Working paper | UvA-DAREten Cate, B. (2005) Interpolation for extended modal languages.Journal of Symbolic Logic, Vol. 70 (pp 223-234)Article | https://doi.org/10.2178/jsl/1107298517 | UvA-DAREten Cate, B. (2005) Model theory for extended modal languages.Institute for Logic, Language and Computation.Thesis, fully internal | UvA-DAREten Cate, B. (2022) Lyndon Interpolation for Modal Logic via Type Elimination Sequences.Technical Notes Series. ILLC, University of Amsterdam.Working paper | https://eprints.illc.uva.nl/id/eprint/1869/ | UvA-DAREten Cate, C., Gervain, J., Levelt, C.C., Petkov, C.I., Zuidema, W. (2020) Editors' Review and Introduction: Learning Grammatical Structures: Developmental, Cross-Species, and Computational Approaches.Topics in Cognitive Science, Vol. 12 (pp 804-814)Review article | https://doi.org/10.1111/tops.12493 | UvA-DARE
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 illc at uva.nl