Uckelman, J., Witzel, A. (2008) Logic-based preference languages with intermediate complexity.

In Advances in preference handling: Papers from the AAAI workshop (pp 123-127). AAAI Press.

Uckelman, J. (2010) Alice and Bob will fight: the problem of electing a committee in the presence of candidate interdependence.

Frontiers in Artificial Intelligence and Applications, Vol. 215 (pp 1023-1024)

Article | https://doi.org/10.3233/978-1-60750-606-5-1023 | UvA-DARE

Uckelman, J. (2010) Alice and Bob Will Fight: The Problem of Electing a Committee in the Presence of Candidate Interdependence.

In Lang, J. Perny, P. (Eds.), Proceedings of the 5th Multidisciplinary Workshop on Advances in Preference Handling (MPREF-2010) (pp 73-78)

Uckelman, J.D., Endriss, U. (2007) Preference Representation with Weighted Goals: Expressivity, Succinctness, Complexity.

In Junker, U. Doyle, J., Goldsmith, J. (Eds.), Proceedings of the AAAI Workshop on Preference Handling for Artificial Intelligence (AiPref-2007)

Uckelman, J.D. (2009) More than the sum of its parts : compact preference representation over combinatorial domains.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Uckelman, S.L., Johnston, S. (2010) John Buridan's Sophismata and interval temporal semantics.

Philosophiegeschichte und logische Analyse, Vol. 13 (pp 133-147)

Article | http://staff.science.uva.nl/~suckelma/latex/buridaninterval/buridaninterval-lahp.pdf | UvA-DARE

Uckelman, S.L., Johnston, S. (2010) A simple semantics for Aristotelian apodeictic syllogistics.

In Beklemishev, L. Goranko, V. Shehtman, V. (Eds.), Advances in Modal Logic: AiML 8 (pp 454-469). College Publications.

Uckelman, S.L., Maat, J., Rybalko, K. (2018) The Art of Doubting in Obligationes Parisienses.

In Kann, C. Loewe, B. Rode, C. Uckelman, S.L. (Eds.), Modern views of medieval logic (pp 11-27) (Recherches de theologie et philosophie medievales. Bibliotheca, Vol. 16). Peeters.

Uckelman, S.L., Uckelman, J.D. (2007) Modal and Temporal Logics for Abstract Space-Time Structures.

Studies in the History and Philosophy of Modern Physics, Vol. 38 (pp 673-681)

Article | https://doi.org/10.1016/j.shpsb.2007.01.004 | UvA-DARE

Uckelman, S.L. (2008) Three 13th-century views of quantified modal logic.

In Goldblatt, R. Areces, C. (Eds.), Advances in Modal Logic 7 (pp 389-406). College Publications.

Uckelman, S.L. (2009) Anselm's logic of agency.

Philosophiegeschichte und logische Analyse, Vol. 12 (pp 248-268)

Article | http://staff.science.uva.nl/~suckelma/latex/anselmagency-lahp.pdf | UvA-DARE

Uckelman, S.L. (2009) The ontological argument and Russell's antinomy.

Logic and Logical Philosophy, Vol. 18 (pp 309-312)

Article | https://doi.org/10.12775/LLP.2009.015 | UvA-DARE

Uckelman, S.L. (2009) Modalities in medieval logic.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Uckelman, S.L. (2010) Reasoning about the trinity: A modern formalization of a medieval system of trinitarian logic.

In Schumann, A. (Eds.), Logic in religious discourse (pp 216-239). ontos verlag.

Uckelman, S.L. (2010) Jean Buridan.

In Russo, F. Williamson, J. (Eds.), Key terms in logic (pp 117-117) (Key terms in philosophy). Continuum.

Uckelman, S.L. (2010) Dynamic logic.

In Russo, F. Williamson, J. (Eds.), Key terms in logic (pp 47-47) (Key terms in philosophy). Continuum.

Uckelman, S.L. (2010) Logic and the condemnations of 1277.

Journal of Philosophical Logic, Vol. 39 (pp 201-227)

Article | https://doi.org/10.1007/s10992-010-9126-6 | UvA-DARE

Uckelman, S.L. (2010) Computing with concepts, computing with numbers: Llull, Leibniz, and Boole.

In Ferreira, F. Löwe, B. Mayordomo, E. Mendes Gomes, L. (Eds.), Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010: Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings (pp 427-437) (Lecture Notes in Computer Science, Vol. 6158). Springer.

Uckelman, S.L. (2011) Obligationes as Formal Dialogue Systems.

In Ågotnes, T. (Eds.), STAIRS 2010: proceedings of the Fifth Starting AI Researchers' Symposium (pp 341-353) (Frontiers in Artificial Intelligence and Applications, Vol. 222). IOS Press.

Uckelman, S.L. (2011) Prior on an insolubilium of Jean Buridan.

Synthese, Vol. 188 (pp 487-498)

Article | https://doi.org/10.1007/s11229-011-9940-6 | UvA-DARE