1 paper
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…