Current Projects and Grants
- QASSIR: Question Answering as Semistructured Information Retrieval, NWO, 2006-2010. Details
- EfFoRT: Effective Focused Retrieval Techniques, NWO, 2006-2010. Details
- MultiMATCH Multilingual/Multimedia Access To Cultural Heritage. An EU STREP, FP6-2005-IST-5, 2006-2009. Details
- Cornetto Combinatorial and Relational Network as Toolkit for Dutch Language Technology. A project funded within the STEVIN program, 2006-2007.
- MuNCH : Multimedia aNalysis for Cultural Heritage. A project funded by NWO's Catch program, 2005-2009.
- MuSeUM : Multiple-collection Searching Using Metadata. A project funded by NWO's Catch program, 2005-2009. Details
- A Model Checking Approach to Query Evaluation on XML Documents. Funded by NWO, 2004-2008. Details
- FactMine: Fact and Ontology Mining for Question Answering. Funded by NWO, 2004-2007. Details
- AID: Adaptive Information Disclosure. Funded by the Dutch Government, 2004-2008. Details
- ITEQA: Inference for Temporal Question Answering. Funded by NWO, 2004-2007. Details
- E-Learning: Access to the ESSLLI Teaching Materials. Funded by the EU/CologNET, 2003-2004.
- HyMoC: Model Checking Algorithms and Tools for Hybrid Logics. Funded by NWO, 2002-2005 Details
- CKBC: Complex Knowledge base Classification. Funded by NWO 2002-2005 Details
- Computing with Meaning. Funded by NWO and the University of Amsterdam, 2001-2006. Details
- STeFI: Simulation and Testing in Feature Interaction. Funded by NWO, 2000-2004. Details
- Computing with Modal Logics. Funded by NWO, 2000-2002.
- LoLaLi, Logic and Language Links. Funded by Elsevier Science Publishers, 1999-2004. Details
Past Projects and Grants
- Derive: Underspecified Deduction for Information Extraction and Retrieval. Funded by NWO, 1999-2003. Details
- Computational Logic. Funded by the Spinoza project `Logic in Action,' 1998-2001. Details In 2001 the project merged with the Applied Logic Lab to form the Language and Inference Technology group
- Feature Interaction. Funded by KPN Research and the Computational Logic group.
- Software Grant. NWO, 2000.
- Expressiveness and Efficiency in Semistructured Data. Funded by the British Council and NWO, 1999--2000.
- Practical Information Change. Funded by the British Council and NWO, 1997-1998.
- Expressiveness of Restricted Description Languages. Funded by the Research and Teaching Innovation Fund, 1996--1997.
- Semantic Parallels. Funded by the Netherlands Organization for Scientific Research (NWO), 1991-1995.
- Extended Modal Logics. Funded by the Netherlands Organisation for Scientific Research (NWO), 1990-1993.