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.