Uni-Logo

Publikationen

Vollständige Liste der Publikationen

Aktuelle Veröffentlichungen (letzte 12 Monate):

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

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

  • Andreas Hertle und 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.
    (Abstract einblenden) (PDF) (BIB)

  • Laura Wächter und 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 und 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 und 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 und Michael Thielscher.
    Game Description Language and Dynamic Epistemic Logic Compared.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2018), S. 1795-1802. 2018.
    (Abstract einblenden) (PDF)

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

  • David Speck, Florian Geißer und 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.
    (Abstract einblenden) (PDF) (technical report with proofs; PDF)

  • Benedict Wright, Robert Mattmüller und Bernhard Nebel.
    Compiling Away Soft Trajectory Constraints in Planning.
    In Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS18), S. 38-45. 2018.
    (Abstract einblenden) (PDF)

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

  • Felix Lindner und 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.
    (Abstract einblenden)

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

  • Benedict Wright, Oliver Brunner und 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.
    (Abstract einblenden) (PDF)

  • Robert Mattmüller, Florian Geißer, Benedict Wright und 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.
    (Abstract einblenden) (PDF)

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