Content: Publications

Latest Publications

Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke

Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals

Proceedings of the 3rd Global Conference on Artificial Intelligence (GCAI) (2017)

Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, Christoph Beierle

First-Order Typed Model Counting for Probabilistic Connditional Reasoning at Maximum Entropy

Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM) (2017)

Marco Wilhelm, Christian Eichhorn, Richard Niland, Gabriele Kern-Isberner

A Semantics for Conditionals with Default Negation

Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) (2017)

Marco Wilhelm, Gabriele Kern-Isberner

Typed Model Counting and its Application to Probabilistic Conditional Reasoning at Maximum Entropy

Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference (FLAIRS) (2017)

Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel

Planung von Intralogistiksystemen mit Hilfe von Antwortmengenprogrammierung

Article in Journal, in Logistics Journal: Proceedings (2017)

Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel

Various Approaches to the Application of Answer Set Programming in Order-Picking Systems with Intelligent Vehicles

Proceedings of the 9th International Joint Conference on Computational Intelligence (IJCCI 2017) (2017)

Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel

Antwortmengenprogrammierung für autonome Fahrzeuge im innerbetrieblichen Verkehr

Mobilität und Digitale Transformation (2017)

Philipp Jund, Nichola Abdo, Andreas Eitel, Wolfram Burgard

The Freiburg Groceries Dataset

CoRR (2016)

Tim Niemueller, Frederik Zwilling, Gerhard Lakemeyer, Matthias Löbach, Sebastian Reuter, Sabina Jeschke, Alexander Ferrein

Cyber-Physical System Intelligence - Knowledge-Based Mobile Robot Autonomy in an Industrial Scenario

Industrial Internet of Things: Cybermanufacturing Systems (2016)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Philipp Wanko

Theory Solving Made Easy with Clingo 5

Thirty-second International Conference on Logic Programming (ICLP'16) (2016)

Tim Welschehold, Christian Dornhege, Wolfram Burgard

Learning Manipulation Actions from Human Demonstrations

International Conference on Intelligent Robots and Systems (IROS) (2016)

Tim Niemueller, Gerhard Lakemeyer, Sebastian Reuter, Sabina Jeschke, Alexander Ferrein

Benchmarking of Cyber-Physical Systems in Industrial Robotics - The RoboCup Logistics League as a CPS Benchmark Blueprint

Cyber-Physical Systems - Foundations, Principles, and Applications (2016)

Alexander Ferrein, Christopher Maier, Clemens Muehlbacher, Tim Niemueller, Gerald Steinbauer, Stavros Vassos

Controlling Logistics Robots with the Action-based Language YAGI

9th International Conference on Intelligent Robotics and Applications (ICIRA2016) (2016)

Christoph Schwering, Gerhard Lakemeyer

Decidable Reasoning in a First-Order Logic of Limited Conditional Belief

Twenty-Second European Conference on Artificial Intelligence (ECAI) (2016)

Gesche Gierse, Tim Niemueller, Gerhard Lakemeyer

Interruptible Task Execution with Resumption in Golog

Twenty-Second European Conference on Artificial Intelligence (ECAI) (2016)