Ciardelli, I. (2014) Interrogative dependencies and the constructive content of inquisitive proofs.

In Kohlenbach, U. Barceló, P. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014 : proceedings (pp 109-123) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 8652). Springer.

Ciardelli, I.A., Cornelisse, I., Groenendijk, J., Roelofsen, F. (2009) Computing compliance.

In He, X. Horty, J. Pacuit, E. (Eds.), Logic, Rationality, and Interaction: second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings (pp 55-65) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 5834). Springer.

Ciardelli, I.A., Groenendijk, J., Roelofsen, F. (2009) Attention! 'Might' in inquisitive semantics.

Proceedings from Semantics and Linguistic Theory, Vol. 19 (pp 91-108)

Article | https://doi.org/10.3765/salt.v19i0.2520 | UvA-DARE

Ciardelli, I.A., Roelofsen, F. (2009) Generalized inquisitive logic: Completeness via intuitionistic Kripke models.

In 12th Conference on Theoretical Aspects of Rationality and Knowledge: TARK '09 : California, July 06-08, 2009 (pp 71-80). ACM.

Ciardelli, I.A., Roelofsen, F. (2015) Inquisitive dynamic epistemic logic.

Synthese, Vol. 192 (pp 1643-1687)

Article | https://doi.org/10.1007/s11229-014-0404-7 | UvA-DARE

Ciardelli, I.A. (2010) A first-order inquisitive semantics.

In Aloni, M. Bastiaanse, H. de Jager, T. Schulz, K. (Eds.), Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009 : revised selected papers (pp 234-243) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6042). Springer.

Ciardelli, I.A. (2016) Questions in logic.

Thesis, fully internal | UvA-DARE

Cilibrasi, R., de Wolf, R., Vitanyi, P.M.B. (2004) Algorithmic Clustering of Music.

In Proceedings of IEEE 4th International Conference on Web Delivering of Music (pp 110-117). IEEE Computer Soc. Press.

Cilibrasi, R., Lotker, Z., Navarra, A., Perennes, S., Vitanyi, P.M.B. (2006) About the lifespan of peer to peer networks.

Lecture Notes in Computer Science, Vol. 4305 (pp 290-305)

Article | UvA-DARE

Cilibrasi, R., van Iersel, E.J.J., Kelk, S., Tromp, J. (2007) On the complexity of the Single Individual SNP Haplotyping Problem.

Algorithmica, Vol. 49 (pp 13-36)

Article | https://doi.org/10.1007/s00453-007-0029-z | UvA-DARE

Cilibrasi, R., Vitanyi, P.M.B., de Wolf, R. (2003) Algorithm Clustering of Music.

ERCIM News, Vol. 54 (pp 53-53)

Article | UvA-DARE

Cilibrasi, R., Vitanyi, P.M.B., de Wolf, R. (2004) Algorithmic clustering of music based on string compression.

Computer Music Journal, Vol. 28 (pp 49-67)

Article | UvA-DARE

Cilibrasi, R., Vitanyi, P.M.B. (2005) Clustering by compression.

IEEE Transactions on Information Theory, Vol. 51 (pp 1523-1545)

Article | https://doi.org/10.1109/TIT.2005.844059 | UvA-DARE

Cilibrasi, R., Vitanyi, P.M.B. (2005) Google Teaches Computer the Meaning of Words.

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

Article | UvA-DARE

Cilibrasi, R., Vitanyi, P.M.B. (2006) Automatic extraction of meaning from the web.

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

Cilibrasi, R., Vitanyi, 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., Vitanyi, P.M.B. (2014) A Fast Quartet Tree Heuristic for Hierarchical Clustering.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.1409.4276 | 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