Spinoza '96

[an error occurred while processing this directive]

   The NWO Spinoza Awards
   Former Award Winners
   Spinoza Committee Report
   Acceptance Speech
   About Spinoza (ext.)
   van Benthem on Spinoza
   Johan van Benthem (ext.)

About Logic in Action

[an error occurred while processing this directive]

   ...in Action
   Logic in Action Themes


[an error occurred while processing this directive]

   Logic in Communication
   Dissemination of Logic
   Computational Logic

Contact Information

[an error occurred while processing this directive]

   Our People
   About this site

Logic Actions in..

[an error occurred while processing this directive]

   the Netherlands
   The World

Computational Logic


C.L. group photo
The Computational Logic Group (1999); at the back: Jon Ragetli; in the middle: Marco Aiello, Alexander Bergo; in the front: Christof Monz, Carlos Areces. Not on picture: Maarten de Rijke, Rosella Gennari, Gwen Kerdiles, Breanndán Ó Nualláin, Krzysztof Apt, Lex Hendriks.

The mission of the Computational Logic project is to put to work the abstract theories and logics developed at the Institute for Logic, Language and Computation. Building on traditional themes of the institute, such as modal logic and natural language semantics, the Computational Logic group is focused on content, and on representing, accessing, and manipulating content in textual and non-textual form. Our leading strategy is the development and deployment of dedicated `variable weight' methods: methods that allow us to represent content at appropriate levels of detail and analysis, with suitable algorithms to match these representations. Such specialized methods are then combined, in a modular way, to address more ambitious content-manipulation tasks. This strategy is a multi-faceted one, raising both foundational questions (to what extent is efficiency representation-independent?) and experimental challenges (what kind of representations turn a task such as subsumption checking into a do-able task?); the group's research activities cover both of these aspects partly in projects involving industrial partners.

People Involved

Further Information