Gehrke, M., Jansana, R., Palmigiano, A. (2013) Δ1-completions of a poset.

Order, Vol. 30 (pp 39-64)

Article | https://doi.org/10.1007/s11083-011-9226-0 | UvA-DARE

Gehrke, M., Nagahashi, H., Venema, Y. (2002) A Sahlqvist theorem for distributive modal logic.

Technical Report. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Gehrke, M., Nagahashi, H., Venema, Y. (2005) A Sahlqvist theorem for distributive modal logic.

Annals of Pure and Applied Logic, Vol. 131 (pp 65-102)

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

Gehrke, M., v. Gool, S.J. (2018) Sheaves and Duality.

Journal of Pure and Applied Algebra, Vol. 222 (pp 2164-2180)

Article | https://doi.org/10.1016/j.jpaa.2017.09.004 | UvA-DARE

Gehrke, M., Vosmaer, J. (2011) A view of canonical extension.

In Bezhanishvili, N. Löbner, S. Schwabe, K. Spada, L. (Eds.), Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers (pp 77-100) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6618). Springer.

Gehrke, M., Vosmaer, J. (2011) Canonical extensions and canonicity via DCPO presentations.

Theoretical Computer Science, Vol. 412 (pp 2714-2723)

Article | https://doi.org/10.1016/j.tcs.2010.12.032 | UvA-DARE

Geist, C., Endriss, U. (2011) Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.

Journal of Artificial Intelligence Research, Vol. 40 (pp 143-174)

Article | https://doi.org/10.1613/jair.3126 | UvA-DARE

Geist, C., Löwe, B., van Kerkhove, B. (2010) Peer review and knowledge by testimony in mathematics.

In Löwe, B. Müller, T. (Eds.), PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice (pp 155-178) (Texts in philosophy). College Publications.

Gekker, Alex, Hind, Sam, Pereira, G., van der Vlist, Fernando (2026) Orchestrating scalability: How patents render cloud imaginaries in CAV innovation.

Information, Communication & Society

Article | https://doi.org/10.1080/1369118X.2026.2631709 | UvA-DARE

Gekker, Alex, Hind, Sam, Pereira, G., van der Vlist, Fernando (2026) Scaling AI in the Cloud: The Disruption of "Cloudification" in Connected and Autonomous Vehicles.

In AoIR2025: Research from the Annual Conference of the Association of Internet Researchers (Selected Papers of Internet Research, Vol. 2025). Association of Internet Researchers.

Gencer, Ç., de Jongh, D. (2009) Unifiability in extensions of K4.

Logic Journal of the IGPL, Vol. 17 (pp 159-172)

Article | https://doi.org/10.1093/jigpal/jzn032 | UvA-DARE

Gennari, R. (2000) The GIF Algorithm.

Institute for Logic, Language and Computation.

Report | http:/www.wins.uva.nl/rgennari | UvA-DARE

Gennari, R. (2000) Arc Consistency via Subsumed Functions.

Lecture Notes in Computer Science, Vol. 1861 (pp 358-372)

Article | UvA-DARE

Gennari, R. (2001) Translations for comparing soft frameworks.

In Walsh, T. (Eds.), Proceedings of CP01, volume 2239 of LNCS, 2239

Gennari, R. (2001) General schema for constraint propagation.

Joint Bulletin of the Novosibirsk Computing Center and Institute of Information Systems, Vol. 2

Article | UvA-DARE

Gennari, R. (2002) Mapping Inferences: Constraint Propagation and Diamond Satisfaction.

ILLC Dissertation Series DS-2002-05.

Thesis, fully internal | UvA-DARE

Geraci, C., Oomen, M., Santoro, M. (2022) As strong as an NPI in LSF, NGT and LIS.

Proceedings from Semantics and Linguistic Theory, Vol. 32 (pp 125-143)

Article | https://doi.org/10.3765/salt.v1i0.5353 | UvA-DARE

Gerbrandy, J.D., Marx, M., de Rijke, M., Venema, Y. (1999) JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.

Vossiuspers - Amsterdam University Press.

Digital or Visual Products | UvA-DARE

Gerbrandy, J.D., Marx, M., de Rijke, M., Venema, Y. (1999) JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.

Vossiuspers - Amsterdam University Press.

Book (Editorship) | UvA-DARE

Gerdes, Wout, Acar, E. (2024) Integrating Fuzzy Logic into Deep Symbolic Regression.

In Workshop for Explainable AI in Finance 2024, New York