CWI, Amsterdam
Senior researcher at CWI, professor of Computational Linguistics at Uil-OTS (Utrecht University). Former scientific director of the Dutch Graduate School in Logic (OzsL). New director is Albert Visser.
De Masteropleiding Software Engineering aan de Universiteit van Amsterdam.
Syllogistics = Monotonicity + Symmetry + Existential Import. Work in progress.
Natural Logic for Natural Language. Work in progress.
Logics of Communication and Change (with Johan van Benthem and Barteld Kooi). Under submission.
Sequentially Indexed Grammars.
Deductive Parsing with Sequentially Indexed Grammars.
Discourse Representation Theory. To appear in the second edition of the Encyclopedia of Language and Linguistics, Elsevier.
The Gamut of Dynamic Logics (with Martin Stokhof). To appear in The Handbook of History and Philosophy of Logic, edited by Dov Gabbay and John Woods, Elsevier, Amsterdam.
Modeling the Epistemics of Communication with Functional Programming (with Simona Orzan). Appeared in Sixth Symposium on Trends in Functional Programming TFP 2005, Proceedings (Marko van Eekelen, ed.), Institute of Cybernetics, Tallinn, 2005, pp. 44--59.
Common Knowledge in Update Logics (with Johan van Benthem and Barteld Kooi). Appeared in Ron van der Meyden (ed.), Theoretical Aspects of Rationality and Knowledge / Proceedings of the Tenth Conference, National University of Singapore, 2005, pp. 253--261.
Normal Forms for Characteristic Functions on n-ary Relations. Pre-final draft of paper that appeared in the April issue of the Journal for Logic and Computation, volume 15, pages 85--98.
Structuren van de informatica homepage
Summer Course `Computational Semantics, Type Theory, and Functional Programming Theta Theory' Pecs, Hungary, 2002
Logic and Language 7 --- Pecs Summer Course
The Haskell Road to Logic, Maths and Programming With Kees Doets. King's College Publications, 2004. Book and related software.
Computational Semantics and Type Theory Book manuscript and related software, 2004.
Inzien en bewijzen With Albert Visser. Book manuscript and related software, 2004. To appear with Amsterdam University Press in Spring 2005.
Denkende Machines With Jan Jaspars, Jan Ketting, Marc Pauly. Published in 2002 by Amsterdam University Press for use in Dutch Secondary Schools.
2004
Reducing Dynamic Epistemic Logic to PDL by Program Transformation. CWI Report SEN-E0423.
Guarded Actions. CWI Report SEN-E0425.
Dynamic Epistemic Modelling. CWI Report SEN-E0424.
Action Emulation (with Ji Ruan).
Formal Concept Analysis and Lexical Semantics (with Joost Zwarts).
Formal Concept Analysis and Prototypes (with Joost Zwarts). Formal Ontology in Information Systems Workshop, Turino.
2003
Parser Combinators for Extraction Published in the Proceedings of the 14th Amsterdam Colloquium, December 2003.
Context and the Composition of Meaning Under submission
HyLoTab --- Tableau-based Theorem Proving for Hybrid Logics Literate Haskell program.
2002
Afscheid van Jaco Appeared in the Liber Amicorum for Jaco de Bakker.
Quantification and Reference in Incremental Processing Manuscript, with Rick Nouwen.
Reference Resolution in Context Appeared in CLIN Proceedings.
Constrained Hyper Tableaux Software and documentation.
2001
Border Crossings Appeared in the Spinoza Farewell Book.
Model Generation from Constrained Free Variable Tableaux Appeared in IJCAR 2001 --- Short Papers.
Expressivity of extensions of dynamic first-order logic With Balder ten Cate and Juan Heguiabehere. Published in proceedings of the Amsterdam Colloquium.
Tableau Reasoning and Programming with Dynamic First Order Logic (with Juan Hegueiabehere and Breanndan O Nuallain). Appeared in the May 2001 issue of the Logic Journal of the IGPL.
Incremental Dynamics Appeared in the Journal of Logic, Language and Information.
2000
LazyTAP - A Lazy Tableau Theorem Prover for FOL Manuscript, December 2000.
The Proper Treatment of Context in NL Appeared in CLIN Proceedings 1999.
Theorem Proving and Programming with Dynamic First Order Logic (with Juan Hegueiabehere and Breanndan O Nuallain). Paper presented at WFLP-2000, Benicassim, September 2000.
A Tableau Calculus for Dynamic First Order Logic, with Applications in Natural Language Semantics (with Juan Hegueiabehere and Breanndan O Nuallain). Paper presented at ICOS-2, Dagstuhl, Summer 2000.
Computing with Dynamic First Order Logic Manuscript.
Making Things Happen Appeared in Studia Logica , Autumn 2000.
Dynamic First Order Logic Programming (with Juan Heguiabehere), version February 2000.
1999
Powering Decision Machines with Dynamo Appeared in JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday , Summer 1999.
Axiomatising Dynamic Logics for Anaphora Appeared in the first volume of the Journal of Language and Computation, Spring 1999.
1998
Preliminary Thoughts on Conceptual Semantics (April 1998).
A Note on Quasi-Partitions (March 1998).
1997
Typed Logics with States Journal of the IGPL, September 1997.
1996
Ambiguity and Reasoning (with Jan Jaspars). Report version (April 1996).
Representing Discourse in Context (with Hans Kamp). Handbook of Logic and Linguistics, Elsevier, 1996, pp. 179--237.
Presupposition and Information Updating In: Kanazawa, Pinon, de Swart (eds.), Quantifiers, Deduction and Context, CSLI, 1996, pp. 87--110.
Basic Quantifier Theory (with Jaap van der Does). In: Van der Does and Van Eijck (eds.), Quantifiers, Logic and Language, CSLI, 1996, pp. 1--45.
Quantifiers and Partiality In: Van der Does and Van Eijck (eds.), Quantifiers, Logic and Language, CSLI, 1996, pp. 105--144.
Learning from Paradox Chapter in FraCaS Deliverable D15, Edinburgh, February 1996.
1995
Verb-phrase Ellipsis in Dynamic Semantics (with Nissim Francez) In: Masuch and Polos (eds.), Applied Logic: How, What, and Why?, Kluwer 1995.
Reasoning About Update Logic (with Fer-Jan de Vries) Journal of Philosophical Logic, Vol 24, 1995, pp. 19--45.
1994
A Natural Term Language In: Apt, Schrijver, Temme (eds.), From Universal Morphisms to Megabytes, CWI, December 1994.
Presupposition Failure - A Comedy of Errors Formal Aspects of Computing, 1994, volume 6A, pp. 766--787.
Modal Logic, Transition Systems and Processes (with Johan van Benthem and Vera Stebletsova) Journal of Logic and Computation, 1994, volume 4, pp. 811--855.
Dynamic Modal Predicate Logic (with Giovanna Cepparello) In: Kanazawa and Pinon (eds), Dynamics, Polarity and Quantification, CSLI, Stanford, 1994, pp. 251--276.
The Dynamics of Theory Extension in: P. Dekker and M. Stokhof (eds.), Proceedings 9th Amsterdam Colloquium, ILLC, Amsterdam, 1994, pp 249--267.
1993
Changing Preferences (with Johan van Benthem and Alla Frolova), CWI report CS-R9310, February 1993.
1991
Capita Selecta in Natural Language Semantics Contributions to the Encyclopedia of Language and Linguistics (1991).
Filosofie in het digitale tijdperk (KNAW lezing, mei 1997)
Digitale Snelweg: Doorgaande route naar inzicht en wijsheid? (lezing in hotel De Filosoof, april 1997)
Wat is filosoferen? (Bijdrage aan bundel over Nederlandse filosofie, 1995)
Heeft het CWI een toekomst? (discussiestuk, voorjaar 1992)
Commentaar op de concept FIT plannen (nota OR kantelingscommissie. 29 augustus 1996)
De Onderzoeksscholen: Vensters naar Buiten voor het CWI? (tekst CWI lezing, 25 september 1998)
Tussen Taal en Betekenis (tekst oratie, 15 november 1991)
Structural and Semantic Parallels between Natural Languages and Programming Languages
Final Report on the project (in Dutch)
FraCaS = Framework for Computational Semantics
Bluffer's Guide to Computational Semantics
PhD student: