-
Uckelman, J.D., 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.D., 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.Conference contribution | http://www.aaai.org/Library/Workshops/2008/ws08-09-021.php | UvA-DAREUckelman, 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-DAREUckelman, J.D. (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)Uckelman, J.D. (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)Conference contribution | UvA-DAREUckelman, 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.Conference contribution | http://www.aiml.net/volumes/volume8/Uckelman-Johnston.pdf | UvA-DAREUckelman, S.L., Johnston, S. (2010) John Buridan's Sophismata and interval temporal semantics.Philosophiegeschichte und logische Analyse, Vol. 13 (pp 133-147)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.Conference contribution | UvA-DAREUckelman, 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-DAREUckelman, 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.Conference contribution | http://www.aiml.net/volumes/volume7/Uckelman.pdf | UvA-DAREUckelman, S.L. (2009) Anselm's logic of agency.Philosophiegeschichte und logische Analyse, Vol. 12 (pp 248-268)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-DAREUckelman, S.L. (2009) Modalities in medieval logic.Institute for Logic, Language and Computation.Thesis, fully internal | UvA-DAREUckelman, 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.Chapter | http://staff.science.uva.nl/~suckelma/latex/JeanBuridan-Uckelman/JeanBuridan-Uckelman.pdf | UvA-DAREUckelman, S.L. (2010) Dynamic logic.In Russo, F. Williamson, J. (Eds.), Key terms in logic (pp 47-47) (Key terms in philosophy). Continuum.Chapter | http://staff.science.uva.nl/~suckelma/latex/DynamicLogic-Uckelman/DynamicLogic-Uckelman.pdf | UvA-DAREUckelman, 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-DAREUckelman, 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.Conference contribution | https://doi.org/10.1007/978-3-642-13962-8_47 | UvA-DAREUckelman, 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.Conference contribution | https://doi.org/10.3233/978-1-60750-676-8-341 | UvA-DAREUckelman, 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
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