4 papers
Interventional Causal Circuits for Safe Robot Action Testing and Failure Recovery
Naren Vasantakumaar, Tom Schierenbeck, Michael Beetz
Safe physical AI for robot actions are required not only likely to succeed but tested to be safe before execution. In practice, however, formal testing of motion parameters is comp…
Implementing Knowledge Representation and Reasoning with Object Oriented Design
Abdelrhman Bassiouny, Tom Schierenbeck, Sorin Arion +4
This paper introduces KRROOD, a framework designed to bridge the integration gap between modern software engineering and Knowledge Representation & Reasoning (KR&R) systems. While…
Integrating Transformations in Probabilistic Circuits
Tom Schierenbeck, Vladimir Vutov, Thorsten Dickhaus +1
This study addresses the predictive limitation of probabilistic circuits and introduces transformations as a remedy to overcome it. We demonstrate this limitation in robotic scenar…
Joint Probability Trees
Daniel Nyga, Mareike Picklum, Tom Schierenbeck +1
We introduce Joint Probability Trees (JPT), a novel approach that makes learning of and reasoning about joint probability distributions tractable for practical applications. JPTs s…