Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 49.
  1. Andrea Micheli; Alexandre Arnold; Arthur Bit-Monnot; Luigi Bonassi; Luca Framba; Alfonso Emilio Gerevini; Selvakumar Hastham Sathiya Satchi; Malte Helmert; Felix Ingrand; Luca Iocchi; Uwe Köckemann; Oscar Lima; Fabio Patrizi; Federico Pecora; Guillaume Poveda; Gabriele Röger; Alessandro Saetti; Alessandro Saffiotti; Enrico Scala; Ivan Serina; Sebastian Stock; Florent Teichteil-Koenigsbuch; Alessandro Trapasso; Paolo Traverso; Alessandro Valentini

    Unified Planning: A Python Library Making Planning Technology Accessible

    In: Sylvie Thiébaux; William Yeoh; Akshat Kumar; Pradeep Varakantham (Hrsg.). Proceedings of the 32nd International Conference on Automated Planning and Scheduling, System Demonstration. International Conference on Automated Planning and Scheduling (ICAPS-2022), System Demonstration, located at ICAPS, June 13-24, virtual, Singapore, AAAI Press, Palo Alto, California, USA, 2022.

  2. Advancing Proxy-Based Haptic Feedback in Virtual Reality

    PhD-Thesis, Universität des Saarlandes, 2022.

  3. Comparing Unsupervised Algorithms to Construct Argument Graphs

    In: Joint Proceedings of Workshops, Tutorials and Doctoral Consortium. German Conference on Artificial Intelligence (KI-2022), located at 45th German Conference on Artificial Intelligence, Virtual Event, Trier, Germany, CEUR Workshop Proceedings, Vol. 3457, CEUR, 2022.

  4. User-Centric Argument Mining with ArgueMapper and Arguebuf

    In: Computational Models of Argument. International Conference on Computational Models of Argument (COMMA-2022), September 14-16, Cardiff, United Kingdom, Pages 367-368, Frontiers in Artificial Intelligence and Applications, Vol. 353, IOS Press, 2022.

  5. 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, Pages 211-226, ISBN 978-3-031-21541-4, Springer International Publishing, 2022.

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

  7. Muhammad Ahmed Ullah Khan; Danish Nazir; Alain Pagani; Hamam Mokayed; Marcus Liwicki; Didier Stricker; Muhammad Zeshan Afzal

    A Comprehensive Survey of Depth Completion Approaches

    In: Sensors - Open Access Journal (Sensors), Vol. 22, No. 18, Pages 1-18, MDPI, 9/2022.

  8. Eduard Anton; Thuy Duong Oesterreich; Julian Schuir; Frank Teuteberg

    A New Way to Reflect the IS Identity? Uncovering the Intellectual Core of Podcasts

    In: Forty-Third International Conference on Information Systems (ICIS 2022). International Conference on Information Systems (ICIS), Copenhagen, Denmark, Association for Information Systems, 2022.