ILLC Publications, All Series, 2008

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

PP-2008-56:
Willem Zuidema, Bart de Boer Evolutionary Explanations for Natural Language - Criteria from Evolutionary Biology.
1.Full Text, 2.Abstract.
PP-2008-55:
Pietro Galliani Probabilistic Dependence Logic.
1.Full Text, 2.Abstract.
PP-2008-54:
Vanessa Ferdinand, Willem Zuidema Language adapting to the brain: a study of a Bayesian iterated learning model.
1.Full Text, 2.Abstract.
PP-2008-53:
Vanessa Ferdinand, Willem Zuidema An experiment in iterated function learning.
1.Full Text, 2.Abstract.
PP-2008-52:
Sujata Ghosh, Benedikt Löwe, Sanchit Saraf Pointer Semantics with Forward Propagation.
1.Full Text, 2.Abstract.
PP-2008-51:
Sara L. Uckelman Logic and the condemnations of 1277.
1.Full Text, 2.Abstract.
PP-2008-50:
Sara L. Uckelman, Jaap Maat, Katherina Rybalko The art of doubting in Obligationes Parisienses.
1.Full Text, 2.Abstract.
PP-2008-49:
Jakub Szymanik, Marcin Zajenkowski Comprehension of Simple Quantifiers. Empirical Evaluation of a Computational Model.
1.Full Text, 2.Abstract.
PP-2008-48:
Fernando R. Velázquez-Quesada Inference and Update.
1.Full Text, 2.Abstract.
PP-2008-47:
Michael Franke, Tikitu de Jager Now that you mention it: Awareness dynamics in discourse and decisions.
1.Full Text, 2.Abstract.
PP-2008-46:
Nina Gierasimczuk Identification through Inductive Verification. Application to Monotone Quantifiers.
1.Full Text, 2.Abstract.
PP-2008-45:
Sujata Ghosh, Fernando R. Velázquez-Quesada Expressing Belief Flow in Assertion Networks.
1.Full Text, 2.Abstract.
PP-2008-44:
Amélie Gheerbrant, Balder ten Cate Complete Axiomatizations of MSO, FO(TC1), FO(LFP1) on Finite Trees.
1.Full Text, 2.Abstract.
PP-2008-43:
Jakub Szymanik The Computational Complexity of Quantified Reciprocals.
1.Full Text, 2.Abstract.
PP-2008-42:
Paul Dekker A Guide to Dynamic Semantics.
1.Full Text, 2.Abstract.
PP-2008-41:
Joost J. Joosten, Grant Olney Passmore Does SAT exhibit fractal behavior?.
1.Full Text, 2.Abstract.
PP-2008-40:
Lena Kurzen A Logic for Cooperation, Actions and Preferences.
1.Full Text, 2.Abstract.
PP-2008-39:
Cédric Dégremont, Lena Kurzen Modal Logics for Reasoning about Preferences and Cooperation: Expressive Power and Complexity.
1.Full Text, 2.Abstract.
PP-2008-38:
Floris Roelofsen, Maria Aloni Perspectives on Concealed Questions.
1.Full Text, 2.Abstract.
PP-2008-37:
Johan van Benthem The Information in Intuitionistic Logic.
1.Full Text, 2.Abstract.
PP-2008-36:
Johan van Benthem Merging Observation and Access in Dynamic Logic.
1.Full Text, 2.Abstract.
PP-2008-35:
Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit Merging Frameworks for Interaction.
1.Full Text, 2.Abstract.
PP-2008-34:
Johan van Benthem, Cédric Dégrémont Multi-agent Belief Dynamics: Bridges between Dynamic Doxastic and Doxastic Temporal Logics.
1.Full Text, 2.Abstract.
PP-2008-33:
Johan van Benthem Logical Pluralism Meets Logical Dynamics?.
1.Full Text, 2.Abstract.
PP-2008-32:
Marta Bilkova, Dick de Jongh, Joost J. Joosten Interpretability in PRA.
1.Full Text, 2.Abstract.
PP-2008-31:
Benedikt Löwe, Eric Pacuit, Sanchit Saraf Analyzing stories as games with mistaken and changing beliefs.
1.Full Text, 2.Abstract.
PP-2008-30:
Johan van Benthem, Denis Bonnay Modal Logic and Invariance.
1.Full Text, 2.Abstract.
PP-2008-29:
Sara Uckelman Three 13th-century views of quantified modal logic.
1.Full Text, 2.Abstract.
PP-2008-28:
Joel Uckelman, Ulle Endriss Preference Modeling by Weighted Goals with Max Aggregation.
1.Full Text, 2.Abstract.
PP-2008-27:
Samson Abramsky, Jouko Väänänen From IF to BI, A Tale of Dependence and Separation.
1.Full Text, 2.Abstract.
PP-2008-26:
Jeroen Groenendijk Inquisitive Semantics: Two Possibilities for Disjunction.
1.Full Text, 2.Abstract.
PP-2008-25:
Tikitu de Jager, Benedikt Löwe Nonmonotone game labellings.
1.Full Text, 2.Abstract.
PP-2008-24:
Rens Bod The Data-Oriented Parsing Approach: Theory and Application.
1.Full Text, 2.Abstract.
PP-2008-23:
Rens Bod From Exemplar to Grammar: Integrating Analogy and Probability in Language Learning.
1.Full Text, 2.Abstract.
PP-2008-22:
Rens Bod Is the End of Supervised Parsing in Sight?.
1.Full Text, 2.Abstract.
PP-2008-21:
Rens Bod Getting Rid of Derivational Redundancy or How to Solve Kuhn's Problem.
1.Full Text, 2.Abstract.
PP-2008-20:
Peter Øhrstrøm, Henrik Schärfe, Sara L. Uckelman Jacob Lorhard's ontology: a 17th century hypertext on the reality and temporality of the world of intelligibles.
1.Full Text, 2.Abstract.
PP-2008-19:
Johan van Benthem, Daisuke Ikegami Modal Fixed-Point Logic and Changing Models.
1.Full Text, 2.Abstract.
PP-2008-18:
Luca Motto Ros, Brian Semmes A New Proof of the Jayne-Rogers Theorem.
1.Full Text, 2.Abstract.
PP-2008-17:
Johan van Benthem, Cedric Dègremont Building bridges between dynamic and temporal doxastic logics.
1.Full Text, 2.Abstract.
PP-2008-16:
Johan van Benthem For Better of for Worse: Dynamic Logics of Preference.
1.Full Text, 2.Abstract.
PP-2008-15:
Hylke Buisman, Gijs Kruitbosch, Nadya Peek, Ulle Endriss Simulation of Negotiation Policies in Distributed Multiagent Resource Allocation.
1.Full Text, 2.Abstract.
PP-2008-14:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Trajectories of Goods in Distributed Allocation.
1.Full Text, 2.Abstract.
PP-2008-13:
Brammert Ottens, Ulle Endriss Comparing Winner Determination Algorithms for Mixed Multi-unit Combinatorial Auctions.
1.Full Text, 2.Abstract.
PP-2008-12:
Joel Uckelman, Ulle Endriss Winner Determination in Combinatorial Auctions with Logic-based Bidding Languages.
1.Full Text, 2.Abstract.
PP-2008-11:
Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh The Kuznetsov-Gerciu and Rieger-Nishimura Logics: The Boundaries of the Finite Model Property.
1.Full Text, 2.Abstract.
PP-2008-10:
Wouter Koolen Temporary Unavailability Logic and General Modification Logic.
1.Full Text, 2.Abstract.
PP-2008-09:
Johan van Benthem Information Update as Social Choice.
1.Full Text, 2.Abstract.
PP-2008-08:
Johan van Benthem 'Tell It Like It Is': information flow in logic.
1.Full Text, 2.Abstract.
PP-2008-07:
Johan van Benthem The Many Faces of Interpolation.
1.Full Text, 2.Abstract.
PP-2008-06:
Johan van Benthem Logic, Rational Agency, and Intelligent Interaction.
1.Full Text, 2.Abstract.
PP-2008-05:
Johan van Benthem A Brief History of Natural Logic.
1.Full Text, 2.Abstract.
PP-2008-04:
Johan van Benthem, Maricarmen Martinez The Stories of Logic and Information.
1.Full Text, 2.Abstract.
PP-2008-03:
Johan van Benthem In Praise of Strategies.
1.Full Text, 2.Abstract, 3.Full Text (Jan 2008 version).
PP-2008-02:
Johan van Benthem Games that Make Sense: logic, language, and interaction.
1.Full Text, 2.Abstract.
PP-2008-01:
Johan van Benthem An Interview on the Philosophy of Information.
1.Full Text, 2.Abstract.
X-2008-12:
Ulle Endriss, Paul W. Goldberg Computational Social Choice 2008.
1.Full Text, 2.Abstract.
X-2008-11:
Johan van Benthem Logic and Philosophy in the Century That Was.
1.Full Text, 2.Abstract.
X-2008-10:
Pieter Adriaans, Johan van Benthem Introduction: Information is what information does.
1.Full Text, 2.Abstract.
X-2008-09:
Johan van Benthem Constanten, of Variabelen, van het Logische Denken.
1.Full Text, 2.Abstract.
X-2008-08:
Irma Cornelisse, Patrick Mast, Ricus Smid, Djura Smits Obligationes: Making an interactive website around a medieval game..
1.Full Text, 2.Abstract.
X-2008-07:
Benedikt Löwe Logic and the Simulation of Interaction and Reasoning: Introductory Remarks.
1.Full Text, 2.Abstract.
X-2008-06:
Rens Bod De Unificatie van Menselijke Cognitie.
1.Full Text, 2.Abstract.
X-2008-05:
Rens Bod Constructions at Work or at Rest?.
1.Full Text, 2.Abstract.
X-2008-04:
Jacob Lorhard, transl. by Sara Uckelman Diagraph of Metaphysic or Ontology.
1.Full Text, 2.Abstract.
X-2008-03:
ILLC Latin Reading Group (transl.) Parisian Obligations.
1.Full Text, 2.Abstract.
X-2008-02:
Johan van Benthem Philosophy of Mathematics: Five Candid Answers.
1.Full Text, 2.Abstract.
X-2008-01:
Johan van Benthem Een Postzegel vol Logica.
1.Full Text, 2.Abstract.
MoL-2008-12:
Fan Yang Intuitionistic Subframe Formulas, NNIL-Formulas and n-universal Models.
1.Full Text, 2.Abstract.
MoL-2008-11:
Rachel Sterken Concatenation as a basis for Q and the Intuitionistic variant of Nelson's Classic Result.
1.Full Text, 2.Abstract.
MoL-2008-10:
Dewi S. Harten How to solve the conjunction fallacy? A discussion of alternative approaches.
1.Full Text, 2.Abstract, 3.Front.
MoL-2008-09:
Sara Ramezani Khorshid Doost Nash Social Welfare in Multiagent Resource Allocation.
1.Full Text, 2.Abstract.
MoL-2008-08:
Pietro Galliani Game values and equilibria for undetermined sentences of Dependence Logic.
1.Full Text, 2.Abstract.
MoL-2008-07:
Loes Olde Loohuis Multi-Player Logics.
1.Full Text, 2.Abstract.
MoL-2008-06:
Thomas Icard Models of the Polymodal Provability Logic.
1.Full Text, 2.Abstract.
MoL-2008-05:
Luite Menno Pieter van Zelst Modeling Computer Viruses.
1.Full Text, 2.Abstract.
MoL-2008-04:
Martijn Pennings A Konolige bridge between default logic and autoepistemic logic.
1.Full Text, 2.Abstract.
MoL-2008-03:
Szymon Klarman ABox Abduction in Description Logic.
1.Full Text, 2.Abstract.
MoL-2008-02:
Silvia Gaio Gradability without Degrees.
1.Full Text, 2.Abstract.
MoL-2008-01:
Caroline Foster The Problem of the Perfect Agent: Investigations into Determinism.
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