Publications

Home Gödel Centenary About the OzsL Institutes People Schoolevent News Schoolweek 2004 Puzzle of the Month Publications Links

Apt, Krzysztof R. (1999.) The Essence of Constraint Propagation Theor. Comput. Sci. 221(1-2): 179-210 Apt, Krzysztof R. (2000) The role of commutativity in constraint propagation algorithms ACM Trans. Program. Lang. Syst. 22(6): 1002-1036 Apt, Krzysztof R. (2003) Principles of Constraint Programming Cambridge University Press, 407 Balogh, K. (-) Direct way to semantics Paper submitted at the XXVI. National Conference of Scientific Circles of Students (OTDK) Balogh, K. (-) Lexicalism and computer science MA thesis, University of Pecs Balogh, K. and Alberti, G. and Kleiber, J. (-) Prolog Implementation of a Totally Lexicalist Grammar de Jongh - Zeevat - Nilsenova (eds.): Proceedings of the Third and Fourth Tbilisi Symposium on Language, Logic and Computation, ILLC, Amsterdam, and Univ. of Tbilisi Balogh, K. and Alberti, G. and Kleiber, J. and Viszket, A. (-) The Principle of Total Lexicalism and the GASGrammar A mai magyar nyelv leírásának újabb módszerei, Szeged, SZTE Balogh, K. and Alberti, G. and Kleiber, J. and Viszket, A. (-) Towards a totally lexicalist morphology Kenesei, I. - Ch. Pinon (eds.): Approaches to Hungarian 9. Balogh, K. and Alberti, G. and Kleiber, J. and Viszket, A. (2003) Total Lexicalism and GASGrammars: A Direct Way to Semantics, A. Gelbukh (ed.): Proceedings of CICLing2003, Lecture Notes in Computer Science N2588, 37-48, Springer-Verlag 2003 Balogh, K. and Kleiber, J. (-) Prolog Implementation of the Morphosyntax of a Lexical Grammar Paper submitted at the XXV. National Conference of Scientific Circles of Students (OTDK) Balogh, K. and Kleiber, J. (2003) Computational Benefits of a Totally Lexicalist Grammar Vaclav Matousek, Pavel Mautner et al (eds.): Text, Speech and Dialogue. Proceedings of the Sixth International Conference TSD 2003, Lecture Notes of Artificial Intelligence, Springer-Verlag Beklemishev, L.D. (1999) Parameter-free induction and provably total computable functions Theoretical Computer Science 224 (1-2), 13-33, 1999 Beklemishev, L.D. (1999) Open least element principle and bounded query computation J. Flum et al., editors, Computer Science Logic. CSL'99 Proceedings, Lecture Notes in Computer Science 1683, Springer-Verlag, Berlin, 389-404 Beklemishev, L.D. (1999) Proof-theoretic analysis by iterated reflection Archive for Mathematical Logic Beklemishev, L.D. (2000) Another pathological well-ordering S. Buss et al., editors, Logic Colloquium '98 Proceedings, Lecture Notes in Logic 13, A.K.Peters, Ltd., Natick MA, 105-108 Beklemishev, L.D. (2001) Review of "On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness"' by U. Kohlenbach Bulletin of Symbolic Logic, 7(1), 75-77 Beklemishev, L.D. (2001) Review of "On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness"' by U. Kohlenbach Bulletin of Symbol Logic, 7(1), 75-77 Beklemishev, L.D. (2003) On the induction schema for decidable predicates The Journal of Symbolic Logic, 68 (1), p. 17-34. Preprint: Department of Philosophy, Utrecht University, Logic Group Preprint Series 205, June 2000 Beklemishev, L.D. (2003) The Worm principle Department of Philosophy, Utrecht University, Logic Group Preprint Series 219, March 2003 Beklemishev, L.D. (2003) Open induction and the least element principle Department of Philosophy, Utrecht University, Logic Group Preprint Series 222, April 2003. To appear in Trudy MIAN (Steklov Mathematical Institute Proceedings), 2003. Beklemishev, L.D. and Pentus, M. and Vereshchagin, N. (1999) Provability, Complexity, Grammars American Mathematical Society Translations, Series 2, v.192 Beklemishev, L.D. and Rastsvetaev, A. (2002) On the query complexity of finding a local maximum point Information Processing Letters, v. 84, p. 327-332. See also: Department of Philosophy, Utrecht University, Logic Group Preprint Series 206, November 2000 Benthem, J.F.A.K. van, Groenendijk J., Stokhof M. and Verkuyl H. (2002) Introducción a la Logica, Spanish translation Eudeba, Universidad de Buenos Aires, 2002 Bergstra, J.A. (2002) Molecule-oriented programming in Java Information and Software Technology, Volume 44, Issue 11, 15 August 2002, Pages 617-638 Bergstra, J.A. and Baeten, J.C.M. (2004) Deadlock Behaviour in Split and ST Bisimulation Semantics Electronic Notes in Theoretical Computer Science, Volume 16, Issue 2, January 2004, Pages 1-14 Bergstra, J.A. and Bethke, I. (2002) Molecular dynamics Journal of Logic and Algebraic Programming, Volume 51, Issue 2, June 2002, Pages 193-214 Bergstra, J.A. and Loots, M.E. (2002) Program algebra for sequential code Journal of Logic and Algebraic Programming, Volume 51, Issue 2, June 2002, Pages 125-156 Bergstra, J.A. and Ponse, A. (2001) Non-regular iterators in process algebra Theoretical Computer Science, Volume 269, Issues 1-2, 28 October 2001, Pages 203-229 Bergstra, J.A. and Ponse, A. (2001) Process algebra and conditional composition nformation Processing Letters, Volume 80, Issue 1, 15 October 2001, Pages 41-49 Bergstra, J.A. and Ponse, A. (2002) Combining programs and state machines Journal of Logic and Algebraic Programming, Volume 51, Issue 2, June 2002, Pages 175-192 Bergstra, J.A. and Ponse, A. and Van der Zwaag, M.B. (2003) Branching time and orthogonal bisimulation equivalence Theoretical Computer Science, Volume 309, Issues 1-3, 2 December 2003, Pages 313-355 Bergstra, J.A. and Walters, P. (2003) Operator programs and operator processes Information and Software Technology, Volume 45, Issue 10, 15 July 2003, Pages 681-689 Bleeker, Annette and Eijk, Jan van (2000) Epistemic Action and Change Presented at LOFT4, 24 pp. Bleeker, Annette and Eijk, Jan van (2000) The Epistemics of Encryption Also appeared as an ILLC report Blutner, R. and Solstad T. (2001) Two case studies in lexical pragmatics E. Németh & K. Bibok (eds.) Pragmatics and the Flexibility of Word Meaning. Elsevier Science, Amsterdam, 2001 (ISBN: 0-08-043971-3). Pp. 11-28 Blutner, Reinhard (1998) Nichtmonotones Schliessen und neuronale Netze S. Busemann, K. Harbusch und S. Wermter (Hrsg.), Hybride konnektionistische, statistische und regelbasierte Ansätze zur Verarbeitung natürlicher Sprache. DFKI-D-98-03, Saarbrücken, pp 65-75 Blutner, Reinhard (1998) Lexical underspecification and pragmatics P. Ludewig und B. Geurts (Eds.), Lexikalische Semantik aus kognitiver Sicht . Gunter Narr Verlag (ISBN 3-8233-5105-2), Tübingen Blutner, Reinhard (2000) Some aspects of optimality in natural language interpretation Helen de Hoop & Henriette de Swart (eds.) Papers on Optimality Theoretic Semantics. Utrecht Institute of Linguistics OTS Blutner, Reinhard (2000) Against lexical decomposition in syntax Proceedings of the Fifteenth Annual Conference, IATL 7 (A.Z. Wyner, ed.), University of Haifa 2000, pp. 113-137 Blutner, Reinhard (2001) Dimensional designation: A case study in Lexical Pragmatics Enikö Németh (ed.), Pragmatics in 2000: Selected papers from the 7th International Pragmatics Conference, Vol. 2. Antwerp: International Pragmatics Association Blutner, Reinhard (2002) Bidirektionale Optimalitätstheorie Kognitionswissenschaft 9/4, 158-168 Blutner, Reinhard (2002) Lexical semantics and pragmatics Linguistische Berichte, Sonderheft 10, 27-58 Blutner, Reinhard (2002) Review of Bruce Tesar & Paul Smolensky, Learnability in Optimality Theory Linguistics & Philosophy 25, 65-80 Blutner, Reinhard (2003) Pragmatics and the lexicon Laurence R. Horn & Gregory Ward (Eds.) Handbook of Pragmatics, Oxford, Blackwell Blutner, Reinhard (with Borra, Erik at al.) (2002) Signalling games: Hoe evolutie optimale strategieën selecteert Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag. Amsterdam, Universiteit van Amsterdam Blutner, Reinhard and Jäger, Gerhard (2003) Competition and interpretation: The German adverb wieder ("again") E. Lang, C. Maienborn & C. Fabricius-Hansen (eds.) Modifying Adjuncts, Mouton de Gruyter, 2003, pp 393-416 Blutner, Reinhard and Jäger, Gerhard (ed.) (2000) Studies in Optimality Theory Linguistics in Potsdam 8, Potsdam Blutner, Reinhard and Sandt, Rob van (1998) From Underspecification to Interpretation Special Issue of the Journal of Semantics, Vol. 15,1+2 Blutner, Reinhard and Sandt, Rob van der (1998) From underspecification to interpretation, Editorial Preface Journal of Semantics 15, 1-3 Blutner, Reinhard and Zeevat, Henk (ed.) (2003) Optimality Theory and Pragmatics Published by: Houndmills, Basingstoke, Hampshire, Palgrave/Macmillan Bod, A. and Kaplan, R. (1998) A Probabilistic Corpus-Driven Model for Lexical Functional Analysis Proceedings COLING-ACL-98, Montreal, Canada Bod, R. (1998) Beyond Grammar: An Experience-Based Theory of Language Publisher: CSLI Publications, Cambridge University Press, 1998 Bod, R. (1998) Spoken Dialogue Interpretation with the DOP Model Proceedings COLING-ACL-98, Montreal, Canada Bod, R. (2000) Parsing with the Shortest Derivation Proceedings COLING-2000, Saarbruecken, Germany Bod, R. (2000) An Improved Parser for Data-Oriented Lexical- Functional Analysis Proceedings ACL-2000, Hong Kong, China Bod, R. (2000) Combining Semantic and Syntactic Structure for Language Modeling Proceedings ICSLP-2000, Beijing, China Bod, R. (2000) An Empirical Evaluation of LFG-DOP Proceedings COLING- 2000, Saarbruecken, Germany Bod, R. (2000) What are the Structural Units of Language Processing? Handbook LSA-2000, Chicago, IL Bod, R. (2001) What is the Minimal Set of Fragments that Achieves Maximal Parse Accuracy? Proceedings ACL-2001, Toulouse, France Bod, R. (2001) Sentence Memory: Storage vs. Computation of Frequent Sentences (Abstract) Proceedings CUNY-2001, Philadelphia, Pennsylvania Bod, R. (2002) A Unified Model of Structural Organization in Language and Music Journal of Artificial Intelligence Research , 17(2002): 289-308 Bod, R. (2002) Memory-Based Models of Melodic Analysis: Challenging the Gestalt Principles Journal of New Music Research , 31(1): 27-37 Bod, R. (2002) Context-Sensitive Dialogue Processing with the DOP model Natural Language Engineering 5(4): 309-323 Bod, R. (2003) Introduction to Elementary Probability Theory and Formal Stochastic Language Theory Bod R., Hay, J. and Jannedy S., Probabilistic Linguistics , The MIT Press. 11-39 Bod, R. (2003) Extracting Stochastic Grammars from Treebanks A. Abeille (ed.) Treebanks , Kluwer Academic Publishers, Boston Bod, R. (2003) An Efficient Implementation of a New DOP Model Proceedings EACL'03, Budapest, Hungary Bod, R. (2003) Do All Fragments Count? Natural Language Engineering , 9(4), 307-323 Bod, R. and Kaplan, R. (1998) Grammaticality, Robustness, and Specificity in a Probabilistic Approach to Lexical Functional Analysis Proceedings LFG-1998, Brisbane, Australia Bod, R. and Kaplan, R. (2003) A DOP Model for Lexical-Functional Grammar R. Bod et al. (2003), Data-Oriented Parsing , CSLI Publications, 211-233 Bod, R. and Scha, R. (1999) What are the Productive Units of Language Processing? Proceedings International Conference on Cognitive Science , Tokyo, Japan Bod, R. and Scha, R. (2003) A DOP Model for Phrase-Structure Trees In R. Bod et al. (2003), Data-Oriented Parsing , CSLI Publications. 13-24 Bod, R., Hay, J. and Jannedy, S. (eds.) (2003) Probabilistic Linguistics Publisher: The MIT Press Bod, R., Scha, R. and Sima'an (1999) Memory-Based Syntactic Analysis Journal of Experimental and Theoretical Artificial Intelligence . 11(3): 409-440. Special Issue on Memory-Based Language Processing Bod, R., Scha, R. and Sima'an, K. (2003) Data-Oriented Parsing Publisher: CSLI Publications, University of Chicago Press Bod, R., Zaanen, M. van, Honing, H. (2003) A Memory-Based Approach to Meter Induction Proceedings ESCOM5, Hanover, Germany Bognar, Mirna (2002) Contexts in Lambda Calculus Ph. D Thesis, Vrije Universiteit Amsterdam Brazier, F. M. T., Cornelissen, F., Jonker, C. M., and, Treur, J. (2000) Compositional Specification of a Reusable Co-operative Agent Model International Journal of Cooperative Information Systems, Vol. 9, 2000, pp. 171-207 Brazier, F. M. T., Jonker, C. M., and Treur, J. (2000) Compositional Design and Reuse of a Generic Agent Model Applied Artificial Intelligence Journal, Vol. 14, 2000, pp. 491-538 Brazier, F. M. T., Jonker, C. M., Jungen, F. J., and Treur, J. (1999) Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach Applied Artificial Intelligence Journal, Vol. 13,1999, pp. 65-90. H. S. Nwana and D. T. Ndumu (eds.), Special Issue on Multi-Agent Systems Brazier, F. M. T., Jonker, C. M., Treur, J., and Wijngaards, N. J. E. (2001) Compositional Design of a Generic Design Agent Design Studies Journal. vol. 22, 2001, pp. 439-471 Brazier, F. M. T., Jonker, C. M., Treur, J., and Wijngaards, N.J.E (2000) On the Use of Shared Task Models in Knowledge Acquisition, Strategic User Interaction and Clarification Agents International Journal of Human-Computer Studies, Vol. 52, 2000, pp. 77-110 Brazier, F.M.T., Cornelissen, F., Gustavsson, R., Jonker, C.M., Lindeberg, O., Polak, B., and Treur, J.A. (2002) Multi-Agent System Performing One-to-Many Negotiation for Load Balancing of Electricity Use Electronic Commerce Research and Applications Journal. Vol. 1, 2002, pp. 208-224. Brazier, F.M.T., Jonker, C.M., and Treur, J. (2002) Dynamics and Control in Component-Based Agent Model International Journal of Intelligent Systems. Vol. 17, 2002, pp. 1007-1048 Brazier, F.M.T., Jonker, C.M., and Treur, J. (2002) Principles of Component-Based Design of Intelligent Agents Data and Knowledge Engineering. Extended version of [IC18]. Vol. 41, 2002, pp. 1-28 Brazier, F.M.T., Jonker, C.M., Treur, J., and Wijngaards, N.J.E. (2001) Deliberative Evolution in Multi-Agent Systems International Journal of Software Engineering and Knowledge Engineering, vol.11, 2001, pp. 1-23 Bruggink, H. J. Sander (2003) Residual in Higher-Order Rewriting Nieuwenhuis (ed.), Proceedings of the 14th International Conference on Rewriting Techniques and Applications, Springer-Verlag Buekens, F. (1999) Semantiek op safari. Over Word and Object van W.V. Quine K. Boey e.a. (eds.), Ex Libris van de filosofie van de 20ste eeuw, Deel II, Leuven 1999, 99-120 Buekens, F. (2000) Liefde de re Tijdschrift voor Filosofie 2000 (1) Buekens, F. (2000) Superveniëntie, fysische duplicatie, and de causale werkzaamheid van het mentale Algemeen Nederlands Tijdschrift voor wijsbegeerte 92 (4), 277-292 Buekens, F. (2001) Indexicaliteit en dynamische intenties Algemeen Nederlands tijdschrift voor wijsbegeerte 93 (2001), 165-180) Buekens, F.A.I. (1998) The Distinction between Linguistc and Conceptual Semantics in Medical Terminology and its Implication for NLP-bases Knowledge Acquistion Methods of Information in Medicine 37, pp. 327-334 Buekens, F.A.I. (2001) Essential Indexicality and the Irreducibility of Phenomenal Concepts Communication and Cognition 34, pp. 75-97 Buekens, F.A.I. (2001) Het teken en de wereld. Over Betekenis en Referentie in de analytische taalfilosofie Pubished by: Acco, Leuven Buekens, F.A.I. (2003) Grammatica van Concepten. Een Inleiding tot de filosofie Published by: Acco, Leuven Bunt, H.C. (1999) Context Modelling and Reasoning for Managing Spoken Dialogue Brezillon, P., Turner, R.M., Pomerol, J.-Ch. & Turner, E.H. (eds.), Proceedings of the AAAI-99 Workshop on Reasoning in Context for Artificial Intelligence Applications. (pp. 35-45). Menlo Park, CA: AAAI Press Bunt, H.C. (1999) Context Representation for Dialogue Management Bouquet, P., Serafini, L., Brezillon, P., Beneceretti, M. & Castellani, F. (eds.), Modeling and Using Context. Lecture Notes in Artificial Intelligence. (pp. 77-90). Berlin: Springer Verlag. Bunt, H.C. (2000) Context Representation and Reasoning for Managing Spoken Dialogue Brézillon, P., Turner, R., Pomerol, J.-C. & Turner, E. (eds.), Reasoning in Context for AI Applications. (pp. 35-45). Menlo Park, CA: The AAAI Press Bunt, H.C. (2000) Dialogue pragmatics and context specification Bunt, H.C. & Black, W.J. (eds.), Computational Pragmatics, Abduction, Belief and Context; Studies in Computational Pragmatics. (pp. 81-150). Amsterdam: John Benjamins. Bunt, H.C. (2000) Dynamic Interpretation and Dialogue Theory Taylor, M.M., Neel, F. & Bouwhuis, D.G. (eds.), The Structure of Multimodal Dialogue, Vol. 2. (pp. 139-188). Amsterdam / Philadelphia: John Benjamins. Bunt, H.C. (2000) Non-problems and social obligations in human-computer conversation Proceedings of the Third International Workshop on Human-Computer Conversation, Bellagio, Italy, 3-5 July 2000. (pp. 31-37) Bunt, H.C. (2000) Requirements for dialogue context modeling Bonzon, P., Cavalcanti, M. & Nossum, R. (eds.), Formal Aspects of Context. (pp. 23-36). Dordrecht / Boston / London: Kluwer Academic Publishers. Bunt, H.C. (2001) From lexical items to discourse meanings: computational and representational tools. Bunt, H.C., Muskens, R.A. & Thijsse, E.G.C. (eds.), Computing Meaning, Volume 2. (Studies in Linguistics and Philosophy, 77, pp. 1-10). Dordrecht: Kluwer Academic Publishers Bunt, H.C. & Beun, R.J. (eds.) (2001) Cooperative Multimodal Communication Berlin: Springer, 264 pp. Bunt, H.C. & Black, W.J. (2000) The ABC of computational pragmatics Bunt, H.C. & Black, W.J. (eds.), Computational Pragmatics, Abduction, Belief and Context; Studies in Computational Pragmatics. (pp. 1-46). Amsterdam: John Benjamins. Bunt, H.C. & Black, W.J. (eds.). (2000) Abduction, Belief and Context; Studies in Computational Pragmatics Amsterdam: John Benjamins, 359 pp. Bunt, H.C. & Muskens, R.A. (eds.) (1999) Computing Meaning, Volume 1 Dordrecht / Boston / London: Kluwer Academic Publishers, 360 pp. Bunt, H.C. & Nijholt, A. (2000) Why new parsing technologies? Bunt, H.C. & Nijholt, A. (eds.), Advances in Probabilistic and Other Parsing Technologies. (pp. 1-12). Dordrecht / Boston: Kluwer Academic Press. Bunt, H.C. & Nijholt, A. (eds.) (2000) Advances in Probabilistic and Other Parsing Technologies Dordrecht / Boston: Kluwer Academic Press, 267 pp. Bunt, H.C. & Thijsse, E. (eds.). (1999) Proceedings of the Third International Workshop on Computational Semantics Tilburg: KUB/Taal en Informatica, 424 pp. Bunt, H.C. and Beun, R.J. (2001) Multimodal Cooperative Communication Bunt, H.C. & Beun, R.J. (eds.), Cooperative Multimodal Communication. (Lecture Notes in Artificial Intelligence, 2155, pp. 1-10). Berlin: Springer. Bunt, H.C. and Kievit, L.A. (1999) On the local nature of coercive functions and agent-based models of communication Proceedings of the Third International Workshop on Computational Semantics. (pp. 163-176). Tilburg: KUB/Taal en Informatica Bunt, H.C. and Kievit, L.A. and Piwek, P. and Beun, R.J. (2001) Multimodal Cooperative Resolution of Referential Expressions in the DenK System Bunt, H.C. & Beun, R.J. (eds.), Cooperative Multimodal Communication. (Lecture Notes in Artificial Intelligence, 2155, pp. 197-214). Berlin: Springer. Bunt, H.C. and Maybury, M. and Wahlster, W. (2001) Coordination and Fusion in Multimodal Interaction Saarbruecken: Schloss Dagstuhl ICRC for Computer Science, 350 pp. Bunt, H.C. and Romary, L. (2002) Requirements on multimodal semantic representations Choi, K.S. (eds.), Proceedings of ISO TC37/SC4 Preliminary Meeting. (pp. 59-68). Seoul: KAIST. Bunt, H.C. and Romary, L. (2002) Towards multimodal content representation Lee, K. & Choi, K.S. (eds.), Proceedings of LREC 2002 Workshop on International Standards of Terminology and Linguistic Resources Management. (pp. 54-60). Parijs: ELRA Bunt, H.C., Ahn, R., Beun, R.J., Borghuis, A.V.J. & Overveld, C. van (2001) Multimodal Cooperation with the DenK System Bunt, H., M. Maybury & W. Wahlster, Coordination and Fusion in Multimodal Interaction. (pp. 53-82). Saarbruecken: Schloss Dagstuhl ICRC for Computer Science. Bunt, H.C., Muskens, R.A. & Thijsse, E. (eds). (2001) Computing Meaning: Volume 2 Dordrecht: Kluwer Academic Publishers, 312 pp. Bunt, H.C., Sluis, I.F. van der & Thijsse, E. (eds.) (2001) Proceedings of the Fourth International Workshop on Computational Semantics (IWCS-4) Tilburg: Tilburg University, 472 pp. Bunt, Harry and Kievit, Leen (2004) Agent-dependent metonymy in a context-change model of communication - Cate, Balder ten (2000) Dynamic and epistemic semantics of questions: the logic of consultation, Masters thesis Vrije Universiteit Amsterdam Cate, Balder ten (2001) Information exchange as reduction Kristina Striegnitz, editor, Proceedings of the ESSLLI-2001 student session. Helsinki: 13th European Summer School in Logic, Language and Information. Cate, Balder ten (2002) On the logic of d-separation Dieter Fensel, Fausto Giunchiglia, Deborah McGuinness and Mary-Anne Williams, editors, Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002). San Francisco: Morgan Kaufmann Cate, Balder ten (2002) Internalizing Epistemic Actions. Maricarmen Martinez, editor, Proceedings of the NASSLLI-2002 student session. Stanford: 1st North American Summer School in Logic, Language and Information Cate, Balder ten (ed.) (2002) Proceedings of the ESSLLI-2003 student session Vienna: 15th European Summer School in Logic, Language and Information Cate, Balder ten and Blackburn, Patrick (2002) Beyond Pure Axioms: Node Creating Rules in Hybrid Tableaux Carlos Areces, Patrick Blackburn, Maarten Marx and Ulrike Sattler, editors, Proceedings of the 4th Workshop on Hybrid Logics (HyLo 2002) Cate, Balder ten and Eijck, Jan van and Heguiabehere, Juan (2001) Expressivity of extensions of dynamic predicate logic Robert van Rooy and Martin Stokhof, editors, Proceedings of the 13th Amsterdam Colloquium (AC 2001) Cate, Balder ten and Nilsenová Marie (2001) Representing Model Conversation Failures with Belief Networks Ben Kröse, Maarten de Rijke, Guus Schreiber and Maarten van Someren, editors, Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001) Cate, Balder ten and Nilsenová Marie (2001) Interpreting uncertain or inconsistent information using belief networks D. O'Donoghue, editor, Proceedings of the 12th Irish Conference on Artificial Intelligence and Cognitive Science (AICS 2001) Cate, Balder ten and Shan Chung-chieh (2002) Question answering: from partitions to prolog Uwe Egly and Christian Fermüller, editors, Proceedings of TABLEAUX 2002: Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Artificial Intelligence 2381. Springer Verlag. Also in Shuly Wintner, editor, Proceedings of the 7th International Workshop on Natural Language Understanding and Logic Programming (NLULP 2002) Cate, Balder ten and Shan, Chung-chieh (2002) The Partition Semantics of Questions, Syntactically Malvina Nissim, editor, Proceedings of the ESSLLI-2002 student session. Trento: 14th European Summer School in Logic, Language and Information. Winner of the Kluwer Academic Best Student Session Paper Award Cate, Balder ten and Teunisse, Marco and Cate, Olle ten and Cate, Balder ten (1998) Automatisering evaluatie co-assistentschappen A.M.J.J. Verweij et al, editors, Proceedings Gezond Onderwijs Congres 1997. Houten: Bohn Stafleu van Loghum Dechesne Francien (2001) Investigating the basic notions of Hintikka's Independence Friendly Logic CS-report 01-016 (TU/e) Dechesne, Francien (2002) An extensive game model for IF-logic Proceedings of the NASSLI02 Student Session, pp. 31-39 (informal proceedings) Eijck, J, van and J. Heguiabehere and B. 'O Nuallain (2000) Tableau Reasoning and Programming with Dynamic First Order Logic Logic Journal of the IGPL Eijck, Jan van (1999) Axiomatising Dynamic Logics for Anaphora Journal of Language and Computation, 103-126 Eijck, Jan van (1999) Dynamo with Shift and Reduce H. Rott and C. Albert and G. Brewka and C. Witteveen (eds.), '99 Proceedings, Scientific Publications Eijck, Jan van (1999) Powering Decision Machines with Dynamo J. Gerbrandy, M. Marx, M. de Rijke & Y. Venema (eds), Essays Dedicated to Johan van Benthem on the Occassion of his 50th Birthday, Amsterdam University Press: Amsterdam, 1999, 10 pp. Eijck, Jan van (2000) The Tbilisi Symposium on Logic, Language and Computation (Book Review) Science of Computer Programming, vol. 38, pp. 147-149 Eijck, Jan van (2000) A Tableau Calculus for Dynamic First Order Logic with Applications in Natural Language Semantics Johan Bos and Michael Kohlhase (eds.), ICOS-2 Proceedings, pp. 25-40 Eijck, Jan van (2000) Theorem Proving and Programming with Dynamic First Order Logic Maria Alpuente (ed.), Functional and Logic Programming: Ninth International Workshop, 2000, Benicassim, Spain, September 28--30, 2000), pp. 56-71 Eijck, Jan van (2000) Making Things Happen Studia Logica, vol. 66, pp. 41-58 Eijck, Jan van (2000) The Proper Treatment of Context Paola Monachesi (ed.), Computational Linguistics in the Netherlands 1999; Selected Papers from the Tenth Meeting Eijck, Jan van (20001) Constrained Hyper Tableaux L. Fribourg, Computer Science Logic, pp. 232-246 Eijck, Jan van (2001) Model Generation from Constrained Free Variable Tableaux Rajeev Gore and Alexander Leitsch and Tobias Nipkov (eds.), IJCAR 2001 - Short papers Eijck, Jan van (2001) Incremental Dynamics Journal of Logic, Language and Information, vol. 10, pp. 319-351 Eijck, Jan van (2001) Border Crossings Logic in Action, pp. 51-74 Eijck, Jan van (2002) AI Education in the Netherlands; VSNU Curriculum Visitation BNVKI Newsletter, vol. 19, 15 pp. Eijck, Jan van (2002) Denkende Machines: Computers, rekenen, redeneren Amsterdam University Press, 109 pp. Eijck, Jan van (2002) Reference Resolution in Context M. Theune and A. Nijholt and H. Hondorp, Computational Linguistics in the Netherlands 2001 - Selected Papers from the Twelfth CLIN Meeting, pp. 89-103 Eijck, Jan van (2003) Het Formaliseren van Theta Theorie Link - Tijdschrift voor Linguistiek te Utrecht, vol. 14, pp. 36-41 Eijck, Jan van (2003) Parser Combinators for Extraction Dekker, Paul and Rooy, Robert van. Proceedings of the Fourteenth Amsterdam Colloquium, pp. 99-104 Emde Boas - Lubsen, Ghica van and Emde Boas, Peter van (1998) Compiling Horn-Clause Rules in IBM's Business System 12; an Early Experience in Declaritiveness SOFSEM'98 Theory and Practice of Informatics; proc. 25-th Conference, Jasné, Slovakia, Nov. 1998; Springer LNCS 1521 (1998), pp. 68-88 Emde Boas, P. van, Wiedermann, J. and Nielsen, M. eds. (1999) Automata Languages and Programming Proc. 26th ICALP;99, Prague Czech Repuplic July 11-15 1999, Springer LNCS 1644 Emde Boas, Peter van (2000) Games in the Classroom Position paper at workshop #2, OOPSLA'99; Quest for Effective Examples, ed. J. Börstler & A. Fernández, UMINF 00.03, Umeå University, dept. CS. 2000, pp. 37-50 Emde Boas, Peter van (2003) Games, Complexity and Interaction: The Role of Games in Computer Science Haim Kilov & Kenneth Baclawski, eds., Practical foundations of Business System Specifications, Kluwer Acad. Publ. (2003) pp. 313-327 Engelfriet J. (1999) The dynamics of reasoning PhD Thesis Vrije Universiteit Amsterdam Engelfriet J. and Venema, Y. (1998) A Modal Logic of Information Change I. Gilboa (ed.): Theoretical Aspects of Rationality and Knowledge, Proceedings of the Seventh Conference (TARK'98), Morgan Kaufmann, pp. 125-131, 1998 Engelfriet J. and Venema, Y. (1998) Monotonicity and Persistence in Preferential Logics Journal of Artificial Intelligence Research 8:1-21, 1998 Engelfriet J., Jonker, C.M. and Treur, J. (1998) Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic J.P. Mueller, M.P. Singh, A.S. Rao (eds.) Pre-proceedings of the Fifth International Workshop on Agent Theories, Architectures, andLanguages, ATAL'98, pp. 91-106 Engelfriet, J. and Treur, J. (2003) Multi-Interpretation Operators and Approximate Classification International Journal of Approximate Reasoning, vol. 32, 2003, pp. 43-61 Engelfriet, J., and Treur, J. (2002) Linear, Branching Time and Joint Closure Semantics for Temporal Logic Journal of Logic, Language and Information, vol. 11, 2002, pp. 389-425. Engelfriet, J., Marek, V.W., Treur, J., and Truszczinski, M., (2001) Default Logic and Specification of Nonmonotonic Reasoning Journal of Experimental and Theoretical AI, vol. 13, 2001, pp. 99-112 Groenendijk, J. (1999) The logic of interrogation (classical version) T. Matthews and D.L. Strolowitch (eds), Proceedings of the Ninth Conference on Semantics and Linguistic Theory, CLC papers Groenendijk, J. (2003) Questions and answers: semantics and logic R. Bernardi and M. Moortgat (eds), Questions and Answers: Theoretical and Applied Perspectives, 2003, OTS Groenendijk, J. and Stokhof, M. (2002) Type shifting rules and the semantics of interrogatives P. Portner and B.H. Partee, Formal Semantics. The Essential Readings, Blackwell, Oxford Hendriks, D. (1998) Clausification of first-order formulae, representation and correctness in type theory Master's thesis, Cognitive Artificial Intelligence, Department of Philosophy, Utrecht University Hendriks, D. (2002) Proof reflection in Coq Journal of Automated Reasoning, 29(3):277-307 Hendriks, D. (2003) Metamathematics in Coq PhD thesis, Department of Philosophy, Utrecht University Hendriks, D. and Oostrom, V. van (2003) Lambda F. Baader, editor, Automated Deduction - CADE-19, volume 2741 of Lecture Notes in Artificial Intelligence, pages 136-150. Springer-Verlag Hendriks, D., Bezem, M. and Nivelle, H. de (2000) Automated proof construction in type theory using resolution D. McAllester, editor, Proceedings CADE-17, volume 1831 of Lecture Notes in Artificial Intelligence, pages 148--163, Berlin, Springer-Verlag Hendriks, D., Bezem, M. and Nivelle, H. de (2002) Automated proof construction in type theory using resolution Journal of Automated Reasoning, 29(3-4):253--275 Hendriks, Herman (1999) The Logic of Tune. A Proof-Theoretic Analysis of Intonation Alain Lecomte (ed.), Logical Aspects of Computational Linguistics. Springer Verlag, New York, pp. 132--159 Hendriks, Herman (1999) Contour and Structure. A Categorial Account of Alignment G. Bouma, E. Hinrichs, G.-J. Kruijff and R. Oehrle (eds.), Constraints and Resources in Natural Language Syntax and Semantics. CSLI Publications, Stanford, pp. 155--174 Hendriks, Herman (2000) L+H Accent and Non-Monotonic Anaphora Rene Kager and Wim Zonneveld (eds.), Phrasal Phonology. Nijmegen University Press, Nijmegen, pp. 99--118 Hendriks, Herman (2001) Compositionality and Model-Theoretic Interpretation Journal of Logic, Language and Information 10, pp. 29--48 Hendriks, Herman (2002) Information Packaging: From Cards to Boxes Kees van Deemter and Rodger Kibble (eds.), Information Sharing. Reference and Presupposition in Language Generation and Interpretation. CSLI Publications, Stanford, pp. 1--34 Hendriks, Herman (2003) Indirect Speech Acts, Politeness, and the Civilizing Process International Journal of Pragmatics 13, 19--27 Herlea, D.E., Jonker, C.M., Treur, J., and Wijngaards, N.J.E. (2002) A Compositional Knowledge Level Process Model of Requirements Engineering International Journal of Software Engineering and Knowledge Engineering, vol. 12, 2002, pp. 1-35. Hoek, W. van der, Meyer, J.J.Ch., and Treur, J. (2003) Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection International Journal of Intelligent Systems, vol. 18, 2003, pp. 1293-1318 Hollink, V. and Kamps, J. and Monz, C. and De Rijke, M. (2004) Monolingual Document Retrieval for European Languages, V. Information Retrieval Janssen, T.M.V. (1998) A survey of compositional translations Lecture Notes in computer Science, 1536:327--349 Janssen, T.M.V. (1998) Algebraic translations, correctness and algebraic compiler construction Journal of theoretical computer science, 199:25--56 Janssen, T.M.V. (1999) Historical mistakes: Comments on the Fregean revolution in philosophy of language JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, Amsterdam University Press Janssen, T.M.V. (1999) On the interpretation of IF-logic Proceedings. Twelfth Amsterdam Colloquium, ILLC, University of Amsterdam, pp. 139--144 Janssen, T.M.V. (2000) An algebraic approach to grammatical theories for natural language Algebraic Methods in Language Processing. Proc. 16nd Twente workshop on language technology, Iowa City, USA., Computer Science, Univ. Twente Janssen, T.M.V. (2001) Frege, Contextuality and Compositionality Journal of Logic, Language and Information, 10.1:115--136 Janssen, T.M.V. (2001) Computational aspects of IF-logic Proceedings of the fourth international workshop on computational semantics IWCS-4, Tilburg University. Computational Linguistics and IA group, pp. 173--187 Janssen, T.M.V. (2001) On the definition of independence in logic Proc. Workshop on Logic and Games. ESSLI'0, Dept of Philosophy, University of Helsinki Janssen, T.M.V. (2002) Independent choices and the interpretation of IF-logic Journal of Logic, Language and Information, 11:367--387 Jongh, Dick de (2000) Learning and Grammar J.F. Quesada, F.J. Salguero and A.Nepomuceno, eds, Proceedings of the First Workshop on Logic and Language, 2000-2001 in ILL-PR, pp 139-146, Instituto de Lógica, Lenguaje e Información, Un. De Sevilla, Editorial Kronos, Sevilla, 2000. Jongh, Dick de (2002) Characterization of Strongly Equivalent Logic Programs in Intermediate Logics Journal for the Theory and Practice of Logic Programming (TPLP), 2002 Jongh, Dick de and Areces, C. and Hooglan, E. (2000) Interpolation, Definability and Fixed Points in Interpretability Logics M. Zakharyaschev, K. Segerberg, M.de Rijke and H. Wansing, eds, Advances in Modal Logic, Vol.2 of Lecture Notes, pp 53-76, Stanford, Ca, CSLI, 2000. Jongh, Dick de and Ulsen, P. van (1999) Beth's Non-classical Valuations Un Logicien Consciencieux, La Philosophie de Evert Willem Beth, Philosophiae Scientiae, Vol. 3, 279-302, 1999 Jongh, Dick de and Veltman, F. (1999) The Modal Completeness of ILW J. Gerbrandy, M. Marx, M. de Rijke and Y. Venema eds, Essays dedicated to Johan van Benthem on his 50th Birthday, CD-ROM JFAK, Vossiupers Amsterdam University Press, Amsterdam 1999. Jonker, C. M., and Treur, J. (2001) Agent-Based Simulation of Animal Behaviour Journal of Applied Intelligence. Vol. 15, 2001, pp. 83-115. Jonker, C. M., Treur, J., and, Wijngaards, W. C. A. (2001) An agent-based architecture for multi-modal interaction International Journal of Human-Computer Studies, vol. 54, 2001, pp. 351-405. Jonker, C.M. and Cornelissen, F.and Treur, J., (2003) Compositional Verification of Knowledge-Based Task Models and Problem Solving Method Knowledge and Information Systems Journal. Vol. 5, 2003, pp. 337 – 367. Jonker, C.M., and Treur, J. (2002) Modelling Multiple Mind-Matter Interaction International Journal of Human-Computer Studies. Vol. 57, 2002, pp. 165-214 Jonker, C.M., and Treur, J. (2002) A Compositional Process Control Model and its Application to Biochemical Processe Applied Artificial Intelligence Journal, vol. 16, 2002, pp. 49-71 Jonker, C.M., and Treur, J. (2002) Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactivenes International Journal of Cooperative Information Systems. Vol. 11, 2002, pp. 51-92. Jonker, C.M., and Treur, J. (2003) Modelling the Dynamics of Reasoning Processes: Reasoning by Assumption Cognitive Systems Research Journal, vol. 4, 2003, pp. 119-136. Jonker, C.M., and Treur, J. (2003) A Temporal-Interactivist Perspective on the Dynamics of Mental States Cognitive Systems Research Journal. Vol. 4, 2003, pp. 137-155. Jonker, C.M., Lam, R.A., and Treur, J. (2001) A Reusable Multi-Agent Architecture for Active Intelligent Websites Journal of Applied Intelligence, vol. 15, 2001, pp. 7-24 Jonker, C.M., Snoep, J.L., Treur, J., Westerhoff, H.V., and Wijngaards, W.C.A. (2002) Putting Intentions into Cell Biochemistry: An Artificial Intelligence Perspective Journal of Theoretical Biology, Vol. 214, 2002, pp. 105-134. Jonker, C.M., Treur, J., and Vries, W. de (2002) Temporal Analysis of the Dynamics of Beliefs, Desires, and Intentions Cognitive Science Quarterly (Special Issue on Desires, Goals, Intentions, and Values: Computational Architectures), vol. 2, 2002, pp.471-494. Jonker, C.M., Treur, J., and Wijngaards, W.C.A. (2002) Reductionist and Antireductionist Perspectives on Dynamics Philosophical Psychology Journal, vol. 15, 2002, pp. 381-409 Jonker, C.M., Treur, J., and Wijngaards, W.C.A. (2003) A Temporal Modelling Environment for Internally Grounded Beliefs, Desires, and Intention Cognitive Systems Research Journal, Vol. 4(3), 2003, pp. 191-210. Joosten, J. (2001) Personal Notes of a Course by Lev Beklemishev - Joosten, J. (2002) Two Proofs of Parson's Theorem - Joosten, J. (2003) The Closed Fragment of the Interpretability Logic of PRA with a Constant for IE1 - Joosten, J. (2003) Formalized Interpretability in Primitive Recursive Arithmetic Also published in the proceedings of the ESSLLI 2003 student session Joosten, J.J. and Visser, A. (1999) The Interpretability Logic of All Reasonable Arithmetical Theories, the new conjecture Erkentniss, 2000 Kooi, B.P. (1999) Updates on probabilistic Kripke models J. Cachro and K. Kijania-Placek (Eds.), 11th International Congress of Logic Methodology and Philosphy of Science, Volume of Abstracts, p. 120. International Union of History and Philosophy of Science Kooi, B.P. (2003) Knowledge, Chance, and Change ILLC Dissertation Series 2003-01 Kooi, B.P. (2003) Probabilistic Dynamic Epistemic Logic Journal of Logic, Language and Information 12(4): 381-408 Kooi, B.P. and Ditmarsch, H.P. van (2002) Spelen met verandering en onzekerheid. Rationele keuzetheorie en logica Algemeen Nederlands Tijdschrift voor Wijsbegeerte (General Dutch Journal of Philosophy) 94(1): 31--43 Kooi, B.P. and Ditmarsch, H.P. van (2003) Unsuccessful updates Álvarez, R. Bosch, L. Villamil (eds.) Proceedings of the 12th International Congress of Logic Methodology and Philosphy of Science (LMPS 2003), 139--140, Oviedo University Press Kooi, B.P., Ditmarsch, H.P. van and Hoek, W. van der (2002) A description language for dynamic epistemic actions The Bulletin of Symbolic Logic, 9(2): 260-261, 2003 Kooi, B.P., Ditmarsch, H.P. van and Hoek, W. van der (2003) Concurrent dynamic epistemic logic ZIE REMARK Kooi, B.P., Ditmarsch, H.P. van and Hoek, W. van der (2003) Descriptions of game states G. Mints and R. Muskens (Eds.), Games, Logic, and Constructive Sets. CSLI Lecture Notes Number 161, 43-58. CSLI publications, Stanford Kooi, B.P., Ditmarsch, H.P. van and Hoek, W. van der (2003) Concurrent Dynamic Epistemic Logic for MAS J.S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS), 201--208 Kooi, B.P., Verbrugge, L.C., and Renardel de Lavalette, G.R. (2002) Strong completeness for propositional dynamic logic P. Balbiani, N.-Y. Suzuki, and F. Wolter (Eds.), AiML2002 --- Advances in Modal Logic (conference proceedings), 377--393. Institut de Recherche en Informatique de Toulouse IRIT Krabbe, E.C.W. (1999) Profiles of Dialogue Jelle Gerbrandy, Maarten Marx, Maarten de Rijke, and Yde Venema (eds.), JFAK: Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, III, Amsterdam: Amsterdam University Press (Vossiuspers; also on CD-ROM), pp. 25-36. Krabbe, E.C.W. (1999) The Dialectic of Quasi-Logical Arguments Frans H. van Eemeren, Rob Grootendorst, J. Anthony Blair, and Charles A. Willard (eds.), Proceedings of the Fourth International Conference of the International Society for the Study of Argumentation (University of Amsterdam, June 16-19, 1998), Amsterdam: SIC SAT, International Centre for the Study of Argumentation, pp. 464-471 Krabbe, E.C.W. (2000) Meeting in the House of Callias: Rhetoric and Dialectic Argumentation: An International Journal on Reasoning 14, 205-217 Krabbe, E.C.W. (2000) Dialectische en retorische strategieën [Dialectical and Rhetorical Strategies]. Rob Neutelings, Nicole Ummelen, and Alfons Maes (eds.), Over de grenzen van de taalbeheersing: Bijdragen over taal, tekst en communicatie gepresenteerd op het VIOT-congres van december 1999 aan de Technische Universiteit Delft, Den Haag: Sdu Uitgevers, pp. 285-296 Krabbe, E.C.W. (2000) Boekbeoordeling [Review of B.J. (Bart) Garssen, Argumentatieschema's in pragma-dialectisch perspectief: Een theoretisch en empirisch onderzoek] Tijdschrift voor taalbeheersing 22 (1), 71-74 Krabbe, E.C.W. (2000) Dialogical Logic [Edward Graig (ed.)], Concise Routledge Encyclopedia of Philosophy, London and New York: Routledge, p. 209. Reprint of part of 54 Krabbe, E.C.W. (2001) The Problem of Retraction in Critical Discussion Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science 127, 141-159 Krabbe, E.C.W. (2001) The Problem of Retraction in Critical Discussion Christopher W. Tindale, Hans V. Hansen, and Elmar Sveda (eds.), Argumentation at the Century's Turn (CD-ROM), IBSN 0-9683461-1-1 (Proceedings from the Conference of The Ontario Society for the Study of Argumentation, May 13-15, 1999, Brock University, St. Catharines, Ontario). Parallel publication of 2001 Krabbe, E.C.W. (2001) In Response To: Ralph H. Johnson's: More on Arguers and Dialectical Obligations Christopher W. Tindale, Hans V. Hansen, and Elmar Sveda (eds.), Argumentation at the Century's Turn (CD-ROM), IBSN 0-9683461-1-1 (Proceedings from the Conference of The Ontario Society for the Study of Argumentation, May 13-15, 1999, Brock University, St. Catharines, Ontario). Parallel publication of 2001 Krabbe, E.C.W. (2002) Profiles of Dialogue as a Dialectical Tool Frans H. van Eemeren (ed.), Advan-ces in Pragma-Dialectics, Amsterdam: Sic Sat and Newport News, VA: Vale Press, pp. 153-167. Improved and expanded version of 1999a Krabbe, E.C.W. (2002) Meeting in the House of Callias: An Historical Perspective on Rhetoric and Dialectic Frans H. van Eemeren and Peter Houtlosser (eds.), Dialectic and Rhetoric: The Warp and Woof of Argumentation Analysis, Dordrecht, etc.: Kluwer (Argumentation Library 6), pp. 29-40. A new version of 2000b. Krabbe, E.C.W. (2002) Boekbeoordeling [Review of Frans H. van Eemeren and Rob Grootendorst, Kritische discussie] Tijdschrift voor taalbeheersing 24 (1), 62-66. Krabbe, E.C.W. (2003) Metadialogues Frans H. van Eemeren, J. Anthony Blair, Charles A. Willard, and A. Francisca Snoeck Henkemans (eds.), Proceedings of the Fifth International Conference of the International Society for the Study of Argumentation (University of Amsterdam, June 26-28, 2002), Amsterdam: Sic Sat, International Centre for the Study of Argumentation, pp. 641-644 Krabbe, E.C.W. (2003) De pragmatiek van deductieve zetten [The Pragmatics of Deductive Moves] Luuk van Waes, Pol Cuvelier, Geert Jacobs, and Isabelle de Ridder (eds.), Studies in taalbeheersing 1, Assen: Van Gorcum, pp. 280-291 Krabbe, E.C.W. (2003) Boekbeoordeling [Review of Frans H. van Eemeren (ed.), Crucial Concepts in Argumentation Theory] Tijdschrift voor taalbeheersing 25(1), 98-102. Krabbe, E.C.W. (2003) Recensie [Review of Allard M. Tamminga, Belief Dynamics: (Epistemo)logical Investigations (dissertation, University of Amsterdam)] Algemeen Nederlands tijdschrift voor wijsbegeerte 95(2), 150-151 Krabbe, E.C.W. (2003) Book Review [Review of Frans H. van Eemeren (ed.), Crucial Concepts in Argumentation Theory] Argu-mentation: An International Journal on Reasoning 17 (3), 355-359 Krabbe, E.C.W. (2003) Redeneren en argumenteren [Reasoning and Arguing] Martin van Hees, Else de Jonge, and Lodi Nauta (eds.), Kernthema's van de filosofie [Central Topics of Philosophy] Amsterdam: Boom, pp. 237-262 Krabbe, E.C.W. and Hees, Martin van (1999) Boekbeoordeling [Review of Andries Sarlemijn and Lambèr M.M. Royakkers, Logica: grondbeginselen en toepassingen] Nieuw archief voor wiskunde, vierde serie, 17 (1), 60-61 Krabbe, E.C.W. and Hodges, W. (2001) Dialogue Foundations The Aristotelian Society: Supplemen-tary Volume 75 (The Symposia Read at the Joint Session of the Aristotelian Society and the Mind Association at the University of York July 2001), 17-49. Part I (Wilfrid Hodges): A Sceptical Look, pp. 17-32; Part II (Erik C.W. Krabbe): Dialogue Logic Restituted [title misprinted as 'Dialogue Logic Revisited'] , pp. 33-49. Krabbe, E.C.W. and Norman, Timothy J. and Carbogim, Daniela V. and Walton, Douglas (2003) Argument and Multi-Agent Systems Chris Reed and Timothy J. Norman (eds.), Argumentation Machines: New Frontiers in Argument and Computation, Dordrecht, etc.: Kluwer (Argumentation Library 9), pp. 15-54 Kuiper, John (2003) Ideas and explorations - Brouwer's Road to Intuitionism Dissertation Kuipers, Theo A.F. (1999) The logic of progress in nomological, design and explicative research JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, eds. J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, CD-ROM, Amsterdam University Press, Series Vossiuspers, Amsterdam, ISBN 90 5629 104 1, 1999. (Unique) Bookedition Vol. 3, 1999, 37-46 Kuipers, Theo A.F. (1999) Abduction aiming at empirical progress or even at truth approximation, leading to challenge for computational modelling Scientific Discovery and Creativity, eds. J. Meheus, T. Nickles, special issue of Foundations of Science. Vol. 4.3, 1999, 307-23 Kuipers, Theo A.F. (2000) From Instrumentalism to Constructive Realism. On some relations between confirmation, empirical progress, and truth approximation Synthese Library, Vol. 287, Kluwer Academic Publishers, Dordrecht Kuipers, Theo A.F. (2001) Epistemological positions in the light of truth approximation T.Y. Cao (ed.), Philosophy of Science, The Proceedings of the 20th World Congress of Philosophy, Boston, 1998, Volume 10, Philosophy Documentation Center, Bowling Green State University, 2001, 79-88 Kuipers, Theo A.F. (2001) Structures in Science. Heuristic patterns based on cognitive structures. An advanced textbook in neo-classical philosophy of science Synthese Library, Volume 301, Kluwer Academic Publishers, Dordrecht Kuipers, Theo A.F. (2001) Qualitative confirmation by the HD-Method Logique et Analyse, 41.164, 1998 (in fact 2001), 271-99 Kuipers, Theo A.F. (2002) Beauty, a road to the truth Synthese, 131.3, 291-328 Kuipers, Theo A.F. (2002) Quantitative confirmation, and its qualitative consequences Logique et Analyse, 42.167/8, 1999 (in fact 2002), 447-82 Kuipers, Theo A.F. (2002) O dwóch rodzajach idealizcji I konkretyzacki. Przypadek aproksymacji prawdy J. Brzezinksi et al. (eds), Odwaga Filozofowania. Leszkowi Nowakowi w darze. Wydawnictwo Fundacji Humaniora, Poznan, 2002, pp. 117-139 Kuipers, Theo A.F. and Hettema, Hinne (2000) The formalisation of the Periodic Table Balzer, Sneed, Moulines (eds), Structuralist Knowledge Representation. Paradigmatic Examples, Poznan Studies in the Philosophy of the Sciences and the Humanities, Vol. 75, 2000, 285-305 Kurtonina, N. and De Rijke, M. (1999) Expressiveness of Concept Expressions in First-Order Description Logics Artificial Intelligence, Laar, J.A. (2001) Ambiguity in a Dialectical Perspective Informal Logic, 21. 245-266. Laar, J.A. van (2003) Kritiek op dubbelzinnigheid Van Waes, L., Cuvelier, P., Jacobs, G. & De Ridder, I. (eds.). Studies in taalbeheersing. 292-302. (Revised version of The charge of ambiguity) Laar, J.A. van (2003) The use of dialogue profiles for the study of ambiguity ambiguity. Van Eemeren, F.H., Blair, J.A., Willard, C.A. & Snoeck Henkemans, A.F. (eds.). Proceedings of the Fifth Conference of the International Society for the Study of Argumentation. Amsterdam: SicSat. 659-663. Laar, J.A. van (2004) Jezelf duperen met dubbelzinnig taalgebruik Tijdschrift voor taalbeheersing Laar, J.A. van (2004) The charge of ambiguity. The proceedings of the conference by the Ontario Society for the Study of Argumentation in May 2003 at the University of Windsor, Windsor (Ontario), Canada - Laar, J.A. van and De Jonge, E. (2002) Wie behoudend is verliest. Een vraaggesprek met John Woods Filosofie &Praktijk 23 (2), 18-24 Laar, J.A. van and De Jonge, E. (2002) Het hellend vlak. Helling: De wederhelft van een knooppunt op een curve of een oppervlak Filosofie & Praktijk 23 (2), 2002, 25-33. [Translation of: Woods, J. (1999). Slippery Slopes. Slope: The reciprocal of a node on a curve or surface. Van Eemeren, F.H., Grootendorst, R., Blair, J.A. & Willard, C.H. (eds.)] Lambalgen, Michiel and Stenning, Keith (2001) Semantics as a Foundation for Psychology: A Case Study of Wason's Selection Task Journal of Logic, Language and Information 10, 273-317 (2001) Lambalgen, Michiel van (2001) Conditional quantification, or poor man's probability Journal of Logic and Computability 11(2), 295-335 (2001) Lambalgen, Michiel van (2002) Logical constructions suggested by vision L. Cavedon et al (eds.) Logic, Language and Computation. CSLI Publications (Stanford), 2002 Lambalgen, Michiel van and Does, Jaap van der (2000) A logic of vision Linguistics and Philosophy 23 (1), 1-92 (2000) Lambalgen, Michiel van and Hamm, Fritz (2002) Formal Foundations for Semantic Theories od Nomalisation E. Lang and I Zimmerman (eds.), ZAS Papers in Linguistics, Vol. 27, April 2002 Lambalgen, Michiel van and Hamm, Fritz (2003) Event calculus, nominalisation and the progressive Linguistic and Philosophy 26, 2003 Lee, Troy (2003) Arithmetical Definability over Finite Structures Mathematical Logic Quarterly, 49(4) Lievers, Menno (1998) The Molyneux Problem E. Craig, ed., The Routledge Encyclopedia of Philosophy. Routledge, London, 1998 Lievers, Menno (1998) Two Versions of the Manifestation Argument Synthese, 115, 199 - 227 Lievers, Menno (1998) "Van buiten de cirkel", boekbespreking van H. Philipse, Heidegger's Philosophy of Being Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 90, pp. 180 - 198 Lith, Janneke van (1999) Reconsidering the concept of equilibrium in classical statistical mechanics Philosophy of Science 66 (Proceedings), S107-S118, 1999. Lith, Janneke van (2001) Ergodic Theory, Interpretations of Probability and the Foundations of Statistical Mechanics tudies in History and Philosophy of Modern Physics 32(4), 581-594, 2001. Lith, Janneke van (2001) Stir in Stillness. A study in the foundations of equilibrium statistical mechanics PhD-thesis, Utrecht University, June 2001. Lith, Janneke van (2003) Probability in Classical Statistical Mechanics" Studies in History and Philosophy of Modern Physics 34(1), 143-150, 2003 Lith, Janneke van and Uffink, J. (1999) Thermodynamic uncertainty relations Foundations of Physics 29(5), 655-692, 1999 Lith, Janneke van and Uffink, J. (20001) Thermodynamic Uncertainty Relations again: a Reply to Lavenda Foundations of Physics Letters 14, 187-193, 2001. Löwe, Benedikt (1998) Uniform Unfolding and Analytic Measurability rchive for Mathematical Logic 37 (1998), p.505-520 Löwe, Benedikt (1998) Parsimonia Ontologiae und die generalisierende Tendenz der Mathematik Ethik und Sozialwissenschaften 9 (1998), p.462-464 Löwe, Benedikt (1999) Dualizing the Stone-Cech compactification Phokion Kolaitis, George Koletsos (eds.), 2nd Panhellenic Logic Symposium, Proceedings, Delphi, 13-17 July, 1999, Delphi, 1999, p. 150-154 Löwe, Benedikt (2001) Revision sequences and computers with an infinite amount of time Journal of Logic and Computation 11 (2001), p. 25-40; also in: Heinrich Wansing (ed.), Essays on Non-Classical Logic, Singapore 2001 [Advances in Logic 1], p.37-59 Löwe, Benedikt (2001) A first glance at non-restrictiveness Philosophia Mathematica (III) 9 (2001), p.347-354 Löwe, Benedikt (2002) Playing with mixed strategies on infinite sets International Journal of Game Theory 31 (2002), p. 137-150 Löwe, Benedikt (2002) The Formal Sciences: Their Scope, their Foundations, and their Unity Synthese 133 (2002), p. 5-11 Löwe, Benedikt (2002) Consequences of Blackwell Determinacy Bulletin of the Irish Mathematical Society 49 (2002), p. 43-69 Löwe, Benedikt (2002) Limitativität als Kriterium bei der Frage nach erweiterten Axiomensystem für die Mathematik Wolfram Hogrebe (ed.), Grenzen und Grenzüberschreitungen, XIX. Deutscher Kongress für Philosophie, 23.-27.September 2002 in Bonn, Sektionsbeiträge, Bonn 2002, p. 715-722 Löwe, Benedikt (2002) Kleinberg Sequences and Partition Cardinals below delta15 Fundamenta Mathematicae 171 (2002), p. 69-76 Löwe, Benedikt (2003) A second glance at non-restrictiveness Philosophia Mathematica (III) 11 (2003), p.323-331 Löwe, Benedikt and Brendle, Jörg (1999) Solovay-type characterizations for forcing-algebras Journal of Symbolic Logic 64 (1999), p.1307-1323 Löwe, Benedikt and Halbeisen, Lorenz (2001) Ultrafilter Spaces on the Semilattice of Partitions Topology and its Applications 115 (2001), p.317-332 Löwe, Benedikt and Halbeisen, Lorenz (2001) Techniques for Approaching the dual Ramsey property in the projective hierarchy Pacific Journal of Mathematics 200 (2001), p.119-145 Löwe, Benedikt and Malzkorn, Wolfgang and Räsch, Thoralf (eds.) (2003) Foundations of the Formal Sciences II Applications of Mathematical Logic to Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10-13, 2000, Kluwer Academic Publishers, Dordrecht 2003 [Trends in Logic 17] Löwe, Benedikt and Steel, John R. (1999) An Introduction to Core Model Theory S.Barry Cooper, John K.Truss (eds.), Sets and Proofs, Invited Papers from the Logic Colloquium 97, University of Leeds, England, July 6 - 13, 1997, Cambridge 1999 [London Mathematical Society Lecture Note Series 258], p. 103-157 Löwe, Benedikt and Welch, Philip D. (2001) Set-Theoretic Absoluteness and the Revision Theory of Truth Studia Logica 68 (2001), p.21-41 Löwe, Benedikt, Rudolph, Florian (eds.) (2002) Foundations of the Formal Sciences I Humboldt-Universität zu Berlin, May 7-9, 1999, special issue of Synthese (Volume 133, Number 1-2, October/November 2002) Monachesi, P. (1999) A Lexical Approach to Italian Cliticization CLSI Lecture Notes 84, Stanford Moortgat, M. (1999) Constants of Grammatical Reasoning G. Bouma et al. (eds.), Constraints and Resources in Natural Language Syntax and Semantics. CSLI, Stanford, pp. 195–219. Moortgat, Michael (2001) Structural Equations in Language Learning Philippe de Groote e.a. (eds), Logical Aspects of Computational Linguistics Moortgat, Michael (2002) Categorial grammar and formal semantics Lynn Nagel (ed.), Encyclopedia of Cognitive Science, p. 435-447 Muskens, Reinhard (1998) Review of `Exploring Logical Dynamics', by Johan van Benthem Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 90:84-86 Muskens, Reinhard (1999) On Partial and Paraconsistent Logics Notre Dame Journal of Formal Logic, 40(3):352-374 Muskens, Reinhard (1999) Coreference K. Brown and J. Miller, editors, Concise Encyclopedia of Grammatical Catagories, page 123. Elsevier Science, Oxford Muskens, Reinhard (1999) Underspecified Semantics Urs Egli and Klaus von Heusiger, editors, Reference and Anaphoric Relations, vol. 72 of Studies in Linguistics and Philosophy, pp. 311--338, Kluwer Muskens, Reinhard (2001) Lambda Grammars and the Syntax-Semantics Interface R. van Rooy and M. Stokhof, editors, Proc. 13th Amsterdam Colloquium, pp. 150--155 Muskens, Reinhard (2001) Categorial Grammar and Lexical-Functional Grammar Miriam Butt and Tracey Hollaway King, editors, proc. LFG01 Conference, University of Hong Kong, pp. 259-279, Stanford CA, 2001. CSLI Publications Muskens, Reinhard (2001) Talking about Trees and Truth-conditions Journal of Logic, Language and Information, 10(4):417-455 Muskens, Reinhard (2003) Lambdas, Language, and Logic Geert-Jan Kruijff and Richard Oehrle, editors, Resource Sensitivity in Binding and Anaphora, Studies in Linguistics and Philosophy, pages 23-54. Kluwer Muskens, Reinhard and Bunt, Harry (1999) Computational Semantics Harry Bunt and Reinhard Muskens, editors, Computing Meaning I, vol.73 of Studies in Linguistics and Philosophy, pp 1--32, Kluwer Muskens, Reinhard and Krahmer, Emiel (1998) Description Theory, LTAGs and Underspecified Semantics Fourth International Workshop on Tree Adjoining Grammars and Related frameworks, pp. 112--115, Philadelphia, PA, Institute for Research in Cognitive Science Muskens, Reinhard and Leusden, Noor van (2003) Description in Discourse Representation Jaroslav Peregrin, editor, Meaning: The Dynamic Turn, pages 33-65. Elsevier Peijnenburg, J. (1999) Are There Mental Entities?, Some Lessons From Hans Reichenbach Sorites - An International Electronic Quarterly of Analytical Philosophy, 11, pp. 66-81 Peijnenburg, J. (2000) Identity and Difference. A Hundred Years of Analytic Philosophy Metaphilosophy, 31, nr. 4, 2000, pp. 365-381 Peijnenburg, J. (2000) Akrasia, Dispositions and Degrees Erkenntnis, 53, 2000, pp. 285-308 Peijnenburg, J. (2002) Reichenbach's Philosophy of Mind British Journal for the History of Philosophy, 10, nr. 3, 2002, pp. 437-453 Peijnenburg, J. (2003) On the Concept of Discovery, Comments on Gerd Gigerenzer M.C. Galavotti (ed.), Observation and Experiment in the Natural and Social Sciences, Boston Studies in the Philosophy of Science, Vol. 232, 2003, pp. 153-159 Peijnenburg, J. and Atkinson, David (1999) Probability as a Theory Dependent Concept Synthese, nr. 118, 1999, pp. 207-228 Peijnenburg, J. and Atkinson, David (2003) When Are Thought Experiments Poor Ones? Journal for General Philosophy of Science, 34, nr. 2, 2003, pp. 305-322 Peijnenburg, J. and Hunneman, Ronald (2001) Translations and Theories: On the Difference between Indeterminacy and Underdetermination Ratio, 14, nr. 1, 2001, pp. 18-32 Renardel de Lavalette, Gerard R. (1999) Memories and Knowledge Games J. Gerbrandy, M. Marx, M. de Rijke and Y. Venema (eds.): Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, Amsterdam University Press, Vossiuspers, Amsterdam, 1999 Renardel de Lavalette, Gerard R. (2001) A Logic of Modification and Creation Logical Perspectives on Language and Information, C. Condoravdi and G.R. Renardel de Lavalette (eds.), Stanford, CSLI Publications (2001) 197 - 219 Renardel de Lavalette, Gerard R. and Hesseling, Wim H. (2002) Reduction steps in partitions Frank de Boer, Marlin van der Heijden, Paul Klint, Jan Rutten (eds.), Liber Amicorum Jaco de Bakker, Amsterdam, Centrum voor Wiskunde en Informatica (2002) 175 - 178 Renardel de Lavalette, Gerard R. and Hesselink, Wim H. and Haan, Hendruk Wietze de Haan (2003) Knowledge-Based Programming inspired by an Asynchronous Hardware Leader Eleection Program Barbara Dunin-Keplicz, Rineke Verbrugge (eds.), FAMAS'03 - Formal Approaches to Multi-Agent Systems (proceedings of an international workshop), ETAPS 2003, Warsaw (2003) 117 - 132 Renardel de Lavalette, Gerard R. and Condoravdi, C. (2001) Logical Perspectives on Language and Information Stanford, CSLI Publications, 2001 Renardel de Lavalette, Gerard R. and Ditmarsch, Hans van (2002) Epistemic actions and minimal models Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter (eds.), AiML2002 - Advances in Modal Logic (conference proceedings), Institut de Recherche en Informatique de Toulouse IRIT (2002) 77 - 90 Renardel de Lavalette, Gerard R. and Kooi, Barteld and Verbrugge, Rineke (2002) A strongly complete proof system for propositional dynamic logic Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter (eds.), AiML2002 - Advances in Modal Logic (conference proceedings), Institut de Recherche en Informatique de Toulouse IRIT (2002) 377 - 393 Schaar, Maria van der (1999) L'analogie et la vérité chez Franz Brentano Philosophiques, 26, 1999, pp. 203-217 Schaar, Maria van der (1999) Evidence and the Law of Excluded Middle The Logica Yearbook 1998, Prague 1999, pp. 110-120 Schaar, Maria van der (2000) Judgement-Candidates Rationality and Irrationality, Papers of the 23d Wittgenstein Symposium, Kirchberg, 2000, VIII(2), pp. 122-126 Schaar, Maria van der (2001) Hartmann's Rejection of the Notion of Evidence Axiomathes, 12, 2001, pp. 285-297 Schaar, Maria van der (2001) Waarborg en waarheid: een kritiek op Plantinga's kennisbegrip vanuit een evidentietheorie van waarheid ANTW, 93, 2001, pp. 181-194 Schaar, Maria van der (2001) Recensie van: Martin Stokhof Taal en betekenis ANTW, 93, 2001, pp. 156-157 Schaar, Maria van der (2002) Opinion, Assertion and Knowledge: Kantian Epistemic Modalities Logica Yearbook Schaar, Maria van der (2003) Knowledge and Belief, Papers of the 26th International Wittgenstein Symposium Kirchberg 2003, pp. 311-313 Schaar, Maria van der (2003) Recensie van: Rene van Woudenberg, Filosofie van taal en tekst ANTW, 95, 2003, pp. 153-154 Seginer, Yoav (2002) Fast Learning from Strings of 2-Letter Rigid Grammars P. Adriaans, H. Fernau and M. van Zaanen (eds.), Proceedings of ICGI-2002, LNAI 2484, Springer, 2002 Seginer, Yoav (2003) Learning Context Free Grammars in the Limit Aided by the Sample Distribution C. de la Higuera, P. Adriaans, M. van Zaanen and J. Oncina (eds.) Proceedings of the Workshop and Tutorial on Learning Context-Free Grammars, ECML/PKDD 2003 Sigurbjörnsson, Börkur (2002) Structural Properties of Questionnaires ILLC Master of Logic Series, MoL-2002-06 Sigurbjörnsson, Börkur, Kamps, Jaap, Rijke, Maarten de (2003) The University of Amsterdam at INEX 2003 INEX 2003 Workshop Proceedings, pages 80-86. 2003 Sigurbjörnsson, Börkur, Kamps, Jaap, Rijke, Maarten de (2003) Topic Field Selection and Smoothing for XML Retrieval A. P. de Vries, editor, Proceedings of the Fourth Dutch Belgian Information Retrieval Workshop (DIR-2003), 2003 Sigurbjörnsson, Börkur, Kamps, Jaap, Rijke, Maarten de and Marx, Maarten (2003) XML retrieval: What to retrieve? Proceedings of the 26th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, pages 409-410. ACM Press Sigurbjörnsson, Börkur, Kamps, Jaap, Rijke, Maarten de and Marx, Maarten (2003) The importance of morphological normalization for XML retrieval Norbert Fuhr, Norbert Gövert, Gabriella Kazai, and Mounia Lalmas, editors, Proceedings of the First Workshop of the INitiative for the Evaluation of XML retrieval (INEX), pages 41-48. ERCIM Publications Sigurbjörnsson, Börkur, Kamps, Jaap, Rijke, Maarten de and Monz, Cristof (2003) Monolingual Document Retrieval: English versus other European Languages A. P. de Vries, editor, Proceedings of the Fourth Dutch Belgian Information Retrieval Workshop (DIR-2003), 2003 Sigurbjörnsson, Börkur, Kamps, Jaap, Rijke, Maarten de and Monz, Cristof (2003) The University of Amsterdam at CLEF 2003 C. Peters, editor, Working Notes for the CLEF 2003 Workshop Sima'an, K. (1999) Learning Efficient Disambiguation ILLC dissertation series 1999-02. March 1999. ABSTRAT Amsterdam/Utrecht. FoLLI 2000 Dissertation Award. Sima'an, K. (2000) Tree-gram Parsing: Lexical Dependencies and Structural Relations Proceedings of 38th /Annual Meeting of the Association for Computational Linguistics //(ACL'00)/ , Hong Kong, China, 2000. Sima'an, K. (2000) Efficient Parsing of Domain Language Proceedings of the Belgian-Dutch Artificial Intelligence Conference (BNAIC'00), Efteling, The Netherlands, 2000. BNAIC'00 Best Paper Award Sima'an, K. (2001) Robust Data-Oriented Parsing for Speech-Understanding Proceedings of the International Workshop on Parsing Technologies (IWPT'01). Beijing, China, October 2001. Sima'an, K. (2002) Computational Complexity of Probabilistic Disambiguation The journal Grammars, vol. 5 (2), Kluwer Publishers, 2002 Sima'an, K. (2002) Computational Complexity of Probabilistic Disambiguation - NP-Completeness results for Parsing Problems that arise in speech and language Processing Applications The journal Grammars vol. 5 (2), Kluwer Publishers, 2002. Sima'an, K. (2003) On Maximizing Metrics for Syntactic Disambiguation Proceedings of the International Workshop on Parsing Technologies //(IWPT'03)/. Nancy, France, April 2003 Sima'an, K. (2003) Empirical validity and technological viability: Probabilistic models of Natural Language Processing R. Bernardi and M. Moortgat (eds.), Linguistic Corpora and Logic Based Grammar Formalisms, CoLogNET Area 6, 2003. Sima'an, K. and Bod, R. and Scha, R. (eds) (2003) Data-Oriented Parsing (edited volume) Studies in Computational Linguistics, CSLI Publications, University of Chicago Press, 2003 Sima'an, K. and Buratto, L. (2003) Backoff Parameter Estimation for the DOP Model N. Lavrac, D. Gamberger, H. Blockeel and L. Todorovski (ed.). Proceedings of the European Conference on Machine Learning (ECML'03),/ Lecture Notes in Artificial Intelligence (LNAI 2837), pages 373-384, Springer, 2003 Sima'an, K. and Buratto, L. (2003) Backoff DOP: Parameter Estimation by Backoff V. Matousek and P. Mautner (eds.). Proceedings of the International Conference on Text, Speech/ and Dialogue/(TSD'03),/ Lecture Notes in Artificial Intelligence (LNAI 2807), Springer, 2003.(8 pages) Sima'an, K. and Daelemans, W. and Veenstra, J. and Zavrel, J. (eds.) (2001) Computational Linguistics in the Netherlands 2000 (CLIN'00) Proceedings of the CLIN-2000 meeting in Tilburg. Rodopi publications, November 2001 Sima'an, K. and Hearne, M. (2003) Structured Parameter Estimation for LFG-DOP by Backoff Proceedings of International Conference on Recent Advances in Natural Language Processing (RANLP'03), Bulgaria, 2003 Sima'an, K. and Infante-Lopez, G. and De Rijke, M. (2002) A General Probabilistic Model for Dependency Parsing Proceedings of the BNAIC 2002, Leuven, Belgium Sima'an, K. and Itai, A. and Winter, Y. and Altman, A. and Nativ, N. (2001) Building a Tree-Bank of Modern Hebrew Text Beatrice Daille and Laurent Romary (eds.), /Journal Traitement Automatique des Langues (t.a.l.)/ , 2001. Special Issue on Natural Language Processing and Corpus Linguistics. Sima'an, K. and Musillo, G. (2002) Towards Comparing Parsers from Different Linguistic Frameworks: An Information Theoretic Approach. Proceedings of Beyond PARSEVAL: Towards Improved Evaluation Measures for Parsing Systems, LREC'02, Las Palmas, Gran Canaria, Spain, 2002 Sima'an, K. and Scha, R. and Bod, R. (1999) A Memory-Based Model of Syntactic Analysis: Data-Oriented Parsing Special Issue on Memory-Based Processing, W. Daelemans (ed.), Journal of Empirical and Theoretical Artificial Intelligence (JETAI), 11 (3), 1999. Stokhof, Martin (1999) Dynamic semantics R. Wilson (ed.), MIT Encyclopedia of the Cognitive Sciences, MIT Press: Cambridge, Mass. 1999, 246-48 Stokhof, Martin (1999) Could semantics be something else? Philosophical challenges for formal semantics J. Gerbrandy, M. Marx, M. de Rijke & Y. Venema (eds), JFAK. Essays Dedicated to Johan van Benthem on the Occassion of his 50th Birthday, Amsterdam University Press: Amsterdam, 1999, 10 pp. Stokhof, Martin (1999) Nieuw maar onbereikbaar. Bespreking van Cavell's "Dit Nieuwe maar Onbereikbare Amerika" Krisis 75 (1999), 86-91 Stokhof, Martin (1999) Ludwig Wittgenstein M. Keestra (ed.), Tien Westerse Filosofen, Uitgeverij Nieuwezijds: Amsterdam, 2000, 165-187 Stokhof, Martin (2000) Taal en betekenis. Een inleiding in de Taalfilosofie Amsterdam: Boom, 2000, 320 pp. (tweede druk, 2003) Stokhof, Martin (2001) Het goede leven en het virtuele zelf T. Koetsier, K. Vintges, H. Schwab (eds.), Word ik van filosofie een beter mens?, Damon: Utrecht, 2001, 25-33 Stokhof, Martin (2002) Meaning, interpretation and semantics D. Beaver and P. Scotto di Luzio (eds.), Words, Proofs and Diagrams, CSLI Publications: Stanford, 2002, 217-240 Stokhof, Martin (2002) World and Life as One: Ethics and Ontology in Wittgenstein's Early Thought Stanford University Press: Stanford, 2002, vi+330 pp. Stokhof, Martin and Groenendijk, J.A.G. (1999) Meaning in motion K. von Heusinger and U. Egli (eds), Reference and Anaphora, Kluwer: Dordrecht, 1999, 74-76 Sundholm, G. (1998) Intuitionism and Logical Tolerance Alfred Tarski and the Vienna Circle (Vienna Circle Institute Yearbook), Vol. 6, Kluwer, Dordrecht, pp. 135-149 and the Vienna Circle (Vienna Circle Institute Yearbook), Vol. 6, pp. 135-149 Sundholm, G. (1998) Inference versus Consequence LOGICA Yearbook 1997, Filosofia Publishers, Czech Academy of Science, Prague, pp. 26-35 Sundholm, G. (1998) Inference, consequence, implication: a constructivist's approach PhilosophiaMathematica, Vol. 66, pp. 178-194 Sundholm, G. (1999) Identity: Propositional, Criterial, Absolute LOGICA Yearbook 1998, Filosofia Publishers, Czech Academy of Science, Prague, pp. 20-26 Sundholm, G. (2000) Proofs as Acts versus Proofs as Objects: Some Questions for Dag Prawitz Theoria. 64 (for 1998, published in 2000) : 2-3 (special issue devoted to the works of Dag Prawitz, with his replies), pp. 187-216 Sundholm, G. (2000) When, and why, did Frege read Bolzano? LOGICA Yearbook 1999, Filosofia Publishers, Czech Academy of Science, Prague, pp. 164-174 Sundholm, G. (2000) Virtues and Vices of Interpreted Classical Formalisms: Some ImpertinentQuestions for Pavel Materna on the occasion of his 70th Birthday Between Words and Worlds. A Festschrift for Pawel Materna (Timothy Childers and Jari Palomäki, eds.), Filosofia Publishers, Prague, pp. 3-12 Sundholm, G. (2001) A Plea for Logical Atavism LOGICA Yearbook 2000, Filosofia Publishers, Czech Academy of Science, Prague, pp. 151-162 Sundholm, G. (2001) Systems of Deduction Chapter 2:1 in: Gabbay, D., and F. Guenthner, Handbook of Philosophical Logic, Second Edition, Vol. 2, Kluwer, Dordrecht, pp. 1-52 Sundholm, G. (2002) Gottlob Frege, August Bebel, and the Return of Alsace-Lorraine: on the dating of the distinction between Sinn and Bedeutung History and Philosophy of Logic 22:1 (for 2001, published August 2002) Sundholm, G. (2002) Review of Mathieu Marion in Wittgenstein, Finitism, and the Philosophy of Mathematics History and Philosophy of Logic History and Philosophy of Logic 22:1 (for 2001, published August 2002), pp. 116-117 Sundholm, G. (2002) Varieties of Consequence Blackwell Companion to Philosophical Logic , Blackwell, Oxford, pp. 241-255 Sundholm, G. (2002) What is an expression? LOGICA Yearbook 2001, Filosofia Publishers, Czech Academy of Science, Prague, pp. 181-194 Sundholm, G. (2002) The Proof Theory of Stig Kanger: a personal recollection The Kanger Collection, Vol. II, Kluwer, Dordrecht, pp. 31-42 Sundholm, G. (2002) A Century of Inference: 1837-1936 In the Scope of Logic, Methodology and Philosophy of Science, Volume II of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999, Kluwer, Dordrecht, pp. 565-580 Sundholm, G. (2003) Tarski and Lesniewski on Languages with Meaning versus Languages without Use: A 60th Birthday Provocation for Jan Wolenski Philosophy and Logic. In Search of the Polish Tradition, Kluwer, Dordrecht, pp. 109-128 Sundholm, G. (2003) "Mind your P's and Q's". On the prpoper interpretation of modal logic LOGICA Yearbook 2002, Filosofia Publishers, Czech Academy of Science, Prague, pp. 101-111 Sundholm, G. (2004) Antirealism and the Roles of Truth Handbook of Epistemology (eds. I. Niniluoto, M. Sintonen, J. Wolenski), Kluwer, Dordrecht (37 pp.) Sundholm, G. (2004) Heinrich Scholz between Frege and Hilbert Proceedings of the Conference Institut für mathematische Logik und Grundlagenforschung 50 years, March 2000 (ed. Wehmeier), Mentis Verlag. Paderborn (17 pp.) Sundholm, G. (2004) Semantic Values for Natural Deduction Derivations Proceedings of the InternationalWorkshop Proof-theoretical Semantics, Tübingen, January 1998. (17 pp.) Sundholm, G. (2004) The proof-explanation of logical constants is logically neutral Rev. Int. de Philosophie (special issue on intuitionism) (11pp) Sundholm, G. and Bos E. P. (2002) Medieval Logic Blackwell Companion to Philosophical Logic, Blackwell, Oxford, pp. 24-34 Sundholm, G. and Pagin, P. (1999) Interview with Michael Dummett LINGUA E STILE, Vol. XXXIV (1999), pp. 133-144 Swart, H.C.M. de (2003) Categoric and Ordinal Voting; an overview Theory and Applications of Relational Structures as Knowledge Instruments, Springer Lecture Notes in Artificial Intelligence, LNAI 2929, pp. 148-198 Swart, H.C.M. de and Jurjus H. (2001) Implication with Possible Exceptions Journal of Symbolic Logic, Volume 66, pp. 517 -535, 2001 Swart, H.C.M. de and Seljee, R.R. (1999) Three types of redundancy in Integrity Checking; an optimal solution Data and Knowledge Engineering, 30, pp. 135 - 151 Swart, H.C.M. de, Rusinowska, A. and Rijt, J.W. van der (1999) Hintikka's The Principles of Mathematics Revisited Logique et Analyse, 159, pp. 281 - 289 Tamminga, Allard (1998) General Proof Theory of Classical Propositional Logic: One Size Fits All Esther Kraak en Renata Wassermann (red.), Proceedings Accolade{97, Dutch Graduate School in Logic, Amsterdam 1998, 84–96. Tamminga, Allard (1999) Extracting Beliefs from Inconsistent Information Hans Rott, Chris Albert, Gerd Brewka en Cees Witteveen (red.), DGNMR'99: Proceedings of the Fourth Dutch-German Workshop on Nonmonotonic Reasoning Techniques and Their Applications, ILLC, Amsterdam 1999, 67–77 Tamminga, Allard (2000) Finite State Belief Dynamics Catherine Pilière (red.), Proceedings of the ESSLLI-2000 Student Session, The University of Birmingham, Birmingham 2000, 254–264 Tamminga, Allard (2001) Waarheid als limiet van onderzoek: de ontoereikendheid van Charles Sanders Peirce' waarheidsopvatting Algemeen Nederlands Tijdschrift voor Wijsbegeerte 93, 2001, 73–92 Tamminga, Allard (2001) Belief Dynamics: (Epistemo)logical Investigations Proefschrift, Institute for Logic, Language and Computation, Amsterdam 2001 Tamminga, Allard (2002) Isaac Levi's kenleer: een kritische beschouwing Algemeen Nederlands Tijdschrift voor Wijsbegeerte 94, 2002, 124–145 Tamminga, Allard (2003) Het logische behaviorisme van Rudolf Carnap Tijdschrift voor Filosofie 65, 2003, 541–565 Tamminga, Allard and Boogerd, Bruggeman, Jonker, Looren de Jong, Treur, Westerhoff and Wijngaards (2002) Inter-level Relations in Computer Science, Biology, and Psychology Philosophical Psychology 15, 2002, 463–471 Tamminga, Allard and Tanaka, Koji (1999) A Natural Deduction System for First Degree Entailment Notre Dame Journal of Formal Logic 40, 1999, 258–272 (verschenen in 2001) Thijsse, E. (1999) Expressibility of Partial Truth Functions: results on 3- and 4-valued clones Report (Ext. r. no. 1). Leipzig: Universität Leipzig, Institut für Informatik, 34 pp. Thijsse, E. (1999) Logic, Belief and Language Gerbrandy, J., Marx, M., Rijke, M. de & Venema, Y. (eds.), JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. (pp. 1-9). Amsterdam: Vossiuspers AUP. Thijsse, E. (2000) The doxastic-epistemic force of declarative utterances Bunt, H.C. & Black, W.J. (eds.), Abduction, Belief and Context in Dialogue; Studies in Computational Pragmatics. (pp. 327-352). Amsterdam: John Benjamins. Thijsse, E. and Hoek, W. van der (2002) A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples Studia Logica, 72, 61-84. Thijsse, E. and Hoek, W. van der and Jaspars, J.O.M. (2000) A General Approach to Multi-Agent Minimal Knowledge Ojeda-Aciego, M., Guzman, I.P. de, Brewka, G. & Pereira, L.M. (eds.), Logics in Artificial Intelligence. Proceedings JELIA 2000. (pp. 254-268). Berlin: Springer Verlag. Thijsse, E. and Hoek, W. van der and Jaspars, J.O.M. (2000) A general perspective on only knowing Bonanno, G. & Colombatto, E. (eds.), Proceedings Fourth Confrence LOFT4. (pp. 1-15). Torino: International Centre for Economic Research (ICER) Thijsse, E. and Hoek, W. van der and Jaspars, J.O.M. (2000) Persistence and Minimality in Epistemic Logic Annals of Mathematics and Artificial Intelligence, 27, 25-47. Thijsse, E. and Lepage, F. and Wansing, H. (2000) Editorial introduction to special issue on Partiality & Modality Studia Logica, 65, 1-4. Thijsse, E. and Lepage, F. and Wansing, H. (2000) Partiality & Modality Special Issue. Studia Logica, 65, 1-198. Torenvliet, L. and Ambainis A. and Buhrman, H. and Gasarch, W.I. and Kalyanasundaram, B. (2001) The communication complexity of enumeration, elimination and selection Journal of Computer and System Sciences, 63: 148--185 (2001) Torenvliet, L. and Buhrman, H. (1998) Complete sets and structure in subrecursive classes Lecture Notes in Logic 12, pp45-78, 1998 Torenvliet, L. and Buhrman, H. (1999) Complicated complementations 14th IEEE Conference on Computational Complexity, Atlanta, May 1999 Torenvliet, L. and Buhrman, H. (2000) Randomness is hard SIAM J. Comput. 30(5): 1485--1501 (2000) Torenvliet, L. and Buhrman, H. and Fenner, S. and Fortnow, L. (2001) Two oracles that force a big crunch Computational Complexity 10 : 93--116 (2001) Torenvliet, L. and Buhrman, H. and Fortnow, L. and Melkebeek, D. (2000) Separating complexity classes using autoreducibilty SIAM J. Comput. 29(5): 1497-1520(2000) Torenvliet, L. and Buhrman, H. and Hoene, A. (1998) Splittings, robustness and the structure of complete sets SIAM Journal on Computing, vol. 2 no. 3, 1998, 637--653 Torenvliet, L. and Hemaspaandra, L.A. (2002) The Theory of Semi-Feasible Algorithms Springer Verlag, 2002 Torenvliet, L. and Terwijn, S. (1998) Arithmetical Measure Mathematical Logic Quarterly 44, 1998, 277-286 Torre, Leendert W. N. van der and Broersen, Jan and Dastani, Mehdi and Huang, Zhisheng (2001) The BOID architecture: conflicts between beliefs, obligations, intentions and desires Agents 2001: 9-16 Torre, Leendert W. N. van der and Broersen, Jan and Dastani, Mehdi and Huang, Zhisheng (2002) Trust and Commitment in Dynamic Logic EurAsia-ICT 2002: 677-684 Torre, Leendert W.N. van der (1999) Violation Contexts and Deontic Independence CONTEXT 1999: 361-374 Torre, Leendert W.N. van der (1999) Defeasible Goals ESCQARU 1999: 274-385 Torre, Leendert W.N. van der (2003) Contextual Deontic Logic: Normative Agents, Violations and Independence Ann. Math. Artif. Intell. 37(1-2): 33-63 (2003) Torre, Leendert W.N. van der and Boella, Guido (2003) Permissions and Obligations in Hierarchical Normative Systems ICAIL 2003: 109-118 Torre, Leendert W.N. van der and Boella, Guido (2003) Rational Norm Creation ICAIL 2003: 81-82 Torre, Leendert W.N. van der and Boella, Guido (2003) Attributing mental attitudes to normative systems AAMAS 2003: 942-943 Torre, Leendert W.N. van der and Dastani, Mehdi (2002) An Extension of BDICTL with Functional Dependencies and Components LPAR 2002: 115-129 Torre, Leendert W.N. van der and Dastani, Mehdi (2002) Specifying the Merging of Desires into Goals in the Context of Beliefs EurAsia-ICT 2002: 824-831 Torre, Leendert W.N. van der and Dastani, Mehdi and Broersen, Jan (2001) Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires ECSQARU 2001: 568-579 Torre, Leendert W.N. van der and Dastani, Mehdi and Hulstijn, Joris (2001) Negotiation protocols and dialogue games Agents 2001: 180-181 Torre, Leendert W.N. van der and Jérôme Lang and Weydert, Emil (2002) Utilitarian Desires Autonomous Agents and Multi-Agent Systems 5(3): 329-363 (2002) Torre, Leendert W.N. van der and Tan, Yao-Hua (1999) Rights, Duties and Commitments between Agents IJCAI 1999: 1239-1246 Torre, Leendert W.N. van der and Tan, Yao-Hua (1999) An Update Semantics for Defeasible Obligations UAI 1999: 631-638 Torre, Leendert W.N. van der and Tan, Yao-Hua (1999) Contrary-to-duty reasoning with preference-based dyadic obligations Ann. Math. Artif. Intell. 27(1-4): 49-78 (1999) Torre, Leendert W.N. van der and Tan, Yao-Hua (1999) Diagnosis and Decision Making in Normative Reasoning Artif. Intell. Law 7(1): 51-67 (1999) Torre, Leendert W.N. van der and Weydert, Emil (2001) arameters for Utilitarian Desires in a Qualitative Decision Theory Appl. Intell. 14(3): 285-301 (2001) Veltman, F.J.M.M. (2002) Het verschil tussen 'vaag' en 'niet precies', oratie Vossiuspers, University of Amsterdam, Amsterdam, 2002, 23 pp. Veltman, F.J.M.M. and De Jongh, D. (1999) The Modal Completeness of ILW Gerbrandy, M. Marx, M. de Rijke en Y. Venema (eds.) JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th birthday, Amsterdam University Press, Amsterdam, 1999, 11 pp. Veltman, F.J.M.M. and Groenendijk, J. and Stokhof, M. (2003) Coreference and contextually restricted quantification J. Gutiérrez-Rexach (ed.) Semantics: Critical Concepts in Linguistics, New York: Routledge Publishing Co., 2003, pp. 283-302. Venema, Y. (1998) Rectangular Games Journal of Symbolic Logic, 63:1549--1564 Venema, Y. (1999) Modal definability, purely modal J Gerbrandy et alii (editors), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Amsterdam University Press, Vossius Pers, Amsterdam, (cd-rom) Venema, Y. (1999) Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes Journal of Logic and Computation, 9:601--621 Venema, Y. (2000) Ultrafilter unions: an exercise in modal definability A Nepomuceno et alii (editors), Logic, Language and Information: Proceedings of the First Workshop on Logic and Language, Instituto de Lógica, Lenguaje y Información, Universidad de Sevilla, Sevilla, pp 303--310 Venema, Y. (2001) Temporal Logic L Goble (editor), The Blackwell Guide to Philosophical Logic, Blackwell Publishers, Malden, USA, pp 203 - 223 Venema, Y. (2001) Canonical Pseudo-Canonicity M. Zakharyaschev et alii (editors), Advances in Modal Logic, Volume 2, CSLI Publications, Stanford, pp 421--430 Venema, y. (2003) Representation of game algebras Studia Logica, 75:239-257 Venema, Y. (2003) Atomless varieties Journal of Symbolic Logic 68:607-614 Venema, Y. and Givant, S. (1999) The Preservation of Sahlqvist Equations in Completions of Boolean Algebras with Operators Algebra Universalis 41 (1999) 47--84 Venema, Y. and Marx, M. (1999) A modal logic of relations E Orlowska (editor), Logic at Work. Essays Dedicated to the Memory of Elena Rasiowa, Physica-Verlag, Heidelberg, 1999, pp 124--167 Venema, Y. and Stebletsova, V. (1998) Q-algebras Algebra Universalis, 40:19--49 Venema, Y. and Stebletsova, V. (2001) Undecidable theories of Lyndon algebras Journal of Symbolic Logic, 66 (2001) 207--224 Venema, Y., Eck, P. van, Engelfriet, J., Fensel, D., Harmelen, F. van and M Willems (1998) Specification of dynamics for knowledge-based systems (extended abstract) B Freitag et alii (editors), Transactions and Change in Logic Databases, LNCS 1472, Springer-Verlag, Berlin, pp 37--68 Venema, Y., Eck, P. van, Engelfriet, J., Fensel, D., Harmelen, F. van and M Willems (2001) A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective IEEE Transactions on Knowledge and Data Engineering 13:462--496 Venema, Y., Kurz, A. and Kupke, C. (2003) Stone coalgebras Electronic Notes in Theoretical Computer Science 82(1) Venema, Y., Mikulás, Sz. and Hodkinson, I. (2001) Axiomatizing complex algebras by games Algebra Universalis, 46:455--478 Venema, Y., Piazza, C. and Goguadze, G. (2003) Simulating polyadic modal logics by monadic ones Journal of Symbolic Logic 68 (2003) 419--462 Venema, Y., Rijke, M. de and Blackburn, P. (2001) Modal Logic publisher: Cambridge University Press, Theoretical Tracts in Computer Science Vermaat Willemijn (1999) Controlling movement: Minimalism in a deductive perspective MA thesis, Universiteit Utrecht Vermaat, Willemijn (1999) The Minimalist Move operation in a deductive perspective Christian Retoré and Edward Stabler, eds., Resource Logics and Minimalist Grammars (RLMG ) Vermaat, Willemijn (1999) Hungarian verb movement. A deductive perspective Amalia Todirascu, ed., Proceedings of the ESSLLI Student Session 1999 , pp.233-243, Utrecht University Visser, A. (1999) Prolegomena to the definition of Dynamic Predicate Logic with local assignments La Nuova Critica, I-II(33-34):65-99, 1999 Visser, A. (1999) Rules and Arithmetics The Notre Dame Journal of Formal Logic, 40(1):116-140, 1999 Visser, A. (2001) Submodels of Kripke models Archive for Mathematical Logic, 40:277-295, 2001 Visser, A. (2002) The donkey and the monoid. Dynamic semantics with control elements Journal of Logic, Language and Information, 11(1):107-131, 2002. Visser, A. (2002) Substitutions of S01-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic Annals of Pure and Applied Logic, 114:227-271, 2002 Visser, A. and D'Agostino, G. (2002) Finality regained: a coalgebraic study of Scott-sets and multisets Archive for Mathematical Logic, 41:267-298, 2002 Visser, A. and Hollenberg, M. (1999) Dynamic negation, the one and only Journal of Logic, Language and Information, 8(2):137-141, 1999. Vitanyi, P.M.B. (1999) The Erdos graph and the Beast Mathematical Intelligencer, 21:3(1999), 54--55 Vitanyi, P.M.B. (2000) The quantum computing challenge Informatics: 10 Years Back, 10 Years Ahead, Lecture Notes in Computer Science, Vol. 2000, Springer Verlag, Berlin, pp 219--233 Vitanyi, P.M.B. (2000) A discipline of evolutionary programming Theoret. Comp. Sci., 241:1-2 (2000), 3--23 Vitanyi, P.M.B. (2001) Quantum Kolmogorov complexity using classical descriptions IEEE Trans. Inform. Theory, 47:6(2001), 2464-2479 Vitanyi, P.M.B. (2002) Simple wait-free multireader registers Proc 16th Intn'l Symp. Distributed Computing (DISC'02), Lecture Notes in Computer Science, Vol. 2508, Springer-Verlag, Berlin, 2002, 118--132 Vitanyi, P.M.B. (2002) Meaningful information Proc. 13th International Symposium on Algorithms and Computation (ISAAC'02), Lecture Notes in Computer Science, Vol 2518, Springer-Verlag, Berlin, 2002, 588-599 Vitanyi, P.M.B. and Chater N. (2003) The generalized universal law of generalization Journal of Mathematical Psychology, 47:3(2003), 346--369 Vitanyi, P.M.B. and Chater, N. (2003) Simplicity: A unifying principle in cognitive science? Trends in Cognitive Sciences, 7:1(2003), 19--22 Vitanyi, P.M.B. and Grunwald, P.D. (2003) Kolmogorov complexity and information theory. With an interpretation in terms of questions and answers. J. Logic, Language, and Information, 12:4(2003), 497--529. Vitanyi, P.M.B. and Haldar, S. (2002) Bounded concurrent timestamp systems using vector clocks J. Assoc. Comp. Mach., 49:1(2002), 101-126 Vitanyi, P.M.B. and Li, M. (2000) Minimum Description Length Induction, Bayesianism, and Kolmogorov Complexity IEEE Trans. Inform. Theory, IT-46:2(2000), 446--464 Vitanyi, P.M.B. and Li, M. (2001) M. Li and P.M.B. Vitanyi, Algorithmic Complexity, in: International Encyclopedia of the Social & Behavioral Sciences, N.J. Smelser and Paul B. Baltes, Eds., Pergamon, Oxford, pp. 376--382 Vitanyi, P.M.B. and Li, M. (2001) Simplicity, Information, Kolmogorov Complexity, and Prediction, Simplicity, Inference and Modelling, Arnold Zellner, Hugo A. Keuzenkamp, and Michael McAleer, Eds., Cambridge University Press, Cambridge, UK, pp 135--155 Vitanyi, P.M.B. and Tromp J. (2002) Randomized two-process wait-free test-and-set Distributed Computing, 15(2002), 127--135 Vitanyi, P.M.B. and Vereshchagin, N. (2002) Kolmogorov's Structure Functions with an Application to the Foundations of Model Selection Proc. 47th IEEE Symp. Found. Comput. Sci. (FOCS'02), 2002, 751-760 Vitanyi, P.M.B., Amano, K., Tromp, J. and Watanabe, O. (2001) On a generalized ruin problem Proc. RANDOM-APPROX 2001, Lecture Notes in Computer Science, Vol. 2129, Springer-Verlag, Berlin, 2001, 181-191 Vitanyi, P.M.B., Bennett, C.H., Gacs, P., Li, M. and Zurek, W. (1998) Information Distance IEEE Trans. Inform. Theory, IT-44:4(1998) 1407--1423 Vitanyi, P.M.B., Buhrman, H. and Hoepman, J.H. (1999) Space-efficient routing tables for almost all networks and the incompressibility method SIAM J. Comput., 28:4(1999), 1414--1432 Vitanyi, P.M.B., Buhrman, H. and Tromp, J. (2000) Kolmogorov Random Graphs and the Incompressibility Method SIAM J. Comput, 29:2(2000), 590--599 Vitanyi, P.M.B., Buhrman, H., Franklin, M., Garay, J., Hoepman, J.H., Tromp, J. (1999) Mutual Search J. Assoc. Comp. Mach., 46:4(1999), 517--536 Vitanyi, P.M.B., Buhrman, H., Jiang, T., Li., M. (2000) New applications of the incompressibility method: Part II Theoretical Computer Science, 235:1(2000), 59--70 Vitanyi, P.M.B., Buhrman, H., Klauck, H. and Vereshchagin, N.K. (2004) Individual communication complexity Proc. 21st Int'l Symp. Theoretical Aspects of Computer Science (STACS), Lecture Notes in Computer Science, Vol. ???, Springer-Verlag, 2004 Vitanyi, P.M.B., Buhrman, H., Panconesi, A. and Silvestri, R (2000) On the importance of having an identity or, is consensus really Universal? Lecture Notes in Computer Science, Vol. 1914, Springer-Verlag, Berlin, 2000, 134--148 Vitanyi, P.M.B., Chater, N. and Steward, N. (2001) Universal generalization and universal inter-item confusability Behavior and Brain Sciences, 24:4(2001), 559--660 Vitanyi, P.M.B., Diederik, H., Le Brun, P.P.H., Frijlink, H.W., Weda, M. and Barends, D.M. (2003) Drug output of unvented jet nebulizers as a function of time. International Journal of Pharmaceutics, 257:1-2(2003), 33--39 Vitanyi, P.M.B., Gacs, P. and Tromp, J. (2001) Algorithmic statistics IEEE Trans. Inform. Theory, 47:6(2001), 2443-2463 Vitanyi, P.M.B., Gao, Q. and Li, M. (2000) Applying MDL to learning best model granularity Artificial Intelligence, 121:1-2(2000), 1--29 Vitanyi, P.M.B., Jian, T. and Li, M. (2002) The average-case area of Heilbronn-type triangles Random Structures and Algorithms, 20:2(2002), 206-219 Vitanyi, P.M.B., Jiang, T. and Li, M. (1999) New applications of the incompressibility method The Computer Journal, 42:4(1999), 287--293 Vitanyi, P.M.B., Jiang, T. and Li, M. (2000) Average-case analysis of algorithms using Kolmogorov complexity Journal of Computer Science and Technology, 15:5(2000), 402--408 Vitanyi, P.M.B., Jiang, T., and Li, M. (2000) A lower bound on the average-case complexity of Shellsort J. Assoc. Comp. Mach., 47:5(2000), 905--911 Vitanyi, P.M.B., Li, M. and Tromp, J. (1998) Reversible simulation of irreversible computation Physica D, 120(1998) 168-176 Vitanyi, P.M.B., Li, M. and Tromp, J. (2003) Sharpening Occam's Razor Information Processing Letters, 85:5(2003), 267--274 Vitanyi, P.M.B., Li, M., Chen, X., Li, X. and Ma, B. (2003) The similarity metric Proc. 14th ACM-SIAM Symp. Discrete Algorithms (SODA), 2003 Vitanyi, P.M.B., Nuhrman, H. and Tromp, J. (2001) Time and space bounds for reversible simulation Journal of Physics A: Mathematical and General, 34(2001), 6821--6830 Vitanyi, P.M.B., Panconesi, A., Papatriantafilou, M., and Tsigas, M. (1998) Randomized Naming Using Wait-Free Shared Variables Distributed Computing, 11(1998), 113--124 Vrijer, R. de and Oostrom, V. van (2002) Four equivalences of reductions Electronic Notes in Theoretical Computer Science, 70(6):1-40, 2002 Vrijer, R. de, Bethhke, I, and Klop, J.W. (2000) Descendants and origins in term rewriting Information and Computation, 159:59-124, 2000 Vrijer, R. de, Klop, J.W. and Oostrom, V. van (2000) A geometric proof of confluence by decreasing diagrams Journal of Logic and Computation, 10(3):437-460, 2000 Vrijer, R.C de and Bognar, M. (1999) The context calculus lambda-c Workshop on Logical Frameworks and Meta-Languages (LFM '99), pages 1-11 Vrijer, R.C. de (1999) Conditional linearization Indagationes Mathematicae (New Series), 10(1):145-159, 1999 Vrijer, R.C. de and Bognar, M. (2001) A calculus of lambda-calculus contexts Journal of Automated Reasoning, 27(1):29-59, 2001 Vrijer, R.C. de and Bognar, M. (2002) The context cube Lamda[]: Barendregt's lambda cube with contexts F. Kamareddine, editor, Workshop on Thirty Five Years of Automath (Informal Proceedings), pages 1--16. Herriot-Watt University, Edinburgh, 2002 Vrijer, R.C. de and Klop, J.W. (2003) First-order term rewriting systems Terese, Term Rewriting Systems, chapter 2, pages 24-59 Vrijer, R.C. de and Klop, J.W. (2003) Examples of TRSs and special rewriting formats Terese, Term Rewriting Systems, chapter 3, pages 60-87. Cambridge University Press, 2003 Vrijer, R.C. de and Klop, J.W. (2003) Properties of rewriting: decidability and modularity Terese, Term Rewriting Systems, chapter 5, pages 149-180. Cambridge University Press, 2003 Vrijer, R.C. de and oostrom, V. van (2003) Equivalence of reductions Terese, Term Rewriting Systems, chapter 8, pages 301-474. Cambridge University Press, 2003. Vrijer, R.C. de and Oostrom, V. van (2003) Strategies Terese, Term Rewriting Systems, chapter 9, pages 475-547. Cambridge University Press, 2003 Vrijer, R.C. de, Bethke, I. and Klop, J.W. (2000) Extending partial combinatory algebras Mathematical Structures in Computer Science, 9(4):483-505, 1999 Vrijer, R.C. de, Oostrom, V. van and Klop, J.W. (2003) Orthogonality Terese, Term Rewriting Systems, chapter 4, pages 88-148. Cambridge University Press, 2003 Zeevat, Henk (0000) Demonstratives in Discourse Journal of Semantics, 16 (4), pp. 279-315 Zeevat, Henk (1999) Demonstratives on Graphics Proceedings of Demonstrative Workshop ESSLI 99. University of Utrecht Zeevat, Henk (1999) Meaning in Micro-Communities Change Workshop Konstanz April 99. Appeared in Workshop proceedings Zeevat, Henk (2000) Semantics in Optimality Theory Optimality Theoretic Semantics, OTS preprint, University of Utrecht January 2000 Zeevat, Henk (2000) Discourse Particles as Speech Act Markers LDV-Forum 17, 1/2, 2000. p. 74-91 Zeevat, Henk (2000) The Asymmetry of Optimality Theoretic Syntax and Semantics Journal of Semantics 17 (3), 2000, pp 243-262 Zeevat, Henk (2002) Explaining Presupposition Triggers Van Deemter & Kibble (eds.) Information Sharing. CSLI-publications 2002, p. 61-87 Zeevat, Henk (2002) Double Bias Alberti, Balogh and Dekker (ed.) Proceedings of the Seventh Symposium on Logic and Language. Pecs 2002. p. 173-181 Zeevat, Henk (2002) Markedness and Economy on Signs Spenader (ed) Proceedings Variation within Optimality Theory. Stockholm, Linguistics Department Zeevat, Henk (2003) Particles: presupposition triggers, context markers or speech act markers Optimality Theory and Pragmatics. Blutner & Zeevat (eds.) Palgrave-McMillan 2003, pp. 91-111 Zeevat, Henk and Blutner, Reinhard (2003) Editor's Introduction: Pragmatics in Optimality Theory Optimality Theory and Pragmatics. Blutner & Zeevat (eds.) Palgrave-McMillan 2003, pp. 1-24 Zeevat, Henk and Jäger, Gerd (2002) A Statistical Reinterpretation of Harmonic Alignment De Jongh, Nilsenova and Zeevat (eds.) Proceedings of the 4th Tblisi Symposium on Logic, Language and Linguistics. Amsterdam/Tblisi

Last modified: 09-06-2005 ( webmaster) | © OzsL |