Uni-Logo

Publications

Complete list of publications

Recent publications (last 12 months):

(Show all abstracts) (Hide all abstracts)

  • Andreas Hertle and Bernhard Nebel.
    Efficient Auction Based Coordination for Distributed Multi-Agent Planning in Temporal Domains Using Resource Abstraction.
    In Proceedings of the 41st German Conference on Artificial Intelligence (KI 2018). 2018.
    (Show abstract) (PDF) (BIB)

  • Laura Wächter and Felix Lindner.
    An Explorative Comparison of Blame Attributions to Companion Robots Across Various Moral Dilemmas.
    In Proceedings of The 6th International Conference on Human-Agent Interaction (HAI 2018). 2018.

  • Barbara Kuhnert, Felix Lindner, Martin Mose Bentzen and Marco Ragni.
    Causal Structure of Moral Dilemmas Predicts Perceived Difficulty of Making a Decision.
    In Proceedings of the KogWis 2018 (Extended Abstract). 2018.

  • Martin Mose Bentzen, Felix Lindner, Louise Dennis and Michael Fisher.
    Moral Permissibility of Actions in Smart Home Systems.
    In Proceedings of the FLoC 2018 Workshop on Robots, Morality, and Trust through the Verification Lens (Extended Abstract). 2018.

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel and Michael Thielscher.
    Game Description Language and Dynamic Epistemic Logic Compared.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2018), pp. 1795-1802. 2018.
    (Show abstract) (PDF)

  • Hanna Stellmach and Felix Lindner.
    Perception of an Uncertain Ethical Reasoning Robot: A Pilot Study.
    In Proceedings of Mensch und Computer 2018. 2018.
    (Show abstract)

  • David Speck, Florian Geißer and Robert Mattmüller.
    Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams.
    In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). 2018.
    (Show abstract) (PDF) (technical report with proofs; PDF)

  • Max Waters, Bernhard Nebel, Lin Padgham and Sebastian Sardiña.
    Plan Relaxation via Action Debinding and Deordering.
    In Proceedings of International Conference on Automated Planning and Scheduling (ICAPS 2018), pp. 278-287. 2018.
    (Show abstract) (PDF)

  • Felix Lindner and Martin Mose Bentzen.
    A Formalization of Kant's Second Formulation of the Categorical Imperative.
    In Proceedings of the 14th International Conference on Deontic Logic and Normative Systems (DEON). 2018.
    (Show abstract)

  • Felix Lindner, Robert Mattmüller and Bernhard Nebel.
    Moral Permissibility of Action Plans.
    In Proceedings of the ICAPS Workshop on EXplainable AI Planning (XAIP). 2018.
    (Show abstract) (PDF)

  • Benedict Wright, Oliver Brunner and Bernhard Nebel.
    On the Importance of a Research Data Archive.
    In Proceedings of the eighth Symposium on Educational Advances in Artificial Intelligence (EAAI 2018). 2018.
    (Show abstract) (PDF)

  • Robert Mattmüller, Florian Geißer, Benedict Wright and Bernhard Nebel.
    On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
    In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018). 2018.
    (Show abstract) (PDF)

  • Glenda Hannibal and Felix Lindner.
    Transdisciplinary Reflections on Social Robotics in Academia and Beyond.
    In Proceedings of Robo-Philosophy 2018. 2018.

  • Johannes Aldinger and Bernhard Nebel.
    Interval Based Relaxation Heuristics for Numeric Planning with Action Costs.
    In KI 2017:Advances in Artificial Intelligence (KI 2017), pp. 15-28. Springer International Publishing 2017.
    (Show abstract) (PDF)

  • Benedict Wright and Robert Mattmüller.
    Automated Data Management Workflow Generation with Ontologies and Planning.
    In Proceedings of the 30th Workshop on Planen/Scheduling und Konfigurieren/Entwerfen (PUK 2016). 2016.
    (PDF)

  • Andreas Hertle and Bernhard Nebel.
    Identifying Good Poses When Doing Your Household Chores: Creation and Exploitation of Inverse Surface Reachability Maps.
    In Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017). 2017.
    (Show abstract) (PDF)