Searchable List of Research Output | Institute for Logic, Language and Computation

de Haas, E., Adriaans, P.W. (2000) Grammar induction as substructural inductive logic programming.

Lecture Notes in Computer Science, Vol. 1925 (pp 127-142)

Article | UvA-DARE
de Haas, E., Adriaans, P.W. (2000) Learning from a substructural perspective.

In Proceedings of the fourth Conference on Computational Natural Language Learning and of the Second Language Learning in Logic Workshop (pp 176-183)

Conference contribution | UvA-DARE
de Haas, E. (2001) Logics for OO information systems: a semantic study of object orientation from a categorial substructural perspective.

Thesis, fully internal | UvA-DARE
de Haas, W.B., Burgoyne, J.A. (2012) Parsing the Billboard Chord Transcriptions.

UU-CS. Utrecht university.

Working paper | UvA-DARE
De Haro, S., Butterfield, J. (2021) On symmetry and duality.

Synthese, Vol. 198 (pp 2973–3013)

Article | https://doi.org/10.1007/s11229-019-02258-x | UvA-DARE
De Haro, S. (2021) Theoretical equivalence and duality.

Synthese, Vol. 198 (pp 5139-5177)

Article | https://doi.org/10.1007/s11229-019-02394-4 | UvA-DARE
De Haro, S. (2022) Noether’s Theorems and Energy in General Relativity.

In Read, J. Teh, N.J. (Eds.), The Philosophy and Physics of Noether’s Theorems: A Centenary Volume (pp 197-256). Cambridge University Press.

Chapter | https://doi.org/10.48550/arXiv.2103.17160 | UvA-DARE
De Haro, S. (2023) The Empirical Under-Determination Argument Against Scientific Realism for Dual Theories.

Erkenntnis, Vol. 88 (pp 117–145)

Article | https://doi.org/10.1007/s10670-020-00342-0 | UvA-DARE
de Holanda Cunha Nobrega, H. (2015) Game characterizations of functions of finite Baire class.

Abstract | http://www.math.uni-hamburg.de/DMV2015/abstracts.html | UvA-DARE
de Holanda Cunha Nobrega, H. (2018) Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks.

Thesis, fully internal | UvA-DARE
de Hond, A.A.H., Kant, I.M.J., Fornasa, M., Cina, G., Elbers, P.W.G., Thoral, P.J., Arbous, M.S., Steyerberg, E.W. (2023) Predicting Readmission or Death After Discharge From the ICU: External Validation and Retraining of a Machine Learning Model.

Critical care medicine, Vol. 51 (pp 291-300)

Article | https://doi.org/10.1097/CCM.0000000000005758 | UvA-DARE
de Hoop, H., Hendriks, P., Blutner, K.R. (2007) On compositionality and bidirectional optimization.

Journal of Cognitive Science, Vol. 8 (pp 137-151)

Article | UvA-DARE
De Jaegher, K., van Rooij, R. (2011) Strategic Vagueness, and Appropriate Contexts.

In Benz, A. Ebert, C. Jäger, G. van Rooij, R. (Eds.), Language, Games, and Evolution: Trends in Current Research on Language and Game Theory (pp 40-59) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6207). Springer.

Chapter | https://doi.org/10.1007/978-3-642-18006-4_3 | UvA-DARE
De Jaegher, K., van Rooij, R. (2014) Game-theoretic pragmatics under conflicting and common interests.

Erkenntnis, Vol. 79 (pp 769-820)

Article | https://doi.org/10.1007/s10670-013-9465-0 | UvA-DARE
de Jager, S.T., van Rooy, R.A.M. (2007) Explaining Quantity Implicatures.

In Samet, D. (Eds.), Proceedings of the XIth Conference (TARK 2007) (pp 193-202). Facultes Universitaires Saint-Louis.

Conference contribution | UvA-DARE
de Jager, S.T. (2006) Evolutionary support for a procedural semantics for generalized quantifiers.

In Cangelosi, A. Smith, A.D.M. Smith, K. (Eds.), The Evolution of Language: Proceedings of the 6th International Conference (EVOLANG6) (pp 407-408). World Scientific.

Conference contribution | UvA-DARE
de Jager, S.T. (2009) "Now that you mention it, I wonder..." : Awareness, attention, assumption.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE
de Jongh, D., Chagrova, L. (1995) The decidability of dependency in intuitionistic propositional logic.

Journal of Symbolic Logic, Vol. 60 (pp 498-504)

Article | https://doi.org/10.2307/2275844 | UvA-DARE
de Jongh, D., Hendriks, A. (2003) Characterization of strongly equivalent logic programs in intermediate logics.

Theory and Practice of Logic Programming, Vol. 3 (pp 259-270)

Article | UvA-DARE
de Jongh, D., Iemhoff, R., Zhou, C. (2004) Properties of Intuitionistic Provability and Preservativity Logics.

In Carnielli, W.A. Dionisio, F.M. Mateus, P. (Eds.), CombLog'04, Workshop on Combination of Logics: Theory and Applications

Conference contribution | 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