van Gessel, T. (2022) Questions in two-dimensional logic.

Review of Symbolic Logic, Vol. 15 (pp 859-879)

Article | https://doi.org/10.1017/S1755020321000186 | UvA-DARE

van Gool, S.J., Metcalfe, G., Tsinakis, C. (2017) Uniform Interpolation and Compact Congruences.

Annals of Pure and Applied Logic, Vol. 168 (pp 1927-1948)

Article | https://doi.org/10.1016/j.apal.2017.05.001 | UvA-DARE

van Hage, W.R., de Rijke, M., Marx, M. (2004) Information retrieval support for ontology construction and use.

Lecture Notes in Computer Science, Vol. 3298 (pp 518-533)

Article | UvA-DARE

van Heerdt, G., Kappé, T., Rot, J., Sammartino, M., Silva, A. (2022) A Categorical Framework for Learning Generalised Tree Automata.

In Hansen, H.H. Zanasi, F. (Eds.), Coalgebraic Methods in Computer Science: 16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings (pp 67-87) (Lecture Notes in Computer Science, Vol. 13225). Springer.

van Hees, M., Roy, O. (2008) Intentions and plans in decision and game theory.

In Verbeek, B. (Eds.), Reasons and intentions (pp 207-226). Ashgate.

van Hees, M., Roy, O. (2009) Intentions, decisions and rationality.

In Boylan, T.A. Gekker, R. (Eds.), Economics, rational choice and normative philosophy (pp 56-72) (Routledge frontiers of political economy). Routledge.

van Heijningen, C.A.A., de Visser, J., Zuidema, W., ten Cate, C. (2009) Simple rules can explain discrimination of putative recursive syntactic structures by a songbird species.

Proceedings of the National Academy of Sciences of the United States of America, Vol. 106 (pp 20538-20534)

Article | https://doi.org/10.1073/pnas.0908113106 | UvA-DARE

van Hoeve, W.J., Milano, M. (2003) Decomposition Based Search - A theoretical and experimental evaluation.

Technical Report. University of Bologna.

Report | UvA-DARE

van Hoeve, W.J., Milano, M. (2004) Postponing Branching Decisions.

In 16th Conference on Artificial Intelligence (pp 1105-1106). IOS Press.

van Hoeve, W.J., Pesant, G., Rousseau, L.M. (2006) On Global Warming: Flow-Based Soft Global Constraints.

Journal of Heuristics, Vol. 12 (pp 347-373)

Article | https://doi.org/10.1007/s10732-006-6550-4 | UvA-DARE

van Hoeve, W.J. (2003) A hybrid constraint programming and semidefinite programming approach for the stable set problem.

In 9th International Conference on Principles and Practice of Constraint Programming (CP'03), volume 2833 of LNCS (pp 407-421). Springer Verlag.

van Hoeve, W.J. (2003) A hybrid constraint programming and semidefinite programming approach for the stable set problem.

In 5th International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'03) (pp 3-16)

van Hoeve, W.J. (2004) A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint.

In Tenth International Conference on Principles and Practice of Constraint Programming (pp 679-689). Springer Verlag.

van Hoeve, W.J. (2005) Operations research techniques in constraint programming.

ILLC.

Thesis, fully internal | UvA-DARE

van Lambalgen, M., Alechina, N.A. (1995) Correspondence and completeness for generalized quantifiers.

Bulletin of the IGPL, Vol. 3 (pp 167-190)

Article | UvA-DARE

van Lambalgen, M., Baggio, G. (2007) The Processing Consequences of the Imperfective Paradox.

Journal of Semantics, Vol. 24 (pp 307-330)

Article | UvA-DARE

van Lambalgen, M., Hamm, F. (2003) Intensionality and coercion.

In Kahle, R. (Eds.), Intensionality

van Lambalgen, M., Hamm, F. (2003) Event calculus, nominalisation and the progressive.

Linguistics and Philosophy, Vol. 26 (pp 381-458)

Article | https://doi.org/10.1023/A:1024618703103 | UvA-DARE

van Lambalgen, M., Hamm, F. (2004) Moschovakis' notion of meaning as applied to linguistics.

In Baaz, M. Friedman, S. Krajicek, J. (Eds.), Logic Colloquium '01

van Lambalgen, M., Hamm, F. (2004) The proper treatment of events.

Explorations in semantics. Blackwell.

Book | UvA-DARE