Computational Logic

General

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

• Maarten de Rijke (project leader)
• Marco Aiello
• Carlos Areces
• Krzysztof Apt
• Alexander Bergo
• Catarina Carraciolo
• Massimo Franceschet
• Rosella Gennari
• Juan Heguiabehere
• Lex Hendriks
• Gertjan van der Hoeven
• Gwen Kerdiles
• Christof Monz
• Breanndán Ó Nualláin
• Jon Ragetli
• Maarten Stol.

Further Information

• Computational Logic Project Home Page (now the Language and Inference Technology homepage)
• 1999 Project Report