Content: Publications

Publications 2016

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)

Christoph Schwering, Gerhard Lakemeyer

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

Twenty-Second European Conference on Artificial Intelligence (ECAI) (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)

Gesche Gierse, Tim Niemueller, Gerhard Lakemeyer

Interruptible Task Execution with Resumption in Golog

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

Christoph Schwering, Tim Niemueller, Gerhard Lakemeyer, Nichola Abdo, Wolfram Burgard

Sensor Fusion in the Epistemic Situation Calculus

Article in Journal, in Journal of Experimental & Theoretical Artificial Intelligence (JETAI) 5 (2016)

Tim Niemueller, Sebastian Zug, Sven Schneider, Ulrich Karras

Knowledge-Based Instrumentation and Control for Competitive Industry-Inspired Robotic Domains

Article in Journal, in KI - Künstliche Intelligenz 3, pp. 289-299 (2016)

Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub

An ASP Semantics for Default Reasoning with Constraints

Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)

Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran

ASP for Anytime Dynamic Programming on Tree Decompositions

Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)

Martin Gebser, Thomas Guyet, Rene Quiniou, Javier Romero, Torsten Schaub

Knowledge-based Sequence Mining with ASP

Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)

Nichola Abdo, Cyrill Stachniss, Luciano Spinello, Wolfram Burgard

Organizing Objects by Predicting User Preferences Through Collaborative Filtering

Article in Journal, in The International Journal of Robotics Research (IJRR) (2016)

Sebastian Zug, Tim Niemueller, Nico Hochgeschwender, Kai Seidensticker, Martin Seidel, Tim Friedrich, Tobias Neumann, Ulrich Karras, Gerhard Kraetzschmar, Alexander Ferrein

An Integration Challenge to Bridge the Gap among Industry-inspired RoboCup Leagues

RoboCup Symposium (2016)

Victor Matare, Tim Niemueller, Gerhard Lakemeyer

Robust Multi-Modal Detection of Industrial Signal Light Towers

RoboCup Symposium (2016)

Tim Niemueller, Tobias Neumann, Christoph Henke, Sebastian Schönitz, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer

International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League

RoboCup Symposium - Harting Award Paper (2016)

Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke

Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories

29th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2016) (2016)

Tim Niemueller, Tobias Neumann, Christoph Henke, Sebastian Schönitz, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer

Improvements for a Robust Production in the RoboCup Logistics League 2016

RoboCup Symposium - Champion Teams Track (2016)

Tim Niemueller, Erez Karpas, Tiago Vaquero, Eric Timmons

Planning Competition for Logistics Robots in Simulation

WS on Planning and Robotics (PlanRob) at Int. Conf. on Automated Planning and Scheduling (ICAPS) (2016)

Benjamin Zarrieß, Jens Claßen

Decidable Verification of Golog Programs over Non-Local Effect Actions

Thirtieth AAAI Conference on Artificial Intelligence (2016)

Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh

Solving Goal Recognition Design using ASP

Thirtieth National Conference on Artificial Intelligence (AAAI'16) (2016)

Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer

Continual Planning in Golog

Thirtieth AAAI Conference on Artificial Intelligence (AAAI) (2016)

Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel

Intralogistik als Anwendungsgebiet der Antwortmengenprogrammierung - Potenzialanalyse

Article in Journal, in Logistics Journal (2016)

Steffen Schieweck, Gabriele Kern-Isberner, Michael ten Hompel

Using Answer Set Programming in an Order-Picking System with Cellular Transport Vehicles

Proceedings of the IEEE International Conference on Engineering and Engineering Management (2016)