98 citations · 385 across the 33 of their papers we have counts for
1 paper · 2 filters
Luís Cruz-Filipe, Jonas Vistrup
We present FÆRDXEL, a tool for symbolic reasoning in the domain of Danish traffic law. FÆRDXEL combines techniques from logic programming with a novel interface that allows users t…