Publikationen

Polynomial formal verification parameterized by cutwidth properties of a circuit using Boolean satisfiability

In: Microprocessors and Microsystems (MICPRO), Vol. 118, Elsevier, 2025.

Yasser Hamidullah; Shakib Yazdani; Cennet Oguz; Cristina España Bonnet; Josef van Genabith

SONAR-SLT: Multilingual Sign Language Translation via Language-Agnostic Sentence Embedding Supervision

In: Proceedings of the Tenth Conference on Machine Translation. Conference on Machine Translation (WMT-2025), November 8-9, Suzhou, China, Association for Computational Linguistics, 2025.

Gerhard Sonnenberg; Peter Stein; Fabio Espinosa; Daniel Porta

Queryable AAS Graphs for AI Agents: An Event-Driven Knowledge Graph Integration for AAS Environments

In: IEEE International Conference on Emerging Technologies and Factory Automation. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2025), IEEE, 2025.

Anna Kravets; Ye Eun Bae; Philipp Flügger; Stephanie C. Fendrich; Michael Goichmann; Annegret Janzso; Jan Ole Berndt; Ingo Timm

Green choices in rural settings: analyzing community adoption of eco-friendly shopping alternatives through agent-based modeling

In: Frontiers in Social Psychology (Front. Soc. Psychol.), Vol. 3, No. 1536958, Pages 1-17, Frontiers Media S.A. Lausanne, Switzerland, 2025.

Sriraam Natarajan; Saurabh Mathur; Sahil Sidheekh; Wolfgang Stammer; Kristian Kersting

Human-in-the-loop or AI-in-the-loop? Automate or Collaborate?

In: Toby Walsh; Julie Shah; Zico Kolter (Hrsg.). AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA. AAAI Conference on Artificial Intelligence (AAAI), Pages 28594-28600, AAAI Press, 2025.

Felix Divo; Eric Endress; Kevin Endler; Kristian Kersting; Devendra Singh Dhami

Forecasting Company Fundamentals

In: Transactions on Machine Learning Research (TMLR), Vol. 2025, Pages 1-26, Journal of Machine Learning Research, 2025.

Hossam Khalil; Omar Fahmi Jubran; Laís Muntini; Achim Wagner; Thomas Lachmann

Comparing AR Interaction Techniques and User Interfaces for Worker Guidance Systems for Industrial Applications

In: Proceedings of the 36th Annual Conference of the European Association of Cognitive Ergonomics. European Conference on Cognitive Ergonomics (ECCE-2025), New York, NY, USA, ECCE '25, ISBN 9798400720338, Association for Computing Machinery, 10/2025.

Florian Peter Busch; Moritz Willig; Matej Zecevic; Kristian Kersting; Devendra Singh Dhami

Structural Causal Circuits: Probabilistic Circuits Climbing All Rungs of Pearl's Ladder of Causation

In: Transactions on Machine Learning Research (TMLR), Vol. 2025, Pages 1-32, Elsevier, 2025.

Viktor Pfanschilling; Hikaru Shindo; Devendra Singh Dhami; Kristian Kersting

NeST: The neuro-symbolic transpiler

In: International Journal of Approximate Reasoning (IJAR), Vol. 179, Pages 1-22, Sciencedirect.com, 2025.

Abdullah Farrukh; Achim Wagner; Martin Ruskowski

Enabling Generic Robot Skill Implementation Using Object Oriented Programming

In: Kosta Jovanovic; Aleksandar Rodic; Mirko Rakovic (Hrsg.). Advances in Service and Industrial Robotics. International Conference on Robotics in Alpe-Adria-Danube Region (RAAD-2025), Cham, Pages 422-430, ISBN 978-3-032-02106-9, Springer Nature Switzerland, 9/2025.