Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2022
Remove all filters
Displaying results 11 to 20 of 801.

  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. Florian Peter Busch; Matej Zecevic; Kristian Kersting; Devendra Singh Dhami

    Attributions Beyond Neural Networks: The Linear Program Case

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

  5. Salahedine Youssef; Matej Zecevic; Devendra Singh Dhami; Kristian Kersting

    Towards a Solution to Bongard Problems: A Causal Approach

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

  6. Jonas Seng; Matej Zecevic; Devendra Singh Dhami; Kristian Kersting

    Tearing Apart NOTEARS: Controlling the Graph Prediction via Variance Manipulation

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

  7. David Steinmann; Matej Zecevic; Devendra Singh Dhami; Kristian Kersting

    Machines Explaining Linear Programs

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

  8. Xiaoting Shao; Kristian Kersting

    Gradient-based Counterfactual Explanations using Tractable Probabilistic Models

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

  9. Matej Zecevic; Florian Peter Busch; Devendra Singh Dhami; Kristian Kersting

    Finding Structure and Causality in Linear Programs

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

  10. 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.

Year