Content: Publications

Publications 2015

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Answer Set Programming Modulo Acyclicity

Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'15) (2015)

Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub

Integrating ASP into ROS for Reasoning in Robots

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Gerd Brewka, James Delgrande, Javier Romero, Torsten Schaub

Implementing Preferences with asprin

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Tomi Janhunen, Torsten Schaub, Shahab Tasharrofi

Writing Declarative Specifications for Clauses

Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15) (2015)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub

Progress in clasp Series 3

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Answer Set Programming modulo Acyclicity

the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran

Shift Design with Answer Set Programming

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub

ASP Solving for Expanding Universes

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub

Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics

Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Roland Kaminski, Torsten Schaub

Grounding Recursive Aggregates: Preliminary Report

Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15) (2015)

Carito Guziolowski, Loïc Paulevé, Max Ostrowski, Torsten Schaub, Anne Siegel

Boolean Network Identification from Multiplex Time Series Data"

Thirteenth International Conference on Computational Methods in Systems Biology (CMSB'15) (2015)

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

Controlling Logistics Robots with the Action-based Language YAGI

IEEE/RSJ International Conference on Intelligent Robots and Systems 2015 (IROS) - Workshop on Task Planning for Intelligent Robots in Service and Manufacturing (2015)

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

The RoboCup Logistics League as a Holistic Multi-Robot Smart Factory Benchmark

IEEE/RSJ International Conference on Intelligent Robots and Systems 2015 (IROS) - Open forum on evaluation of results, replication of experiments and benchmarking in robotics research (2015)

Martin Gebser, Philipp Obermeier, Torsten Schaub

Interactive Answer Set Programming: Preliminary Report

International Workshop on User-Oriented Logic Programming (IULP'15) (2015)

Sarah Opolka, Philipp Obermeier, Torsten Schaub

Automatic Genre-Dependent Composition using Answer Set Programming

Twenty-first International Symposium on Electronic Art (ISEA'15) (2015)

Benjamin Zarrieß, Jens Claßen

Verification of Knowledge-Based Programs over Description Logic Actions

Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 (2015)

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

Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions

RoboCup Symposium (2015)

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

The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015

RoboCup Symposium - Champion Teams Track (2015)

Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus

Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI) (2015)

Tim Niemueller, Sebastian Reuter, Alexander Ferrein

Fawkes for the RoboCup Logistics League

RoboCup Symposium 2015 - Development Track (2015)

Tim Niemueller, Gerhard Lakemeyer, Alexander Ferrein

The RoboCup Logistics League as a Benchmark for Planning in Robotics

Workshop on Planning and Robotics (PlanRob) at International Conference on Automated Planning and Scheduling (ICAPS) (2015)

Nichola Abdo, Cyrill Stachniss, Luciano Spinello, Wolfram Burgard

Robot, Organize my Shelves! Tidying up Objects by Predicting User Preferences

International Conference on Robotics and Automation (ICRA) (2015) (2015)

Alina Petrova, Yue Ma, George Tsatsaronis , Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder

Formalizing biomedical concepts from textual definitions

Article in Journal, in J. Biomedical Semantics, pp. 22 (2015)

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

The RoboCup Logistics League as a Benchmark for Future Production Scenarios

European Robotics Forum 2015 - Workshop on Cognitive Robotics in future manufacturing scenarios (2015)

Gerd Brewka, James Delgrande, Javier Romero, Torsten Schaub

asprin: Customizing Answer Set Preferences without a Headache"

Twenty-Ninth National Conference on Artificial Intelligence (AAAI'15) (2015)

Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub

Ricochet Robots Reloaded: A Case-study in Multi-shot ASP Solving

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday (2015)

Christoph Schwering, Gerhard Lakemeyer

Projection in the Epistemic Situation Calculus with Belief Conditionals

Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI) (2015)