Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
EN

Dynamische Epistemische Logica (DEL) kan complexe informatiescenario’s modelleren op een intuïtieve manier. Bestaande implementaties zijn echter gebaseerd op expliciete representaties die alleen voor kleine modellen werken. Daarom is niet bekend hoe bruikbaar DEL is voor grotere modellen en echte problemen. Malvin Gattinger kijkt of DEL een in de praktijk bruikbare logica is en hoe het efficiënt geïmplementeerd kan worden.

Detail Summary
Datum 13 juni 2018
Tijd 11:00

Dhr. B.R.M. Gattinger: New Directions in Model Checking: Dynamic Epistemic Logic. Promotor is prof. dr. D.J.N. van Eijck. Copromotoren zijn dr. A. Baltag en prof. dr. K. Su (Griffith University).

Deelname

Toegang vrij

Aula - Oude Lutherse kerk
Aula - Oude Lutherse kerk

Singel 411
1012 XM Amsterdam

Download de samenvatting (PDF)