Items where Year is 2009

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: A | B | C | D | E | F | G | H | I | K | L | M | O | P | R | S | U | V | W | Y | Z
Number of items: 71.


X-2009-02: Achourioti, Theodora and Andrade, Edgar and Staudacher, Marc (2009) Proceedings of the Graduate Philosophy Conference on Normativity, Amsterdam 2008. [Report]

PP-2009-29: Ahmet, Hamal and Mehmet, Terziler (2009) Peritopological Spaces and Bisimulations. [Report]

PP-2009-39: Airiau, Stéphane and Endriss, Ulle (2009) Iterated Majority Voting. [Report]

PP-2009-21: Apter, Arthur W. and Jackson, Stephen C. and Löwe, Benedikt (2009) Cofinality and Measurability of the First Three Uncountable Cardinals. [Report]


MoL-2009-08: Beek, Wouter (2009) Truth-Theoretic Contextualism: Dissolving the Minimalism/Contextualism Debate. [Report]

PP-2009-04: Blutner, Reinhard (2009) Concepts and Bounded Rationality: An Application of Niestegge's Approach to Conditional Quantum Probabilities. [Report]

PP-2009-02: Blutner, Reinhard (2009) Questions and Answers in an Orthoalgebraic Approach. [Report]

PP-2009-03: Blutner, Reinhard and Hochnadel, Elena (2009) Two Qubits for C.G. Jung's Theory of Personality. [Report]

PP-2009-01: Blutner, Reinhard and Strigin, Anatoli (2009) Bidirectional Grammar and Bidirectional Optimization. [Report]

PP-2009-36: Bouveret, Sylvain and Endriss, Ulle and Lang, Jérôme (2009) Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods. [Report]

PP-2009-13: Brendle, Jörg and Löwe, Benedikt (2009) Eventually Different Functions and Inaccessible Cardinals. [Report]

MoL-2009-07: Brumwell, Chris (2009) A Dynamic Analysis of Epistemic Possibility. [Report]


PP-2009-35: Chevaleyre, Yann and Endriss, Ulle and Lang, Jérôme and Maudet, Nicolas (2009) Preference Handling in Combinatorial Domains: From AI to Social Choice. [Report]

PP-2009-12: Chevaleyre, Yann and Endriss, Ulle and Maudet, Nicolas (2009) Simple Negotiation Schemes for Agents with Simple Preferences: Sufficiency, Necessity and Maximality. [Report]

MoL-2009-03: Chiffi, Daniele (2009) Analysis of Knowledge, Assertion, Verification. [Report]

MoL-2009-11: Ciardelli, Ivano A. (2009) Inquisitive Semantics and Intermediate Logics. [Report]

MoL-2009-01: Crespo, María Inés (2009) Normativity and interaction: from ethics to semantics. [Report]


PP-2009-14: Dégremont, Cédric and Gierasimczuk, Nina (2009) Can doxastic agents learn? On the temporal structure of learning. [Report]

PP-2009-49: de Boer, Bart and Zuidema, Willem (2009) Models of Language Evolution: Does the Math Add Up? [Report]

MoL-2009-04: de Jonge, Daan Dirk (2009) Autistic Number Learning: What Autism Can Tell Us About the Acquisition of Number Concepts. [Report]


PP-2009-37: Endriss, Ulle and Pini, Maria Silvia and Rossi, Francesca and Venable, K. Brent (2009) Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness. [Report]


MoL-2009-14: Fulford, Lisa Maree (2009) A study of Canonicity for Bi-Implicative Algebras. [Report]


PP-2009-41: Gheerbrant, Amélie (2009) Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus. [Report]

PP-2009-26: Gheerbrant, Amélie and ten Cate, Balder (2009) Craig Interpolation for Linear Temporal Languages. [Report]

PP-2009-30: Gierasimczuk, Nina and Kurzen, Lena and Velázquez-Quesada, Fernando R. (2009) Games for Learning - A Sabotage Approach. [Report]

PP-2009-11: Giovannucci, Andrea and Cerquides, Jesús and Endriss, Ulle and Rodríguez-Aguilar, Juan A. (2009) A Graphical Formalism for Mixed Multi-Unit Combinatorial Auctions. [Report]

PP-2009-40: Grandi, Umberto and Endriss, Ulle (2009) First-Order Logic Formalisation of Arrow's Theorem. [Report]

MoL-2009-13: Grigoriadou, Olga (2009) A Momentary Lapse Of Reason. [Report]

PP-2009-05: Groenendijk, Jeroen (2009) Inquisitive Semantics: Two Possibilities for Disjunction. [Report]

PP-2009-18: Groenendijk, Jeroen and Roelofsen, Floris (2009) Inquisitive Semantics and Pragmatics. [Report]

PP-2009-27: Grossi, David and Gabbay, Dov and der Torre, Leendert van (2009) The Norm Implementation Problem in Normative Multi-Agent Systems. [Report]

PP-2009-24: Grossi, Davide (2009) Doing Argumentation Theory in Modal Logic. [Report]


MoL-2009-02: Hausen, Nicole R. (2009) Wittgenstein's Investigations and Damasio's Explanations: A Comparative Study of Emotion. [Report]

PP-2009-23: Honingh, Aline and Volk, Anja (2009) De Kracht van Wiskunde in Muziekonderzoek. [Report]


PP-2009-25: Ikegami, Daisuke (2009) Forcing Absoluteness and Regularity Properties. [Report]

PP-2009-17: Ikegami, Daisuke and de Kloet, David and Löwe, Benedikt (2009) The Axiom of Real Blackwell Determinacy. [Report]


MoL-2009-06: Kovacsics, Pablo Cubides (2009) Decomposition Theorem for Abstract Elementary Classes. [Report]


PP-2009-15: Leal, Raul and Kupke, Clemens (2009) Of the Hennessy-Milner property and Other Demons. [Report]

PP-2009-16: Leal, Raul and Kurz, Alexander (2009) Equational Coalgebraic Logic. [Report]

X-2009-03: Löwe, Benedikt (2009) LSIR-2: Logic and the Simulation of Interaction and Reasoning. [Report]

PP-2009-22: Löwe, Benedikt and Müller, Thomas (2009) Data and Phenomena in Conceptual Modelling. [Report]

PP-2009-33: Löwe, Benedikt and Pacuit, Eric and Saraf, Sanchit (2009) Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation. [Report]


PP-2009-38: Mancarella, Paolo and Terreni, Giacomo and Sadri, Fariba and Toni, Francesca and Endriss, Ulle (2009) The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments. [Report]

MoL-2009-18: Mascarenhas, Salvador (2009) Inquisitive Semantics and Logic. [Report]


MoL-2009-12: Oudheusden, Karel Van (2009) The Advent of Recursion \& Logic in Computer Science. [Report]


MoL-2009-09: Pauw, Simon (2009) A BiOT Account of Gricean Reasoning. [Report]


PP-2009-09: Ramezani, Sara and Endriss, Ulle (2009) Nash Social Welfare in Multiagent Resource Allocation. [Report]


MoL-2009-15: Sietsma, Floor (2009) A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems. [Report]

MoL-2009-10: Spychalska, Maria (2009) Scalar Implicatures and Existential Import: Experimental Study on Quantifiers in Natural Language. [Report]

MoL-2009-05: Stamatis, Petros D. (2009) Going for a Walk on a Fine Summer's Day While a Sea-battle is Taking Place, or Concerning Future Contingents and Intentional Action. [Report]

PP-2009-19: Szymanik, Jakub and Zajenkowski, Marcin (2009) Improving methodology of quantifier comprehension experiments. [Report]

PP-2009-46: Szymanik, Jakub and Zajenkowski, Marcin (2009) Quantifiers and Working Memory. [Report]

PP-2009-20: Szymanik, Jakub and Zajenkowski, Marcin (2009) Understanding Quantifiers in Language. [Report]


PP-2009-10: Uckelman, Joel and Chevaleyre, Yann and Endriss, Ulle and Lang, Jérôme (2009) Representing Utility Functions via Weighted Goals. [Report]

PP-2009-28: Uckelman, Sara L. (2009) The reception of Saint Anselm's logic in the 20th and 21st centuries. [Report]

X-2009-04: Uckelman, Sara L. and van Ormondt, Peter and Gorisse, Marie-Hélène and Keiff, Laurent and Clerbout, Nicolas (2009) A Day of Indian Logic. [Report]


MoL-2009-17: Versteegh, Maarten (2009) iDOP: Iterated Data-Oriented Parsing as a Model for Diachronic Syntax. [Report]

X-2009-01: van Benthem, Johan (2009) Argumentation through the Lense of Artificial Intelligence. [Report]

PP-2009-08: van Benthem, Johan (2009) CRS and Guarded Logics, a fruitful contact. [Report]

PP-2009-44: van Benthem, Johan (2009) Categorial versus Modal Information Theory. [Report]

PP-2009-07: van Benthem, Johan (2009) Decisions, Actions, and Games: a logical perspective. [Report]

PP-2009-06: van Benthem, Johan (2009) The Great Art of Modeling. [Report]

PP-2009-47: van Benthem, Johan (2009) Horror Contradictionis. [Report]

PP-2009-48: van Benthem, Johan (2009) The Logic of Empirical Theories Revisited. [Report]

PP-2009-34: van Benthem, Johan (2009) Rolling down the River: Saul Kripke and the course of modal logic. [Report]

PP-2009-32: van Benthem, Johan and Minica, Stefan (2009) Toward a Dynamic Logic of Questions. [Report]

PP-2009-43: van Benthem, Johan and Velázquez-Quesada, Fernando R. (2009) Inference, Promotion, and the Dynamics of Awareness. [Report]

MoL-2009-16: van Gool, Samuel Jacob (2009) Methods for Canonicity. [Report]


PP-2009-31: Wybraniec-Skardowska, Urszula (2009) Polish Logic, a few lines from a personal perspective. [Report]


PP-2009-45: Yu, Junhua (2009) Prehistoric Phenomena and Self-referentiality in Realization Procedure. [Report]


PP-2009-50: Zuidema, Willem (2009) A syllable frequency list for Dutch. [Report]

This list was generated on Mon Sep 25 00:30:15 2017 CEST.