ILLC Publications, All Series, 2012

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.

PP-2012-30:
Daniele Porello, Ulle Endriss Ontology Merging as Social Choice: Judgment Aggregation under the Open World Assumption.
1.Full Text, 2.Abstract.
PP-2012-29:
Ulle Endriss, Umberto Grandi, Daniele Porello Complexity of Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2012-28:
Johan van Benthem, Eric Pacuit Connecting Logics of Choice and Change.
1.Full Text, 2.Abstract.
PP-2012-27:
Fenrong Liu, Jeremy Seligman, Johan van Benthem Models of Reasoning in Ancient China.
1.Full Text, 2.Abstract.
PP-2012-26:
Johan van Benthem The Nets of Reason.
1.Full Text, 2.Abstract.
PP-2012-25:
Johan van Benthem, David Fernández Duque, Eric Pacuit Evidence Logic: A New Look at Neighborhood Structures.
1.Full Text, 2.Abstract.
PP-2012-24:
Johan van Benthem Non-Standard Reasoning, Revisited.
1.Full Text, 2.Abstract.
PP-2012-23:
Johan van Benthem Two Logical Faces of Belief Revision.
1.Full Text, 2.Abstract.
PP-2012-22:
Johan van Benthem Some Thoughts on the Logic of Strategies.
1.Full Text, 2.Abstract.
PP-2012-21:
Johan van Benthem Modeling Reasoning in a Social Setting.
1.Full Text, 2.Abstract.
PP-2012-20:
Ulle Endriss Automated Analysis of Social Choice Problems: Approval Elections with Small Fields of Candidates.
1.Full Text, 2.Abstract.
PP-2012-19:
Joel David Hamkins, George Leibman, Benedikt Löwe Structural connections between a forcing class and its modal logic.
1.Full Text, 2.Abstract.
PP-2012-18:
Andreas van Cranenburgh Extracting tree fragments in linear average time.
1.Full Text, 2.Abstract.
PP-2012-17:
Ulle Endriss, Umberto Grandi Graph Aggregation.
1.Full Text, 2.Abstract.
PP-2012-16:
Umberto Grandi, Gabriella Pigozzi On Compatible Multi-issue Group Decisions.
1.Full Text, 2.Abstract.
PP-2012-15:
Umberto Grandi The Common Structure of Paradoxes in Aggregation Theory.
1.Full Text, 2.Abstract.
PP-2012-14:
Bart de Boer, Willem Zuidema Modelling in the Language Sciences.
1.Full Text, 2.Abstract.
PP-2012-13:
Willem Zuidema Language in Nature: on the evolutionary roots of a cultural phenomenon.
1.Full Text, 2.Abstract.
PP-2012-12:
Umberto Grandi, Ulle Endriss First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.
1.Full Text, 2.Abstract.
PP-2012-11:
Ulle Endriss Sincerity and Manipulation under Approval Voting.
1.Full Text, 2.Abstract.
PP-2012-10:
Alexander Block, Bernhard Fisseni, Carlos León, Benedikt Löwe, Deniz Sarikaya Narrative summarization and its correspondence to Proppian functions.
1.Full Text, 2.Abstract.
PP-2012-09:
Rens Bod, Bernhard Fisseni, Aadil Kurji, Benedikt Löwe Objectivity and reproducibility of Proppian annotations.
1.Full Text, 2.Abstract.
PP-2012-08:
Bernhard Fisseni, Benedikt Löwe Which dimensions of narrative are relevant for human judgments of story equivalence?.
1.Full Text, 2.Abstract.
PP-2012-07:
Jouko Väänänen, Tong Wang Internal Categoricity in Arithmetic and Set Theory.
1.Full Text, 2.Abstract.
PP-2012-06:
Alexander Block, Rens Bod, Bernhard Fisseni, Adil Kurji, Carlos León, Benedikt Löwe, Deniz Sarikaya Objectivity and reproducibility of formal narrative representations or annotations: Propp's functions \& narrative summarization.
1.Full Text, 2.Abstract.
PP-2012-05:
Annemieke Reijngoud, Ulle Endriss Voter Response to Iterated Poll Information.
1.Full Text, 2.Abstract.
PP-2012-04:
Felix Brandt, Vincent Conitzer, Ulle Endriss Computational Social Choice.
1.Full Text, 2.Abstract.
PP-2012-03:
Ulle Endriss Logic and Social Choice Theory.
1.Full Text, 2.Abstract.
PP-2012-02:
Ulle Endriss Computational Social Choice: Prospects and Challenges.
1.Full Text, 2.Abstract.
PP-2012-01:
Olivia Ladinig, Henkjan Honing Complexity judgments as a measure of event salience in musical rhythms.
1.Full Text, 2.Abstract.
MoL-2012-23:
Peter van Ormondt Finite narrative modelling, contextual dynamic semantics and Elusive Knowledge.
1.Full Text, 2.Abstract.
MoL-2012-22:
Ekaterina Garmash Refining translation grammars through paraphrase clustering.
1.Full Text, 2.Abstract.
MoL-2012-21:
Aadil Hanif Kurji An Update Semantics for Promises and Other Obligation-Creating Speech Acts: A Promising Start.
1.Full Text, 2.Abstract.
MoL-2012-20:
Marta Sznajder Dynamic Semantics for Intensional Transitive Verbs - a Case Study.
1.Full Text, 2.Abstract.
MoL-2012-19:
Yves Fomatati Sahlqvist Correspondence for Intuitionistic Modal Mu-Calculus.
1.Full Text, 2.Abstract.
MoL-2012-18:
Stefanie Kooistra Logic in Classical and Evolutionary Games.
1.Full Text, 2.Abstract.
MoL-2012-17:
Nal Emmerich Kalchbrenner Walking the Graph of Language: On a Framework for Meaning and Analogy.
1.Full Text, 2.Abstract.
MoL-2012-16:
Aleks Knoks Abnormality Counts!.
1.Full Text, 2.Abstract.
MoL-2012-15:
Kyndylan Nienhuis Automatic Verication of Programs with Indirection.
1.Full Text, 2.Abstract.
MoL-2012-14:
Vahid M. Hashemi Extracting Trends from Incomplete Ordinal Preferences.
1.Full Text, 2.Abstract.
MoL-2012-13:
Riccardo Pinosio Kant's Transcendental Synthesis of the Imagination and Constructive Euclidean Geometry.
1.Full Text, 2.Abstract.
MoL-2012-12:
Haitao Cai Causation and the Semantics of Counterfactuals.
1.Full Text, 2.Abstract.
MoL-2012-11:
Tong Wang An Ehrenfeucht-Fraisse Game for the Logic L-omega1-omega.
1.Full Text, 2.Abstract.
MoL-2012-10:
Paula Henk Supremum in the Lattice of Interpretability.
1.Full Text, 2.Abstract.
MoL-2012-09:
Antonio Florio Science in Axiomatic Perspective.
1.Full Text, 2.Abstract.
MoL-2012-08:
Fabio Zanasi Expressiveness of Monadic Second Order Logics on Infinite Trees of Arbitrary Branching Degree.
1.Full Text, 2.Abstract.
MoL-2012-07:
Fenner Tanswell Proof and Prejudice: Why Formalising doesn't make you a Formalist.
1.Full Text, 2.Abstract.
MoL-2012-06:
Alwin Blok Interaction, observation and denotation: A study of dialgebras for program semantics.
1.Full Text, 2.Abstract.
MoL-2012-05:
Pawel Lojko Inquisitive Semantics and the Paradoxes of Material Implication.
1.Full Text, 2.Abstract.
MoL-2012-04:
Daan Staudt Completeness for Two Left-Sequential Logics.
1.Full Text, 2.Abstract.
MoL-2012-03:
Thomas Peetz On Context-Free Grammar Induction by Incremental Compression.
1.Abstract.
MoL-2012-02:
Sylvia Boicheva Mechanism Design without Money.
1.Full Text, 2.Abstract.
MoL-2012-01:
Viktoriia Denisova Ontological Commitment of Natural Language Semantics.
1.Full Text, 2.Abstract.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X