Cilibrasi, R.L., Vitányi, P.M.B. (2005) Google Teaches Computer the Meaning of Words.

ERCIM News, Vol. 61 (pp 48-49)

Article | UvA-DARE

Cilibrasi, R.L., Vitányi, P.M.B. (2006) Automatic extraction of meaning from the web.

In Proceedings IEEE International symposium on information theory (pp 2309-2313)

Cilibrasi, R.L., Vitányi, P.M.B. (2006) Similarity of objects and the meaning of words.

Lecture Notes in Computer Science, Vol. 3959 (pp 21-45)

Article | UvA-DARE

Cilibrasi, R.L., Vitányi, P.M.B. (2011) A Fast Quartet tree heuristic for hierarchical clustering.

Pattern Recognition, Vol. 44 (pp 662-677)

Article | https://doi.org/10.1016/j.patcog.2010.08.033 | UvA-DARE

Cilibrasi, R.L. (2007) Statistical inference through data compression.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Cina, G., Baltag, A. (2016) Bisimulation for conditional modalities (extended version).

In ILLC Technical Reports

Cina, G., Endriss, U. (2015) A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions.

In AAMAS '15: proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems : May, 4-8, 2015, Istanbul, Turkey (pp 1009-1017). International Foundation for Autonomous Agents and Multiagent Systems.

Cina, G., Endriss, U. (2016) Proving Classical Theorems of Social Choice Theory in Modal Logic.

Autonomous Agents and Multi-Agent Systems, Vol. 30 (pp 963-989)

Article | https://doi.org/10.1007/s10458-016-9328-6 | UvA-DARE

Cina, G., Enqvist, N.J.S. (2015) Bisimulation and path logic for sheaves.

In Proceedings of TACL 2015

Cina, G., Enqvist, N.J.S. (2016) Bisimulation and path logic for sheaves: contextuality and beyond..

In ILLC Technical Reports

Cina, G., Röber, T., Goedhart, R., Birbil, I. (2022) Why we do need Explainable AI for Healthcare.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.2206.15363 | UvA-DARE

Cina, G., Röber, T., Goedhart, R., Birbil, I. (2023) Semantic match: Debugging feature attribution methods in XAI for healthcare.

Proceedings of Machine Learning Research, Vol. 209 (pp 182-190)

Article | https://proceedings.mlr.press/v209/cina23a/cina23a.pdf | UvA-DARE

Cina, G. (2014) Connecting the Categorical and the Modal Logic Approaches to Quantum Mechanics.

In Proceedings of ESSLLI 2014 Student Session

Cina, G. (2014) A Formal Analysis of the Best System Account of Lawhood.

Rivista Italiana di Filosofia Analitica Junior, Vol. 5 (pp 59-73)

Article | UvA-DARE

Cina, G. (2016) Mixing Categories and Modal Logics in the Quantum Setting.

In Aerts, D. de Ronde, C. Freytes, H. Giuntini, R. (Eds.), Probing the Meaning of Quantum Mechanics: superpositions, dynamics, semantics and identity ; Quantum Mechanics and Quantum Information: Physical, Philosophical and Logical Approaches, Cagliari, Italy, 23-25 July 2014 (pp 60-75). World Scientific.

Cina, G. (2017) Categories for the working modal logician.

Thesis, fully internal | UvA-DARE

Cinti, E., De Haro, S. (2024) Cambridge Element on Dualities.

Cambridge University Press.

Book | UvA-DARE

Cirstea, C., Kurz, A., Pattinson, D., Schröder, L., Venema, Y. (2011) Modal logics are coalgebraic.

Computer Journal, Vol. 54 (pp 31-41)

Article | https://doi.org/10.1093/comjnl/bxp004 | UvA-DARE

Ciuni, R., Proietti, C. (2019) TRL semantics and Burgess' formula.

In Blackburn, P. Hasle, P. Øhrstrøm, P. (Eds.), Logic and Philosophy of Time: Further Themes from Prior (pp 163-181) (Logic and Philosophy of Time, Vol. 2). Aalborg University Press.

Clarke, B., Ghiara, V., Russo, F. (2019) Time to care: why the humanities and the social sciences belong in the science of health.

BMJ Open, Vol. 9

Article | https://doi.org/10.1136/bmjopen-2019-030286 | UvA-DARE