Skip to main content Skip to main navigation

Publications

Displaying results 1911 to 1920 of 6314.

  1. Zhongqian Zhao; Mehmed Yüksel; Kunal Kulkarni; Raúl Domínguez; Svenja Falker; Tim Gumbold; Andreas Bresser; Amrita Suresh; Paul Zabel; Mateo Rejón; Siebo Reershemius; Manuel Meder

    Beneficiation of REgolith and Mobile ExcavatioN (Team BREMEN)

    In: ASTRA 2025 Proceedings. ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA-2025), 18th Symposium on Advanced Space Technologies in Robotics and Automation, located at ASTRA 2025, October 7-9, Scheltema, Leiden, Netherlands, ESA, 2025.

  2. David Rother; Franziska Herbert; Fabian Kalter; Dorothea Koert; Joni Pajarinen; Jan Peters; Thomas H. Weisswange

    Entropy based blending of policies for multi-agent coexistence

    In: International Journal on Autonomous Agents and Multi-Agent Systems (JAAMAS), Vol. 39, No. 1, Pages 1-28, Springer, 5/2025.

  3. Timo Eckmann; Matthias Urban; Jan-Micha Bodensohn; Carsten Binnig

    HLR-SQL: Human-Like Reasoning for Text-to-SQL

    In: Novel Optimizations for Visionary AI Systems Workshop at SIGMOD 2025. Novel Optimizations for Visionary AI Systems Workshop (NOVAS-2025), located at SIGMOD 2025, June 22, Berlin, Germany, SIGMOD, 2025.

  4. Malte Luttermann; Jan Speller; Marcel Gehrke; Tanya Braun; Ralf Möller; Mattis Hartwig

    Approximate Lifted Model Construction

    In: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2025), August 16-22, Montreal, QC, Canada, Pages 9077-9085, Vol. 34, IJCAI Organization, 8/2025.

  5. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  6. Sophie Burkhardt; Jannis Brugger; Nicolas Wagner; Zahra Ahmadi; Kristian Kersting; Stefan Kramer

    Rule Extraction From Binary Neural Networks With Convolutional Rules for Model Validation

    In: Frontiers in Artificial Intelligence, Vol. 4, Pages 1-10, Frontiers, 2021.

  7. Plinio Moreno; Alexandre Bernardino; José Santos-Victor; Rodrigo M. M. Ventura; Kristian Kersting

    Editorial: Robots that Learn and Reason: Towards Learning Logic Rules from Noisy Data

    In: Frontiers in Robotics and AI, Vol. 8, Pages 0-10, Frontiers, 2021.

  8. Nandini Ramanan; Gautam Kunapuli; Tushar Khot; Bahare Fatemi; Seyed Mehran Kazemi; David Poole; Kristian Kersting; Sriraam Natarajan

    Structure learning for relational logistic regression: an ensemble approach

    In: Data Mining and Knowledge Discovery, Vol. 35, No. 5, Pages 2089-2111, Springer, 2021.

  9. Priyank Jaini; Kristian Kersting; Antonio Vergari; Max Welling

    Recent Advancements in Tractable Probabilistic Inference (Dagstuhl Seminar 22161)

    In: Dagstuhl Reports, Vol. 12, No. 4, Pages 13-25, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2022.

  10. Matej Zecevic; Moritz Willig; Devendra Singh Dhami; Kristian Kersting

    Pearl Causal Hierarchy on Image Data: Intricacies & Challenges

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2212.12570, Pages 0-10, arXiv, 2022.

Year

More options