ILLC Publications, All Series, 2007

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

PP-2007-40:
Gideon Borensztajn, Willem Zuidema Bayesian Model Merging for Unsupervised Constituent Labeling and Grammar Induction.
1.Full Text, 2.Abstract.
PP-2007-39:
Balder ten Cate, Tadeusz Litak The importance of being discrete.
1.Full Text, 2.Abstract.
PP-2007-38:
\c{C}i\v{g}dem Gencer, Dick de Jongh Unifiability in extensions of K4.
1.Full Text, 2.Abstract.
PP-2007-37:
Jakub Szymanik A Strong Meaning Hypothesis from a Computational Perspective.
1.Full Text, 2.Abstract.
PP-2007-36:
Michael Franke Interpretation of Optimal Signals.
1.Full Text, 2.Abstract.
PP-2007-35:
Michael Franke The Pragmatics of Biscuit Conditionals.
1.Full Text, 2.Abstract.
PP-2007-34:
Jacob Vosmaer MacNeille completion and profinite completion can coincide on finitely generated modal algebras.
1.Full Text, 2.Abstract.
PP-2007-33:
Bernd Buldt, Benedikt Löwe, Thomas Müller Towards a new epistemology of mathematics.
1.Full Text, 2.Abstract.
PP-2007-32:
Benedikt Löwe, Thomas Müller, Eva Wilhelmus Mathematical knowledge: a case study in empirical philosophy of mathematics.
1.Full Text, 2.Abstract.
PP-2007-31:
Sara Uckelman Anselm's Logic of Agency.
1.Full Text, 2.Abstract.
PP-2007-30:
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit Bisimulation for Neighbourhood Structuress.
1.Full Text, 2.Abstract.
PP-2007-29:
Merlijn Sevenster A strategic perspective on IF games.
1.Full Text, 2.Abstract.
PP-2007-28:
Juha Kontinen, Jakub Szymanik A Remark on Collective Quantification.
1.Full Text, 2.Abstract.
PP-2007-27:
Joel Uckelman, Ulle Endriss Preference Representation with Weighted Goals: Expressivity, Succinctness, Complexity.
1.Full Text, 2.Abstract.
PP-2007-26:
Johan van Benthem, Sujata Ghosh, Fenrong Liu Modelling Simultaneous Games with Dynamic Logic.
1.Full Text, 2.Abstract, 3.Full Text (Jun 2007 version).
PP-2007-25:
Jialong Zhang, Fenrong Liu Some Thoughts on Mohist Logic.
1.Full Text, 2.Abstract.
PP-2007-24:
Eva Wilhelmus Formalizability and Knowledge Ascriptions in Mathematical Practice.
1.Full Text, 2.Abstract.
PP-2007-23:
Ulle Endriss Vote Manipulation in the Presence of Multiple Sincere Ballots.
1.Full Text, 2.Abstract.
PP-2007-22:
Benedikt Löwe Visualization of ordinals.
1.Full Text, 2.Abstract.
PP-2007-21:
Martin van Hees, Olivier Roy Intentions, Decisions and Rationality.
1.Full Text, 2.Abstract.
PP-2007-20:
Xavier Caicedo, Francien Dechesne, Theo M.V. Janssen Equivalence and quantier rules for logic with imperfect information.
1.Full Text, 2.Abstract.
PP-2007-19:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Allocating Goods on a Graph to Eliminate Envy.
1.Full Text, 2.Abstract.
PP-2007-18:
Juha Kontinen, Jouko Väänänen On Definability in Dependence Logic.
1.Full Text, 2.Abstract.
PP-2007-17:
Peter Øhrstrøm, Sara L. Uckelman, Henrik Schärfe Historical and Conceptual Foundation of Diagrammatical Ontology.
1.Full Text, 2.Abstract.
PP-2007-16:
Sara L. Uckelman, Joel Uckelman Modal and Temporal Logics for Abstract Space-Time Structures.
1.Full Text, 2.Abstract.
PP-2007-15:
Sujata Ghosh, Benedikt Löwe, Erik Scorelle Belief Flow in Assertion Networks.
1.Full Text, 2.Abstract.
PP-2007-14:
Theo Janssen Compiler correctness and the translation of logics.
1.Full Text, 2.Abstract.
PP-2007-13:
Theo Janssen Independence and Hintikka games.
1.Full Text, 2.Abstract.
PP-2007-12:
Krzystof Apt, Andreas Witzel A Generic Approach to Coalition Formation.
1.Full Text, 2.Abstract.
PP-2007-11:
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel A Fully Connectionist Model Generator for Covered.
1.Full Text, 2.Abstract.
PP-2007-10:
Johan van Benthem Actions that Make us Know.
1.Full Text, 2.Abstract.
PP-2007-09:
Johan van Benthem, Olivier Roy, Patrick Girard Everything else being equal: A modal logic approach to ceteris paribus preferences.
1.Full Text, 2.Abstract.
PP-2007-08:
Johan van Benthem, Jelle Gerbrandy, Eric Pacuit Merging Frameworks for Interaction: DEL and ETL.
1.Full Text, 2.Abstract.
PP-2007-07:
Johan van Benthem LOGIC GAMES: from tools to models of interaction.
1.Full Text, 2.Abstract.
PP-2007-06:
Johan van Benthem Inference in Action.
1.Full Text, 2.Abstract.
PP-2007-05:
Johan van Benthem Man Muss Immer Umkehren.
1.Full Text, 2.Abstract.
PP-2007-04:
Johan van Benthem Situation Calculus Meets Modal Logic.
1.Full Text, 2.Abstract.
PP-2007-03:
Johan van Benthem Logic and Reasoning: Do the Facts Matter?.
1.Full Text, 2.Abstract.
PP-2007-02:
Jacob Vosmaer Essentially Sigma-1 formulae in Sigma L.
1.Full Text, 2.Abstract.
PP-2007-01:
Fenrong Liu Diversity of Agents and their Interaction.
1.Full Text, 2.Abstract.
X-2007-03:
Fan Yang On HS=SH and Duality Theorems of Intuitionistic Descriptive Frames.
1.Full Text, 2.Abstract.
X-2007-02:
Johan van Benthem An Interview on Logic and Games.
1.Full Text, 2.Abstract.
X-2007-01:
Johan van Benthem Intelligent Interaction: Dynamic Trends in Todays Logic.
1.Full Text, 2.Abstract.
MoL-2007-23:
Federico Sangati Towards simpler tree substitution grammars.
1.Full Text, 2.Abstract.
MoL-2007-22:
Petter Remen Automata on flows.
1.Full Text, 2.Abstract.
MoL-2007-21:
Theodora Achourioti Logic, Normativity, and the A Priori.
1.Full Text, 2.Abstract.
MoL-2007-20:
Gustaaf Haan How illiterates interpret syllogistic problems.
1.Full Text, 2.Abstract.
MoL-2007-19:
Raul Andres Leal Rodriguez Expressivity of Coalgebraic Modal Languages.
1.Full Text, 2.Abstract.
MoL-2007-18:
Lena Kurzen Logics for Cooperation, Actions and Preferences.
1.Full Text, 2.Abstract.
MoL-2007-17:
Brammert Ottens Comparing Winner Determination Algorithms for Mixed Multi-Unit Combinatorial Auctions.
1.Full Text, 2.Abstract.
MoL-2007-16:
Jesse Aron Harris Revealing Concealment: A (Neuro-)Logical Investigation of Concealed Questions.
1.Full Text, 2.Abstract.
MoL-2007-15:
Christian Kissig Decidability of S2S.
1.Full Text, 2.Abstract.
MoL-2007-14:
Joost Winter Space Complexity in Infinite Time Turing Machines.
1.Full Text, 2.Abstract.
MoL-2007-13:
Ansten Mørch Klev Extending Kleene's O Using Infinite Time Turing Machines.
1.Full Text, 2.Abstract (RTF), 3.Abstract (TXT).
MoL-2007-12:
Sandeep Murthy Group-theoretic Methods for Bounding the Exponent of Matrix Multiplication.
1.Full Text, 2.Abstract.
MoL-2007-11:
Yurii Khomskii Regularity Properties and Determinacy.
1.Full Text, 2.Abstract.
MoL-2007-10:
David Chabot Individual-level Predicates and When-Conditionals.
1.Full Text, 2.Abstract.
MoL-2007-09:
Harald Bastiaanse Clarity in Non-Monotonic Logic.
1.Full Text, 2.Abstract.
MoL-2007-08:
Ori Garin A computational model of reference.
1.Full Text, 2.Abstract.
MoL-2007-07:
Marcello Di Bello Formalizing Legislation in the Event Calculus: The Case of the Italian Citizenship Law.
1.Full Text, 2.Abstract.
MoL-2007-06:
Gerben de Vries Formalizing Implicatures Using Extended Logic Programming.
1.Full Text, 2.Abstract.
MoL-2007-05:
Can Baskent Topics in Subset Space Logic.
1.Full Text, 2.Abstract.
MoL-2007-04:
Tijmen R. Daniëls Social Choice and Logic via Simple Games.
1.Full Text, 2.Abstract.
MoL-2007-03:
Höskuldur Hlynsson Transfer Learning Using the Minimum Description Length Principle with a Decision Tree Application.
1.Full Text, 2.Abstract.
MoL-2007-02:
Wouter Koolen Discovering the truth by conducting experiments.
1.Full Text, 2.Abstract.
MoL-2007-01:
Jonathan Zvesper A Revised Version: Belief Revision and Epistemic Acts.
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