KNAW

Terug naar zoekresultaat
Prof.dr. K.R. Apt Persoon

Prof.dr. K.R. Apt

Pagina-navigatie:


Wijzig persoonsdata


Expertise Grondslagen van de artificiële intelligentie
Expertise (EN) Foundation of artificial intelligence
Digital Author ID info:eu-repo/dai/nl/073181587

Werkzaam als

Programmaleider / Groepsleider
Organisatie Probability, Networks and Algorithms - PNA (NWO)
Telefoon +31-20-5924057
Email K. R. Apt -at- cwi. nl
URL http://www.cwi.nl/nl/node/381
Hoogleraar
Organisatie Institute for Logic, Language and Computation - ILLC (UvA)
Leeropdracht (NL) Logic and Computation
Leeropdracht (EN) Logic and Computation
Telefoon +31-20-5255358
Email k. r. apt -at- uva. nl
URL http://www.cwi.nl/~apt/

Publicaties

Tafeltennis
Common Knowledge in Email Exchanges
Selfishness Level of Strategic Games
Message Passing in a Dynamic Epistemic Logic Setting
Lectures in Game Theory for Computer Scientists
Alle publicaties

Lopende onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Projectleider Dijkstra's Impact on Design and Verification of Systems and Programs
Projectleider Algorithmic Game Theory

Afgesloten onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Projectleider GLoRiClass: Games in Logic Reaching Out for Classical Game Theory
Onderzoeker Componenten en component connectoren
Promotor Nieuwe procedures om combinatorische problemen op te lossen
Projectleider ALMA 0 en nieuwe grondslagen voor declaratief programmeren
Onderzoeker Computer-logica en toegepaste logica
Alle afgesloten onderzoeksactiviteiten..

Classificatie

D11000 Wiskunde
D16000 Informatica

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie