Uni-Logo

Publications

Complete list of publications

Recent publications (last 12 months):

(Show all abstracts) (Hide all abstracts)

  • Benedict Wright, Robert Mattmüller and Bernhard Nebel.
    Compiling Away Soft Trajectory Constraints in Planning.
    In Proceedings of the Sixteenth COnference on Principles of Knowledge Representation and Reasoning (KR18), pp. 474-482. 2018.
    (Show abstract) (PDF)

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

  • Tim Schulte.
    Stubborn Sets Pruning for Privacy Preserving Planning.
    In Proceedings of the Eleventh Annual Symposium on Combinatorial Search (SoCS 2018) (SoCS 2018). 2018.
    (Show abstract) (PDF)

  • 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)

  • Tim Schulte.
    Stubborn Sets Pruning for Privacy Preserving Planning.
    In Proceedings of the 5th Workshop on Distributed and Multi-Agent Planning (DMAP 2018) (DMAP 2018). 2018.
    (Show abstract) (PDF)

  • Benedict Wright, Robert Mattmüller and Bernhard Nebel.
    Compiling Away Soft Trajectory Constraints in Planning.
    In Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS18), pp. 38-45. 2018.
    (Show abstract) (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)

  • Florian Geißer and David Speck.
    PROST-DD - Utilizing Symbolic Classical Planning in THTS.
    In The 6th International Probabilistic Planning Competition (IPPC 2018). 2018.
    (Show abstract) (PDF)

  • David Speck, Florian Geißer and Robert Mattmüller.
    SYMPLE: Symbolic Planning based on EVMDDs.
    In The 9th International Planning Competition (IPC 2018), pp. 82-85. 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.