Topic Block Four: Tech Demos of DSLs: Part 2

We continue our demos with a medley of languages with different combinations of semantics, expressiveness, and generality. These languages have different notions of time, events, and inter-party obligations. We explore the semantic foundations of regulative rule logic and we explore the possibilities of controlled natural languages.

Demos by:

1. OpenFisca (France, Thomas Guillet)
2. LawScript (Pierre-Loic Doulcet)
3. Logical English (Jacinto Dávila)
4. Symboleo (Luigi Logrippo)

Chair: Harry Surden