Frank van Harmelen

This biography of a living person relies too much on references to primary sources. Please help by adding secondary or tertiary sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately, especially if potentially libelous or harmful. Find sources: "Frank van Harmelen" – news · newspapers · books · scholar · JSTOR (September 2013) (Learn how and when to remove this message)

Frank van Harmelen (born 1960) is a Dutch

After studying mathematics and computer science in Amsterdam, Van Harmelen moved to the Department of AI of the University of Edinburgh, where he was awarded a PhD in 1989 for his research on meta-level reasoning. While in Edinburgh, he "co-developed a logic-based toolkit for expert systems, and worked with Alan Bundy on proof planning for inductive theorem proving".^[2][4]

After his PhD research, he moved back to

Van Harmelen was elected a member of the Royal Netherlands Academy of Arts and Sciences in 2017.^[7][8]

In 2019, Van Harmelen received a Zwaartekracht grant from the Dutch Ministry of Education, Culture and Science for The Hybrid Intelligence Center^[9]

Work

Van Harmelen's research interests include

Van Harmelen has published several books and over 100 research papers,[6] Books:

• 1989. Logic-Based Knowledge Representation. With P. Jackson and H. Reichgelt. The MIT Press, Cambridge, MA, 1989.
  ISBN 0-262-10038-X
  .
• 1991. Meta-level Inference Systems F. van Harmelen. Research Notes in AI. Pitmann, Morgan Kaufmann, London, San Mateo, California, 1991.
  ISBN 1-55860-196-1
• 2003. Towards the semantic web: ontology-driven knowledge management With John Davies and Dieter Fensel (eds.) John Wiley & Sons, 2002,
  ISBN 0-470-84867-7
• 2004. A Semantic Web Primer (Cooperative Information Systems). With Grigoris Antoniou. MIT Press.
  ISBN 0-262-01210-3
• 2004. Information Sharing on the Semantic Web. With Heiner Stuckenschmidt. Springer.
  ISBN 3-540-20594-2
• 2008. Handbook of Knowledge Representation. With V. Lifschitz and B. Porter, Elsevier, 2008.
  ISBN 978-0-444-52211-5
  .

• Vink, J.; Koppens, P. C. J. M.; Van Harmelen, F. A.; Van Voorthuijsen, W. E. (1981). "Flexible data handling for routine quantitative analyses employing a gas chromatograph-mass spectrometer under computer control". Journal of Automatic Chemistry. 3 (2): 85–88.
  PMID 18927785
  .
• Renardel De Lavalette, G. R.; Groenboom, R.; Rotterdam, E.; Van Harmelen, F.; Ten Teije, A.; De Geus, F. (1997). "Formalisation for decision support in anaesthesiology". Artificial Intelligence in Medicine. 11 (3): 189–214.
  PMID 9413606
  .
• Vollebregt, A.; Ten Teije, A.; Van Harmelen, F.; Van Der Lei, J.; Mosseveld, M. (1999). "A study of PROforma, a development methodology for clinical procedures". Artificial Intelligence in Medicine. 17 (2): 195–221.
  PMID 10518051
  .
• Korotkiy, M.; Middelburg, R.; Dekker, H.; Van Harmelen, F.; Lankelma, J. (2004). "A tool for gene expression based PubMed search through combining data sources" (PDF). Bioinformatics. 20 (12): 1980–1982.
  PMID 15044238
  .
• Balser, M.; Coltell, O.; Van Croonenborg, J.; Duelli, C.; Van Harmelen, F.; Jovell, A.; Lucas, P.; Marcos, M.;
  PMID 15537209
  .
• Ten Teije, A.; Marcos, M.; Balser, M.; Van Croonenborg, J.; Duelli, C.; Van Harmelen, F.; Lucas, P.;
  S2CID 1938327
  .
• Serban, R.; Ten Teije, A.; Van Harmelen, F.; Marcos, M.; Polo-Conde, C. (2007). "Extraction and use of linguistic patterns for modelling medical guidelines". Artificial Intelligence in Medicine. 39 (2): 137–149.
  PMID 16963241
  .
• Groot, P.; Hommersom, A.; Lucas, P. J. F.; Merk, R. J.; Ten Teije, A.; Van Harmelen, F.; Serban, R. (2009). "Using model checking for critiquing based on clinical guidelines". Artificial Intelligence in Medicine. 46 (1): 19–36.
  PMID 18824335
  .