| Expertise |
Intelligent systems; Intelligent agents; Common-sense reasoning; Applied logic; Philosophical logic; Knowledge representation; Artificial intelligence; Program/system verification/specification; Semantics of programming languages |
| Expertise (NL) |
Common-sense reasoning; Toegepaste logica; Filosofische logica; Kennisrepresentatie; Kunstmatige intelligentie; Logica voor informatiesystemen; Intelligente systemen/'agents'; Programmaverificatie en systeemspecificatie; Semantiek van programmeertalen |
| Digital Author ID |
info:eu-repo/dai/nl/07139656X |
| Addition |
Wetenschappelijk directeur onderzoekschool SIKS (School voor Informatie- en KennisSystemen); Werkleider "Intelligent Systems Group" bij het Instituut voor Informatica en Informatiekunde; Voorzitter bestuur Vereniging voor Logica (VvL) |
