[Elsnet-list] ILLC Research Reports and Technical Notes 2008

Marco Vervoort vervoort at science.uva.nl
Wed Dec 31 23:00:03 CET 2008

ILLC Scientific Publications

This document contains the titles of the reports that were published
by the Institute for Logic, Language and Computation (ILLC) this year.
All ILLC reports are available from the ILLC bureau:

       ILLC Bureau
       University of Amsterdam
       Plantage Muidergracht 24
       NL-1018 TV Amsterdam
       The Netherlands

Many reports are also electronically available,
 by WWW at http://www.illc.uva.nl/Publications and
 or FTP at ftp://ftp.science.uva.nl/pub/theory/illc/researchreports/
The ILLC bureau may be contacted by email, at illc at science.uva.nl

Reports are numbered Series-Year-Number, where `Series' is one of 
  PP = Prepublication Series
  MoL = Master of Logic Thesis


Report PP-2008-01
Title: An Interview on the Philosophy of Information
Author: Johan van Benthem

Report PP-2008-02
Title: Games that Make Sense: logic, language, and interaction
Author: Johan van Benthem

Report PP-2008-03
Title: In Praise of Strategies
Author: Johan van Benthem

Report PP-2008-04
Title: The Stories of Logic and Information
Author: Johan van Benthem, Maricarmen Martinez

Report PP-2008-05
Title: A Brief History of Natural Logic
Author: Johan van Benthem

Report PP-2008-06
Title: Logic, Rational Agency, and Intelligent Interaction
Author: Johan van Benthem

Report PP-2008-07
Title: The Many Faces of Interpolation
Author: Johan van Benthem

Report PP-2008-08
Title: 'Tell It Like It Is': information flow in logic
Author: Johan van Benthem

Report PP-2008-09
Title: Information Update as Social Choice
Author: Johan van Benthem

Report PP-2008-10
Title: Temporary Unavailability Logic and General Modification Logic
Author: Wouter Koolen

Report PP-2008-11
Title: The Kuznetsov-Gerciu and Rieger-Nishimura Logics: The Boundaries of 
the Finite Model Property
Author: Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh

Report PP-2008-12
Title: Winner Determination in Combinatorial Auctions with Logic-based 
Bidding Languages
Author: Joel Uckelman, Ulle Endriss

Report PP-2008-13
Title: Comparing Winner Determination Algorithms for Mixed Multi-unit 
Combinatorial Auctions
Author: Brammert Ottens, Ulle Endriss

Report PP-2008-14
Title: Trajectories of Goods in Distributed Allocation
Author: Yann Chevaleyre, Ulle Endriss, Nicolas Maudet

Report PP-2008-15
Title: Simulation of Negotiation Policies in Distributed Multiagent 
Resource Allocation
Author: Hylke Buisman, Gijs Kruitbosch, Nadya Peek, Ulle Endriss

Report PP-2008-16
Title: For Better of for Worse: Dynamic Logics of Preference
Author: Johan van Benthem

Report PP-2008-17
Title: Building bridges between dynamic and temporal doxastic logics
Author: Johan van Benthem, Cedric D\`egremont

Report PP-2008-18
Title: A New Proof of the Jayne-Rogers Theorem
Author: Luca Motto Ros, Brian Semmes

Report PP-2008-19
Title: Modal Fixed-Point Logic and Changing Models
Author: Johan van Benthem, Daisuke Ikegami

Report PP-2008-20
Title: Jacob Lorhard's ontology: a 17th century hypertext on the reality 
and temporality of the world of intelligibles
Author: Peter {\O}hrstr{\o}m, Henrik Sch\"arfe, Sara L. Uckelman

Report PP-2008-21
Title: Getting Rid of Derivational Redundancy or How to Solve Kuhn's Problem
Author: Rens Bod

Report PP-2008-22
Title: Is the End of Supervised Parsing in Sight?
Author: Rens Bod

Report PP-2008-23
Title: From Exemplar to Grammar: Integrating Analogy and Probability in 
Language Learning
Author: Rens Bod

Report PP-2008-24
Title: The Data-Oriented Parsing Approach: Theory and Application
Author: Rens Bod

Report PP-2008-25
Title: Nonmonotone game labellings
Author: Tikitu de Jager, Benedikt L\"owe

Report PP-2008-26
Title: Inquisitive Semantics: Two Possibilities for Disjunction
Author: Jeroen Groenendijk

Report PP-2008-27
Title: From IF to BI, A Tale of Dependence and Separation
Author: Samson Abramsky, Jouko V\"a\"an\"anen

Report PP-2008-28
Title: Preference Modeling by Weighted Goals with Max Aggregation
Author: Joel Uckelman, Ulle Endriss

Report PP-2008-29
Title: Three 13th-century views of quantified modal logic
Author: Sara Uckelman

Report PP-2008-30
Title: Modal Logic and Invariance
Author: Johan van Benthem, Denis Bonnay

Report PP-2008-31
Title: Analyzing stories as games with mistaken and changing beliefs
Author: Benedikt L\"owe, Eric Pacuit, Sanchit Saraf

Report PP-2008-32
Title: Interpretability in PRA
Author: Marta Bilkova, Dick de Jongh, Joost J. Joosten

Report PP-2008-33
Title: Logical Pluralism Meets Logical Dynamics?
Author: Johan van Benthem

Report PP-2008-34
Title: Multi-agent Belief Dynamics: Bridges between Dynamic Doxastic and 
Doxastic Temporal Logics
Author: Johan van Benthem, C\'edric D\'egr\'emont

Report PP-2008-35
Title: Merging Frameworks for Interaction
Author: Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit

Report PP-2008-36
Title: Merging Observation and Access in Dynamic Logic
Author: Johan van Benthem

Report PP-2008-37
Title: The Information in Intuitionistic Logic
Author: Johan van Benthem

Report PP-2008-38
Title: Perspectives on Concealed Questions
Author: Floris Roelofsen, Maria Aloni

Report PP-2008-39
Title: Modal Logics for Reasoning about Preferences and Cooperation: 
Expressive Power and Complexity
Author: C\'edric D\'egremont, Lena Kurzen

Report PP-2008-40
Title: A Logic for Cooperation, Actions and Preferences
Author: Lena Kurzen

Report PP-2008-41
Title: Does SAT exhibit fractal behavior?
Author: Joost J. Joosten, Grant Olney Passmore

Report PP-2008-42
Title: A Guide to Dynamic Semantics
Author: Paul Dekker

Report PP-2008-43
Title: The Computational Complexity of Quantified Reciprocals
Author: Jakub Szymanik

Report PP-2008-44
Title: Complete Axiomatizations of $MSO$, $FO(TC^1)$, $FO(LFP^1)$ on Finite 
Author: Am\'elie Gheerbrant, Balder ten Cate

Report PP-2008-45
Title: Expressing Belief Flow in Assertion Networks
Author: Sujata Ghosh, Fernando R. Vel\'azquez-Quesada

Report PP-2008-46
Title: Identification through Inductive Verification. Application to 
Monotone Quantifiers
Author: Nina Gierasimczuk

Report PP-2008-47
Title: Now that you mention it: Awareness dynamics in discourse and 
Author: Michael Franke, Tikitu de Jager

Report PP-2008-48
Title: Inference and Update
Author: Fernando R. Vel\'azquez-Quesada

Report PP-2008-49
Title: Comprehension of Simple Quantifiers. Empirical Evaluation of a 
Computational Model
Author: Jakub Szymanik, Marcin Zajenkowski

Report PP-2008-50
Title: The art of doubting in Obligationes Parisienses
Author: Sara L. Uckelman, Jaap Maat, Katherina Rybalko

Report PP-2008-51
Title: Logic and the condemnations of 1277
Author: Sara L. Uckelman

Report PP-2008-52
Title: Pointer Semantics with Forward Propagation
Author: Sujata Ghosh, Benedikt L\"owe, Sanchit Saraf

Report MoL-2008-01
Title: The Problem of the Perfect Agent: Investigations into Determinism
Author: Caroline Foster

Report MoL-2008-02
Title: Gradability without Degrees
Author: Silvia Gaio

Report MoL-2008-03
Title: ABox Abduction in Description Logic
Author: Szymon Klarman

Report MoL-2008-04
Title: A Konolige bridge between default logic and autoepistemic logic
Author: Martijn Pennings

Report MoL-2008-05
Title: Modeling Computer Viruses
Author: Luite Menno Pieter van Zelst

Report MoL-2008-06
Title: Models of the Polymodal Provability Logic
Author: Thomas Icard

Report MoL-2008-07
Title: Multi-Player Logics
Author: Loes Olde Loohuis

Report MoL-2008-08
Title: Game values and equilibria for undetermined sentences of Dependence 
Author: Pietro Galliani

Report MoL-2008-09
Title: Nash Social Welfare in Multiagent Resource Allocation
Author: Sara Ramezani Khorshid Doost

Report MoL-2008-10
Title: How to solve the conjunction fallacy? A discussion of alternative 
Author: Dewi S. Harten

Report MoL-2008-11
Title: Concatenation as a basis for Q and the Intuitionistic variant of 
Nelson’s Classic Result
Author: Rachel Sterken

Report MoL-2008-12
Title: Intuitionistic Subframe Formulas, NNIL-Formulas and n-universal 
Author: Fan Yang

More information about the Elsnet-list mailing list