Up a level |

Jump to: Report

Number of items: **65**.

PP-2011-12:
Airiau, Stéphane and Endriss, Ulle and Grandi, Umberto and Porello, Daniele and Uckelman, Joel
(2011)
*Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.*
[Report]

MoL-2011-05:
Arnoult, Sophie
(2011)
*Smoothing a PBSMT Model by Factoring Out Adjuncts.*
[Report]

MoL-2011-13:
Baartse, Willem M.
(2011)
*Finding the phase transition for Friedman's long finite sequences.*
[Report]

PP-2011-01:
Barmpalias, George and Lewis, Andrew E.M.
(2011)
*Chaitin's halting probability and the compression of strings using oracles.*
[Report]

PP-2011-05:
Barmpalias, George and Lewis, Andrew E.M.
(2011)
*Measure and cupping in the Turing degrees.*
[Report]

X-2011-03:
Besold, Tarek
(2011)
*Computational Models of Analogy-Making. An Overview Analysis of Computational Approaches to Analogical Reasoning.*
[Report]

PP-2011-34:
Bezhanishvili, Nick and de Jongh, Dick
(2011)
*Extendible formulas in two variables in intuitionistic logic.*
[Report]

X-2011-04:
Bod, Rens and Löwe, Benedikt and Saraf, Sanchit
(2011)
*How much do formal narrative annotations differ? A Proppian case study.*
[Report]

PP-2011-09:
Brendle, Jörg and Khomskii, Yurii
(2011)
*Polarized partitions on the second level of the projective hierarchy.*
[Report]

MoL-2011-10:
Chartier, Cian
(2011)
*Tarski's Threat to the T-Schema.*
[Report]

MoL-2011-11:
Christensen, Kasper Højbjerg
(2011)
*Counterfactual Dependencies.*
[Report]

MoL-2011-09:
Cornelisse, Irma
(2011)
*Context Dependence of Epistemic Operators in Dynamic Evidence Logic.*
[Report]

X-2011-01:
Crespo, María Inés and Gakis, Dimitris and Weidman-Sassoon (editors), Galit
(2011)
*Proceedings of the Amsterdam Graduate Philosophy Conference - Truth, Meaning, and Normativity.*
[Report]

PP-2011-10:
Dégremont, Cédric and Löwe, Benedikt and Witzel, Andreas
(2011)
*The synchronicity of dynamic epistemic logic.*
[Report]

X-2011-02:
Elkind, Edith and Endriss, Ulle and Lang, Jérôme
(2011)
*IJCAI-2011 Workshop on Social Choice and Artificial Intelligence.*
[Report]

PP-2011-15:
Endriss, Ulle
(2011)
*Applications of Logic in Social Choice Theory.*
[Report]

PP-2011-06:
Endriss, Ulle and Kraus, Sarit and Lang, Jérôme and Wooldridge, Michael
(2011)
*Designing Incentives for Boolean Games.*
[Report]

PP-2011-35:
Esakia, Leo and Löwe, Benedikt
(2011)
*Fatal Heyting Algebras and Forcing Persistent Sentences.*
[Report]

MoL-2011-08:
Frank, Ilan
(2011)
*Information and Representation in Computational Social Choice.*
[Report]

MoL-2011-02:
Fritz, Peter
(2011)
*Matrices and Modalities: On the Logic of Two-Dimensional Semantics.*
[Report]

PP-2011-33:
Galliani, Pietro
(2011)
*Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information.*
[Report]

PP-2011-04:
Geist, Christian and Endriss, Ulle
(2011)
*Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.*
[Report]

PP-2011-13:
Grandi, Umberto and Endriss, Ulle
(2011)
*Binary Aggregation with Integrity Constraints.*
[Report]

PP-2011-07:
Grädel, Erich and Väänänen, Jouko
(2011)
*Dependence and Independence.*
[Report]

X-2011-06:
Henk, Paula
(2011)
*A new perspective on the arithmetical completeness of GL.*
[Report]

PP-2011-18:
Honingh, Aline and Bod, Rens
(2011)
*Clustering and classification of music by interval categories.*
[Report]

MoL-2011-21:
Jacinto, Bruno
(2011)
*Consequence in Context: Two-Dimensional Semantics meets Logical Consequence.*
[Report]

MoL-2011-17:
Jacobsz, Rogier
(2011)
*The Cylindric Algebras of 4-Valued Logic.*
[Report]

MoL-2011-12:
Johnston, Spencer C.
(2011)
*Buridan's Theory of Logical Consequence.*
[Report]

PP-2011-08:
Khomskii, Yurii
(2011)
*William of Sherwood, singular propositions and the hexagon of opposition.*
[Report]

PP-2011-11:
Khomskii, Yurii
(2011)
*A general setting for the pointwise investigation of determinacy.*
[Report]

MoL-2011-04:
Kiela, Douwe
(2011)
*Variable Binding in Biologically Plausible Neural Networks.*
[Report]

