Please note that this newsitem has been archived, and may contain outdated information or links.
2 December 2002, PhD defense, Rosella Gennari
Candidate: Rosella Gennari
Title: Mapping Inferences
Date: Monday 2 December 2002
Time: 11:00
Location: Doelenzaal (the small room), Oude Lutherse Kerk, Singel 411,
Amsterdam
Amsterdam
Promotor: K.R. Apt
Copromotor: M. de Rijke
Keywords: efficient automated reasoning, CSPs, constraint propagation, modal logics, modal satisfiability.
For more information, see http://www.cwi.nl/~gennari/thesis
Please note that this newsitem has been archived, and may contain outdated information or links.