Prof.dr. J.-J.Ch. Meyer

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
ISNI ISNI 0000 0001 1652 1183
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)

Active as

Organisation Department of Information and Computing Sciences (UU)
Chair (EN) Information science, in particular intelligent systems
Chair (NL) Informatica, in het bijzonder intelligente systemen
Phone +31-30-2534117
Email J. J. C. Meyer -at- uu. nl
Organisation Alan Turing Institute Almere (ATIA)
Email jj. meyer -at- ati-a. nl


Enhanced publications

Current research

(the most recent research is at the top)
Project leader Intelligent Systems
Researcher Agents Interacting in Dialogues with Argumentation
Project leader Agent technology

Completed research projects


Go to page top
Go back to contents
Go back to site navigation