Robuta

https://eprints.illc.uva.nl/id/eprint/1750/ PP-2020-15: Automated Justification of Collective Decisions via Constraint Solving - ILLC Preprints... https://eprints.illc.uva.nl/id/eprint/524/ PP-2015-13: On the Solvability of Inductive Problems: A Study in Epistemic Topology - ILLC... https://eprints.illc.uva.nl/id/eprint/959/ MoL-2015-18: One-Step Algebras and Frames for Modal and Intuitionistic Logics - ILLC Preprints and... https://eprints.illc.uva.nl/id/eprint/227/ PP-2006-52: The Problem of Learning the Semantics of Quantifiers - ILLC Preprints and Publications https://www.illc.uva.nl/NewsandEvents/News/Appointments/newsitem/903/New-ILLC-Staff-Astrid-Kramer-non-scientific-projectmanager New ILLC Staff: Astrid Kramer, (non scientific) projectmanager | Institute for Logic, Language and... As of April 5th we welcome Astrid Kramer in the management supportgroup. Her contact details: room P-3.29 phone 020-525 6519 E-mail: A.I.Kramer at uva.nl https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/1088/PhD-and-Postdoc-position-at-ILLC PhD and Postdoc position at ILLC | Institute for Logic, Language and Computation The NWO project MuSeUM invited applications for: A Post-doctoral researcher, fulltime or at least for 0.75 FTE (ILLC) A PhD position, fulltime or at least for... postdoc positionphd https://eprints.illc.uva.nl/id/eprint/610/ X-1991-17: Independence, Randomness and the Axiom of Choice (Revised Version of X-1991-10) - ILLC... https://eprints.illc.uva.nl/id/eprint/1872/ X-2022-02: Onderwijs en onderzoek in logica en wetenschapsfilosofie - ILLC Preprints and... onderwijs en onderzoek https://eprints.illc.uva.nl/id/eprint/875/ MoL-2012-09: Science in Axiomatic Perspective - ILLC Preprints and Publications molscience https://eprints.illc.uva.nl/id/eprint/1867/ PP-2022-01: The Logical Development of Pretense Imagination - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/748/ MoL-2004-03: Two ERP studies on Dutch temporal semantics - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/2174/ DS-2020-05: Quantum and stochastic processes - ILLC Preprints and Publications stochastic processesdsquantumillcpreprints https://eprints.illc.uva.nl/view/creators/Niekus=3AJoop=3A=3A.html Items where Author is "Niekus, Joop" - ILLC Preprints and Publications itemsauthorjoopillcpreprints https://eprints.illc.uva.nl/id/eprint/745/ MoL-2003-07: XML Query Evaluation via CTL Model Checking - ILLC Preprints and Publications https://eprints.illc.uva.nl/view/creators/index.K.html Browse by Author - ILLC Preprints and Publications browse by authorillcpreprintspublications https://eprints.illc.uva.nl/id/eprint/489/ PP-2014-01: Kripke Models Built from Models of Arithmetic - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/2044/ DS-2005-02: Operations Research Techniques in Constraint Programming - ILLC Preprints and... operations research https://archive.illc.uva.nl/ Archived events, projects and other ILLC-hosted sites archived eventsprojectsillchostedsites https://eprints.illc.uva.nl/id/eprint/375/ PP-2009-46: Quantifiers and Working Memory - ILLC Preprints and Publications working memoryppquantifiersillcpreprints https://eprints.illc.uva.nl/id/eprint/2357/ HDS-42: Algorithms in Artificial Intelligence - ILLC Preprints and Publications in artificial intelligencehdsalgorithmsillcpreprints https://eprints.illc.uva.nl/id/eprint/541/ PP-2016-05: Introduction to Computational Social Choice - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/436/ PP-2011-32: Dynamic Logic in Natural Language - ILLC Preprints and Publications https://eprints.illc.uva.nl/view/creators/Bruineberg=3AJelle=3A=3A.html Items where Author is "Bruineberg, Jelle" - ILLC Preprints and Publications itemsauthorjelleillcpreprints https://eprints.illc.uva.nl/id/eprint/1533/ PP-2017-06: A simple propositional calculus for compact Hausdorff spaces - ILLC Preprints and... https://www.illc.uva.nl/NewsandEvents/Archives/2012/newsitem/4242/ILLC-New-Years-Colloquium-2012 13 January 2012, ILLC New Year's Colloquium 2012 | Institute for Logic, Language and Computation The ILLC will celebrate the New Year at the ILLC New Year's Colloquium 2012. Program: 16.00-16.30: Jelle Zuidema: Is Recursion Monkey Business? 16.30-17.00:... https://eprints.illc.uva.nl/id/eprint/2027/ DS-2001-08: Belief Dynamics. (Epistemo)logical Investigations - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/341/ PP-2009-11: A Graphical Formalism for Mixed Multi-Unit Combinatorial Auctions - ILLC Preprints and... https://eprints.illc.uva.nl/id/eprint/1829/ IV-11: Over de beteekenis der wiskundige logica voor de philosophie - ILLC Preprints and... https://eprints.illc.uva.nl/view/creators/index.X-Y.html Browse by Author - ILLC Preprints and Publications browse by authorillcpreprintspublications https://eprints.illc.uva.nl/view/creators/Endriss=3AU=2E=3A=3A.html Items where Author is "Endriss, U." - ILLC Preprints and Publications itemsauthorillcpreprintspublications https://staff.science.uva.nl/u.endriss/group.php Computational Social Choice Group, ILLC, University of Amsterdam social choiceuniversity ofcomputationalgroupillc https://eprints.illc.uva.nl/id/eprint/2388/ HDS-43: Exercises in Computational Linguistics - ILLC Preprints and Publications computational linguisticshdsexercisesillcpreprints https://eprints.illc.uva.nl/id/eprint/1341/ ML-1993-17: On the Independent Axiomatizability of Modal and Intermediate Logics - ILLC Preprints... https://eprints.illc.uva.nl/id/eprint/520/ PP-2015-09: Sahlqvist preservation for topological fixed-point logic - ILLC Preprints and... https://eprints.illc.uva.nl/id/eprint/1871/ PP-2022-03: Modal structures in groups and vector spaces - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/2089/ DS-2010-06: Epistemic Modelling and Protocol Dynamics - ILLC Preprints and Publications dsmodelling https://eprints.illc.uva.nl/id/eprint/877/ MoL-2012-11: An Ehrenfeucht-Fraisse Game for the Logic L-omega1-omega - ILLC Preprints and... https://eprints.illc.uva.nl/id/eprint/881/ MoL-2012-15: Automatic Verication of Programs with Indirection - ILLC Preprints and Publications https://www.illc.uva.nl/Research/Publications/Publications-by-year/1988/ ILLC Publications, All Series, 1988 | Institute for Logic, Language and Computation all seriesillcpublications https://eprints.illc.uva.nl/id/eprint/2268/ HDS-36: Structured Concepts in Relativised Hierarchies - ILLC Preprints and Publications structured conceptshds