Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2022
Alle Filter entfernen
Zeige Ergebnisse 11 bis 20 von 802

  1. Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

    In the Head of the Beholder: Comparing Different Proof Representations

    In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, …

  2. Björn Deiseroth; Patrick Schramowski; Hikaru Shindo; Devendra Singh Dhami; Kristian Kersting

    LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

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

  3. Thomas Stauner; Frédérik Blank; David Michael Fürst; Johannes Günther; Korbinian Hagn; Philipp Heidenreich; Markus Huber; Bastian Knerr; Thomas Schulik; Karl-Ferdinand Leiß

    SynPeDS: A Synthetic Dataset for Pedestrian Detection in Urban Traffic Scenes

    In: Proceedings of the 6th ACM Computer Science in Cars Symposium. ACM Computer Science in Cars Symposium (CSCS-2022), ACM, 12/2022.

  4. Katharina Hämmerl; Björn Deiseroth; Patrick Schramowski; Jindrich Libovický; Alexander Fraser; Kristian Kersting

    Do Multilingual Language Models Capture Differing Moral Norms?

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

  5. Felix Friedrich; Wolfgang Stammer; Patrick Schramowski; Kristian Kersting

    A Typology to Explore and Guide Explanatory Interactive Machine Learning

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

  6. Xiaoting Shao; Karl Stelzner; Kristian Kersting

    Right for the Right Latent Factors: Debiasing Generative Models via Disentanglement

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

  7. Zhongjie Yu; Fabrizio Ventola; Nils Thoma; Devendra Singh Dhami; Martin Mundt; Kristian Kersting

    Predictive Whittle networks for time series

    In: James Cussens; Kun Zhang (Hrsg.). Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence. Conference in Uncertainty …

  8. Arseny Skryagin; Wolfgang Stammer; Daniel Ochs; Devendra Singh Dhami; Kristian Kersting

    Neural-Probabilistic Answer Set Programming

    In: Gabriele Kern-Isberner; Gerhard Lakemeyer; Thomas Meyer (Hrsg.). Proceedings of the 19th International Conference on Principles of Knowledge …

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

    Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming

    In: Gabriele Kern-Isberner; Gerhard Lakemeyer; Thomas Meyer (Hrsg.). Proceedings of the 19th International Conference on Principles of Knowledge …

  10. Xuan Xie; Kristian Kersting; Daniel Neider

    Neuro-Symbolic Verification of Deep Neural Networks

    In: Luc De Raedt (Hrsg.). Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. International Joint Conference on …

Jahr