illc - Robuta Search

https://staff.science.uva.nl/u.endriss/group.php Computational Social Choice Group, ILLC, University of Amsterdam computational social choice university of group illc amsterdam https://eprints.illc.uva.nl/id/eprint/1726/ PP-2019-29: Collective Information - ILLC Preprints and Publications pp collective information illc preprints 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/id/eprint/990/ CL-1991-01: Kohonen Feature Maps in Natural Language Processing - ILLC Preprints and Publications https://www.illc.uva.nl/ILLCColloquium/ILLC-New-Years-Colloquium-2019 ILLC New Year's Colloquium 2019 | Institute for Logic, Language and Computation Date: Monday 14 January 2019 Time: 16.00-17.15 Place: Science Park 107, ILLC Common Room Organisers: Rens Bod, Peter van Ormondt, Christian Schaffner... new year https://eprints.illc.uva.nl/id/eprint/2417/ MoL-2026-05: Conceptual Engineering of Gender Identity - ILLC Preprints and Publications conceptual engineering https://eprints.illc.uva.nl/id/eprint/2091/ DS-2010-08: Fixed-Point Logics on Trees - ILLC Preprints and Publications fixed point https://archive.illc.uva.nl/Cognition/Seminar/Archive/event/10336/Rhythm-and-timing-a-cognitive-approach.html Henkjan Honing (Nijmegen): Rhythm and timing: a cognitive approach | Cognition@ILLC cognitive approach honing nijmegen rhythm https://eprints.illc.uva.nl/id/eprint/2348/ MoL-2024-20: Predicate Pushdown in FastLanes - ILLC Preprints and Publications mol predicate pushdown https://eprints.illc.uva.nl/id/eprint/136/ PP-2004-25: Minimal belief revision leads to backward induction - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/70/ PP-2002-06: A New Proof of Completeness of S4 with respect to the Real Line - ILLC Preprints and... https://eprints.illc.uva.nl/id/eprint/1669/ PP-2019-09: Coalgebraic geometric logic - ILLC Preprints and Publications pp geometric logic illc preprints https://www.illc.uva.nl/Research/Publications/Publications-by-year/1999/ ILLC Publications, All Series, 1999 | Institute for Logic, Language and Computation all series institute for illc publications https://eprints.illc.uva.nl/id/eprint/828/ MoL-2010-03: Definability in the Degrees of Randomness - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/2340/ MoL-2024-17: PageZero: Mitigating Speculative Execution Attacks by Clearing Page Tables - ILLC... https://eprints.illc.uva.nl/view/creators/Berg=3AHanne_Kristin=3A=3A.html Items where Author is "Berg, Hanne Kristin" - ILLC Preprints and Publications items author berg https://eprints.illc.uva.nl/id/eprint/1960/ DS-1993-03: Efficient Metamathematics - ILLC Preprints and Publications ds efficient illc preprints publications https://eprints.illc.uva.nl/id/eprint/813/ MoL-2009-06: Decomposition Theorem for Abstract Elementary Classes - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/355/ PP-2009-25: Forcing Absoluteness and Regularity Properties - ILLC Preprints and Publications pp forcing https://eprints.illc.uva.nl/id/eprint/2117/ DS-2012-11: Logics of Communication and Knowledge - ILLC Preprints and Publications ds logics https://eprints.illc.uva.nl/id/eprint/2320/ DS-2024-08: Quantum Position Verification: Loss-tolerant Protocols and Fundamental Limits - ILLC... https://eprints.illc.uva.nl/id/eprint/484/ PP-2013-12: Voting on Actions with Uncertain Outcomes - ILLC Preprints and Publications https://www.illc.uva.nl/NewsandEvents/Events/Upcoming-Events/newsitem/974/7-September-2005-Annual-ILLC-Boat-Trip 7 September 2005, Annual ILLC Boat Trip | Institute for Logic, Language and Computation We are happy to announce that also this year the ILLC welcomes the (35!!!) new Master students with a boattrip, followed by a small reception, at Wednesday... https://www.illc.uva.nl/Research/Publications/Dissertations/DS/ ILLC Dissertations (DS) Series | Institute for Logic, Language and Computation For ordering copies of ILLC dissertations, please contact the ILLC Buro. Complementing the dissertations listed below, the ILLC 'Historical Dissertations'... ds series institute for illc dissertations logic https://eprints.illc.uva.nl/id/eprint/747/ MoL-2004-02: A Consistent and Efficient Estimator for the Data-Oriented Parsing Model - ILLC... https://eprints.illc.uva.nl/id/eprint/2081/ DS-2009-11: Signal to Act: Game Theory in Pragmatics - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/701/ MoL-1998-01: Temporal Reasoning and Constraint Programming - ILLC Preprints and Publications constraint programming mol temporal reasoning https://eprints.illc.uva.nl/id/eprint/2344/ HDS-40: A Method in Proofs of Undefinability - ILLC Preprints and Publications https://projects.illc.uva.nl/FSPL/privacy/ Privacy Statement ILLC | Formal Semantics and Philosophical Logic Nederlandse versie. (click here for english version) Het Institute for Logic, Language and Computation (ILLC), gevestigd aan Science Park 107 1098 XG... privacy statement illc formal semantics philosophical https://eprints.illc.uva.nl/id/eprint/170/ PP-2005-25: Temporal Logics for Representing Agent Communication Protocols - ILLC Preprints and... https://www.illc.uva.nl/NewsandEvents/Events/Upcoming-Events/newsitem/14785/7-June-2024-ILLC-Open-Day-and-Reunion 7 June 2024, ILLC Open Day and Reunion | Institute for Logic, Language and Computation On June 7th, the ILLC will organise an Open Day, similar to the open day held in 2019. The Open Day will be followed by an ILLC Reunion for all former and... https://eprints.illc.uva.nl/id/eprint/428/ PP-2011-24: Deontic Logic and Changing Preferences - ILLC Preprints and Publications pp logic https://eprints.illc.uva.nl/id/eprint/2253/ MoL-2023-10: Unraveling vagueness: Exploring its puzzles, its nature, and their interplay - ILLC... https://eprints.illc.uva.nl/id/eprint/252/ PP-2007-18: On Definability in Dependence Logic - ILLC Preprints and Publications https://www.illc.uva.nl/NewsandEvents/Events/Upcoming-Events/newsitem/14478/12-October-2023-ILLC-Workshop-on-Participatory-Budgeting-and-Related-Topics 12 October 2023, ILLC Workshop on Participatory Budgeting and Related Topics | Institute for Logic,... It is with a lot of excitement that I am advertising a workshop that will take place in Amsterdam on the 12th of October. The workshop is organised to... https://eprints.illc.uva.nl/id/eprint/1553/ MoL-2017-16: Not logical: A distributional semantic account of negated adjectives - ILLC Preprints... https://eprints.illc.uva.nl/id/eprint/2339/ X-2024-05: A Logic for Contextually Restricted Quantification - ILLC Preprints and Publications https://eprints.illc.uva.nl/view/year/2004.type.html Items where Year is 2004 - ILLC Preprints and Publications items year illc preprints publications https://eprints.illc.uva.nl/id/eprint/2183/ DS-2020-14: Questions & Quantification: A study of first order inquisitive logic - ILLC Preprints... https://www.illc.uva.nl/NewsandEvents/Archives/2014/newsitem/6087/Repetition-in-language-and-music-General-or-specific-processes- 16 December 2014, Cognition@ILLC, Padraic Monaghan | Institute for Logic, Language and Computation This is the first meeting of monthly Cognition at ILLC seminar. The goal of the seminar is to create a joint platform to discuss cognition related research. It... https://eprints.illc.uva.nl/id/eprint/2067/ DS-2008-07: Minimum Description Length Model Selection: Problems and Extensions - ILLC Preprints... https://eprints.illc.uva.nl/view/creators/Engelfriet=3AJoeri=3A=3A.html Items where Author is "Engelfriet, Joeri" - ILLC Preprints and Publications items author joeri illc preprints https://eprints.illc.uva.nl/id/eprint/837/ MoL-2010-12: Relevance-Based Partition Semantics for Why-Questions - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/986/ MoL-2016-14: Minimal and Subminimal Logic of Negation - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/385/ PP-2010-06: ABox Abduction in the Description Logic ALC - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/2272/ MoL-2023-22: Alternative Impredicative Encodings of Inductive Types - ILLC Preprints and... https://www.illc.uva.nl/History-book-about-ILLC/ People, ideas & practices: a history book of the ILLC | Institute for Logic, Language and... This booklet presents a short history of the illc up to 2021 as seen by two of its founders, Johan van Benthem and Martin Stokhof, with a focus on the early... https://eprints.illc.uva.nl/view/creators/and_Wesley_H=2E_Holliday=3ANick_Bezhanishvili=3A=3A.html Items where Author is "and Wesley H. Holliday, Nick Bezhanishvili" - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/1841/ HDS-09: Lindenmayer Systems: Structure, Languages, and Growth Functions - ILLC Preprints and... lindenmayer systems hds structure https://eprints.illc.uva.nl/view/creators/Apt=3AKrzysztof=3A=3A.html Items where Author is "Apt, Krzysztof" - ILLC Preprints and Publications items author apt krzysztof illc https://eprints.illc.uva.nl/id/eprint/2035/ DS-2002-06: A Logical Approach to Competition in Industries - ILLC Preprints and Publications 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/126/ PP-2004-15: Modal Logics for Products of Topologies - ILLC Preprints and Publications https://eprints.illc.uva.nl/view/year/1998.html Items where Year is 1998 - ILLC Preprints and Publications items year illc preprints publications https://eprints.illc.uva.nl/id/eprint/554/ PP-2016-18: Succinctness of Languages for Judgment Aggregation - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/2047/ DS-2005-05: A Strategic Analysis of Multi-agent Protocols - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/1727/ PP-2020-01: Resetting Infinite Time Blum-Shub-Smale-Machines - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/351/ PP-2009-21: Cofinality and Measurability of the First Three Uncountable Cardinals - ILLC Preprints... https://eprints.illc.uva.nl/id/eprint/1072/ CT-1997-01: Catagory, Measure, Inductive Inference: A Triality Theorem and its Applications - ILLC... https://eprints.illc.uva.nl/id/eprint/349/ PP-2009-19: Improving methodology of quantifier comprehension experiments - ILLC Preprints and... https://eprints.illc.uva.nl/view/subjects/computation.type.html Items where Subject is "Computation" - ILLC Preprints and Publications items subject computation illc preprints https://eprints.illc.uva.nl/id/eprint/794/ MoL-2007-22: Automata on flows - ILLC Preprints and Publications mol automata flows illc preprints https://eprints.illc.uva.nl/id/eprint/2182/ DS-2020-13: Questions in Context - ILLC Preprints and Publications in context ds questions illc preprints https://eprints.illc.uva.nl/id/eprint/2321/ DS-2024-09: Position-based Quantum Cryptography: From Theory towards Practice - ILLC Preprints and... https://eprints.illc.uva.nl/id/eprint/481/ PP-2013-09: Lifting Integrity Constraints in Binary Aggregation - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/208/ PP-2006-33: An abstract approach to reasoning about games with mistaken and changing beliefs - ILLC... https://eprints.illc.uva.nl/id/eprint/455/ PP-2012-13: Language in Nature: on the evolutionary roots of a cultural phenomenon - ILLC Preprints... https://eprints.illc.uva.nl/id/eprint/1708/ MoL-2019-15: Lorentzian Structures on Branching Spacetimes - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/1805/ MoL-2021-15: Relation Lifting and Coalgebraic Logic - ILLC Preprints and Publications mol relation lifting https://dmatheorynet.blogspot.com/2022/04/dmanet-job-postdoc-in-computational.html Theory Announcements: [DMANET] [JOB] Postdoc in Computational Social Choice at ILLC in Amsterdam I currently have an opening for a postdoc in computational social choice in my group at the ILLC in Amsterdam. The job would suit a wide var... computational social choice https://eprints.illc.uva.nl/id/eprint/1169/ LP-1991-06: Belief Dependence, Revision and Persistence - ILLC Preprints and Publications lp belief dependence https://eprints.illc.uva.nl/id/eprint/2241/ PP-2023-03: Proof Systems for Two-way Modal mu-Calculus - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/1851/ HDS-19: Completeness and Definability - ILLC Preprints and Publications hds completeness illc preprints publications https://eprints.illc.uva.nl/id/eprint/16/ PP-1999-16: Prefixed Resolution: A Resolution Method for Modal and Description Logics - ILLC... https://eprints.illc.uva.nl/id/eprint/2095/ DS-2010-12: Stit, Iit, and Deontic Logic for Action Types - ILLC Preprints and Publications https://www.illc.uva.nl/Order-your-ILLC-Sweater-Hoodie/ Order your ILLC Sweater/Hoodie | Institute for Logic, Language and Computation institute for order illc sweater hoodie https://eprints.illc.uva.nl/id/eprint/1625/ MoL-2018-12: Advancing the Use of Sparse Knowledge for Qualitative Models and Simulations - ILLC... https://eprints.illc.uva.nl/id/eprint/272/ PP-2007-38: Unifiability in extensions of K4 - ILLC Preprints and Publications https://eprints.illc.uva.nl/id/eprint/1701/ MoL-2019-11: Meaning through Time: A Diachronic and Semantic Study of Italian Free Choice - ILLC... https://eprints.illc.uva.nl/id/eprint/2040/ DS-2004-01: Quantum Query Complexity and Distributed Computing - ILLC Preprints and Publications quantum query https://eprints.illc.uva.nl/view/creators/Aiello=3AMarco=3A=3A.html Items where Author is "Aiello, Marco" - ILLC Preprints and Publications items author aiello marco illc https://eprints.illc.uva.nl/id/eprint/254/ PP-2007-20: Equivalence and quantier rules for logic with imperfect information - ILLC Preprints... https://eprints.illc.uva.nl/id/eprint/399/ PP-2010-20: Intuitionistic implication without disjunction - ILLC Preprints and Publications pp implication 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/Media/In-the-media/2008/ ILLC People in the Media in 2008 | Institute for Logic, Language and Computation in the media https://eprints.illc.uva.nl/id/eprint/438/ PP-2011-34: Extendible formulas in two variables in intuitionistic logic - ILLC Preprints and... https://eprints.illc.uva.nl/id/eprint/2165/ DS-2019-03: Quantum Singular Value Transformation & Its Algorithmic Applications - ILLC Preprints... https://eprints.illc.uva.nl/id/eprint/146/ PP-2005-01: Neural Networks, Penalty Logic and Optimality Theory - ILLC Preprints and Publications https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/893/PhD-position-at-ILLC PhD position at ILLC | Institute for Logic, Language and Computation The ILLC is seeking candidates for a PhD fellowship. We are looking for candidates with a strong background in at least one of the disciplines relevant to the... phd position institute for illc logic language https://archive.illc.uva.nl/Cognition/Seminar/Archive/event/10108/NL-Disjunction.html Isabel Txurruka (San Sebastian): NL Disjunction | Cognition@ILLC For abstracts and more information, see http://www.illc.uva.nl/dip/. san sebastian isabel nl disjunction cognition https://eprints.illc.uva.nl/id/eprint/2015/ DS-2000-03: Games, Walks and Grammars: Problems I've Worked On - ILLC Preprints and Publications https://eprints.illc.uva.nl/view/subjects/logic.type.html Items where Subject is "Logic" - ILLC Preprints and Publications items subject logic illc preprints https://www.illc.uva.nl/NewsandEvents/Events/Upcoming-Events/newsitem/809/18-February-2005-ILLC-ACLC-seminar-on-Modality 18 February 2005, ILLC/ACLC seminar on Modality | Institute for Logic, Language and Computation Friday, February 18, 2005 (in the afternoon), four speakers of both ILLC and ACLC will present a paper on the subject of Modality. For more information, see... https://eprints.illc.uva.nl/id/eprint/346/ PP-2009-16: Equational Coalgebraic Logic - ILLC Preprints and Publications pp logic illc preprints publications https://eprints.illc.uva.nl/id/eprint/1771/ PP-2021-01: Randomising Realisability - ILLC Preprints and Publications pp illc preprints publications https://eprints.illc.uva.nl/id/eprint/1031/ CT-1991-05: Weak Equivalence for Constraint Sets - ILLC Preprints and Publications https://eprints.illc.uva.nl/view/creators/Aliseda-LLera=3AAtocha=3A=3A.html Items where Author is "Aliseda-LLera, Atocha" - ILLC Preprints and Publications items author aliseda https://eprints.illc.uva.nl/id/eprint/2156/ DS-2018-07: Assertion and Rejection - ILLC Preprints and Publications ds assertion rejection illc preprints 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://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/1024/4-PhD-positions-at-ILLC 4 PhD positions at ILLC | Institute for Logic, Language and Computation As part of the Marie Curie project GLoRiClass ("Games in Logic Reaching Out for Classical Game Theory"), the newly created ILLC Centre for Logic and Games... phd positions institute for illc