Harmelen is a senior lecturer in the AI Department at Vrije Universiteit in Amsterdam. His research interests include specification languages for knowledge-based systems, using languages for validation and verification of KBS, developing gradual notions o (0)

by Frank van
Venue:Contact her at the Knowledge Systems Laboratory