Skip to main content

Showing 1–1 of 1 results for author: Vistrup, J

Searching in archive cs. Search in all archives.
.
  1. arXiv:2410.03560  [pdf, other

    cs.AI

    færdXel: An Expert System for Danish Traffic Law

    Authors: Luís Cruz-Filipe, Jonas Vistrup

    Abstract: 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 to navigate through its reasoning process, thereby ensuring the system's trustworthiness. A preliminary empirical evaluation indicates that this work is seen as very promising, and has the potential to become a foundation… ▽ More

    Submitted 4 October, 2024; originally announced October 2024.