Uckelman, J., Endriss, U. (2008) Winner determination in combinatorial auctions with logic-based bidding languages.

In Padgham, L. Parkes, D. Müller, J. Parsons, S. (Eds.), AAMAS 2008: 7th International Conference on Autonomous Agents and Multi-Agent Systems: Proceedings: Volume 3 (pp 1617-1620). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

Uckelman, J., Endriss, U. (2008) Preference modeling by weighted goals with max aggregation.

In Brewka, G. Lang, J. (Eds.), Principles of knowledge representation and reasoning: Proceedings of the eleventh international conference (KR 2008) (pp 579-587). AAAI Press.

Uckelman, J., Endriss, U. (2010) Compactly representing utility functions using weighted goals and the max aggregator.

Artificial Intelligence, Vol. 174 (pp 1222-1246)

Article | https://doi.org/10.1016/j.artint.2010.07.003 | UvA-DARE

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) 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., 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., 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) Modalities in medieval logic.

Institute for Logic, Language and Computation.

Thesis, fully internal | 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. (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) 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. (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.