Institutionele voorwaarden voor een brede, inclusieve rede

Proposal NWO Open Competition 2008 1 Project data

for Laymen (in Dutch) Dit project ontwikkelt een verificatiemethode voor gegevensbescherming, één van de voorwaarden voor het garanderen van de veiligheid van hedendaagse applicaties. De technische innovatie die ten grondslag ligt aan dit voorstel is het begrip zelf-compositie, d.w.z. de mogelijkheid om een programma met zichzelf samen te stellen. Dit geeft de mogelijkheid om veiligheid van een...

A constraint-centric approach for object-oriented conceptual modelling ; Een beperkingscentrale benadering voor objectgeoriënteerde conceptuele modellering

.................................................................................................................... iii Acknowledgments.................................................................................................... v

Dialogue management and the visual channel Projectaanvraag voor een postdoc ”Dialogue Management” NWO IMIX -2de call

Modelling for Optimisation of Biofilm Wastewater Treatment Processes: a Complexity Compromise Modelbouw Voor Optimalisatie Van Biofilm- Waterzuiveringsprocessen: Een Complexiteitscompromis

Henry Prakken: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law

Rechtslogica Op het gebied van de formele modellering van juridisch redeneren, kortweg de rechtslogica, is in het afgelopen decennium veel onderzoek verricht. Steeds meer wordt erkend dat logica meer te bieden heeft voor de analyse en evaluatie van juridisch redeneren dan alleen het juiste gebruik van de klassieke logische connectieven, zoals 'als ..., dan ...' en '... of ...'. In het bijzonder...