Links
- Communicatieprotocol-applets
- Op deze pagina zijn enige applets te vinden, die verschillende communicatieprotocollen visualiseren. Er is ook de mogelijkheid om de protocollen 'kapot' te maken, om te zien wat er dan misgaat.
- The Logics Workbench
- The Logics Workbench is een erg handige tool om logica mee te bedrijven. Er zijn speciale modules voor het gebruik van epistemische logica.
- BOK-project Groningen
- De Groningse homepage van het project Brede Onderwijsinnovatie Kennistechnologie (BOK).
- LOKweb
- Het Landelijk Onderwijsweb Kennistechnologie bevat een grote verzameling taken voor onderwijs in Kennistechnologie en Kunstmatige Intelligentie.
English version of the LOKweb assignments for this course.
- DEMO
- A dynamic epistemic logic modeling tool, written in Haskell.
|