MoL-2011-14:
Li, Zhenhao
(2011)
*Degrees of Non-Determinacy and Game Logics on Cardinals under the Axiom of Determinacy.*
[Report]

PP-2011-03:
Löwe, Benedikt
(2011)
*Comparing formal frameworks of narrative structure.*
[Report]

PP-2011-17:
Löwe, Benedikt
(2011)
*Methodological remarks about comparing formal frameworks for narratives.*
[Report]

PP-2011-16:
Löwe, Benedikt and Pacuit, Eric and Witzel, Andreas
(2011)
*DEL planning and some tractable cases.*
[Report]

MoL-2011-15:
Marti, Johannes
(2011)
*Relation Liftings in Coalgebraic Modal Logic.*
[Report]

MoL-2011-16:
Nesin, Gabriela Asli Rino
(2011)
*Completing partial algebra models of term rewriting systems.*
[Report]

PP-2011-14:
Porello, Daniele and Endriss, Ulle
(2011)
*Ontology Merging as Social Choice.*
[Report]

MoL-2011-19:
Reijngoud, Annemieke
(2011)
*Voter Response to Iterated Poll Information.*
[Report]

PP-2011-37:
Roelofsen, Floris
(2011)
*An inquisitive dynamic epistemic logic.*
[Report]

MoL-2011-20:
Rombout, Floor
(2011)
*"|": Frege, Russell and Wittgenstein on the Judgment Stroke.*
[Report]

PP-2011-38:
Sima'an, Khalil and de Buy Wenniger, Gideon Maillette
(2011)
*Hierarchical Translation Equivalence over Word Alignments.*
[Report]

MoL-2011-01:
Sterkenburg, Tom Florian
(2011)
*Sequences with Trivial Initial Segment Complexity.*
[Report]

MoL-2011-07:
Talebanfard, Navid
(2011)
*Tightening the Compression Hierarchies.*
[Report]

MoL-2011-06:
Venhuizen, Noortje Joost
(2011)
*Negation in Questions.*
[Report]

MoL-2011-03:
Wortel, Lars
(2011)
*Side Effects in Steering Fragments.*
[Report]

PP-2011-32:
van Benthem, Johan
(2011)
*Dynamic Logic in Natural Language.*
[Report]

X-2011-05:
van Benthem, Johan
(2011)
*Epistemic Logic: Five Questions Interview.*
[Report]

PP-2011-20:
van Benthem, Johan
(2011)
*Exploring a Theory of Play.*
[Report]

PP-2011-25:
van Benthem, Johan
(2011)
*Logic between Expressivity and Complexity.*
[Report]

PP-2011-22:
van Benthem, Johan
(2011)
*Logic in a Social Setting.*
[Report]

PP-2011-26:
van Benthem, Johan
(2011)
*Logic, Mathematics, and General Agency.*
[Report]

PP-2011-21:
van Benthem, Johan and Bezhanishvili, Nick and Hodkinson, Ian
(2011)
*Sahlqvist Correspondence for Modal Mu-Calculus.*
[Report]

PP-2011-31:
van Benthem, Johan and Dégrémont, Cédric
(2011)
*Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics.*
[Report]

PP-2011-28:
van Benthem, Johan and Gheerbrant, Amélie
(2011)
*Game Solution, Epistemic Dynamics and Fixed-Point Logics.*
[Report]

PP-2011-02:
van Benthem, Johan and Grossi, Davide
(2011)
*Normal Forms for Priority Graphs.*
[Report]

PP-2011-29:
van Benthem, Johan and Grossi, Davide and Liu, Fenrong
(2011)
*On the Two Faces of Deontics: Semantic Betterness and Syntactic Priority.*
[Report]

PP-2011-24:
van Benthem, Johan and Liu, Fenrong
(2011)
*Deontic Logic and Changing Preferences.*
[Report]

PP-2011-19:
van Benthem, Johan and Pacuit, Eric
(2011)
*Dynamic Logics of Evidence-Based Beliefs.*
[Report]

PP-2011-27:
van Benthem, Johan and Pacuit, Eric and Roy, Olivier
(2011)
*Toward a Theory of Play: A Logical Perspective on Games and Interaction.*
[Report]

PP-2011-30:
van Benthem, Johan and Velázquez-Quesada, Fernando
(2011)
*The Dynamics of Awareness.*
[Report]

PP-2011-23:
van Benthem, Johan and van Ditmarsch, Hans and Minica, Stefan
(2011)
*Question-Answer Games.*
[Report]

MoL-2011-18:
van Cranenburgh, Andreas
(2011)
*Discontinuous Data-Oriented Parsing through Mild Context-Sensitivity.*
[Report]

PP-2011-36:
van Emde Boas, Peter
(2011)
*Turing Machines for Dummies: why representations do matter.*
[Report]