8 papers · 1 filter
Reactive Knowledge Representation and Asynchronous Reasoning
Simon Kohaut, Benedict Flade, Julian Eggert +2
Exact inference in complex probabilistic models often incurs prohibitive computational costs. This challenge is particularly acute for autonomous agents in dynamic environments tha…
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…
Causal Explanations Over Time: Articulated Reasoning for Interactive Environments
Sebastian Rödling, Matej ZeÄeviÄ, Devendra Singh Dhami +1
Structural Causal Explanations (SCEs) can be used to automatically generate explanations in natural language to questions about given data that are grounded in a (possibly learned)…
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…
V-LoL: A Diagnostic Dataset for Visual Logical Learning
Lukas Helff, Wolfgang Stammer, Hikaru Shindo +2
Despite the successes of recent developments in visual AI, different shortcomings still exist; from missing exact logical reasoning, to abstract generalization abilities, to unders…
Representation Matters for Mastering Chess: Improved Feature Representation in AlphaZero Outperforms Switching to Transformers
Johannes Czech, Jannis Blüml, Kristian Kersting +1
While transformers have gained recognition as a versatile tool for artificial intelligence (AI), an unexplored challenge arises in the context of chess - a classical AI benchmark.…