ILLC Publications, All Series, 2007

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