Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems
Simon Kohaut, Benedict Flade, Daniel Ochs +3
Advanced Air Mobility (AAM) is a growing field that demands accurate and trustworthy models of legal concepts and restrictions for navigating Unmanned Aircraft Systems (UAS). In ad…
cs.AI2024
Answer Set Networks: Casting Answer Set Programming into Deep Learning
Arseny Skryagin, Daniel Ochs, Phillip Deibert +3
Although Answer Set Programming (ASP) allows constraining neural-symbolic (NeSy) systems, its employment is hindered by the prohibitive costs of computing stable models and the CPU…