Content: Publications

Publications 2013

Tim Niemueller, Gerhard Lakemeyer, Alexander Ferrein, Sebastian Reuter, Daniel Ewert, Sabina Jeschke, Dirk Pensky, Ulrich Karras

Proposal for Advancements to the LLSF in 2014 and beyond

ICAR 2013 - 1st Workshop on Developments in RoboCup Leagues (2013)

Christian Dornhege, Andreas Hertle, Bernhard Nebel

Lazy Evaluation and Subsumption Caching for Search-Based Integrated Task and Motion Planning

IROS Workshop on AI-based Robotics (2013)

Tim Niemueller, Nichola Abdo, Andreas Hertle, Gerhard Lakemeyer, Wolfram Burgard, Bernhard Nebel

Towards Deliberative Active Perception using Persistent Memory

IROS 2013 - Workshop on AI-based Robotics (2013)

Tim Niemueller, Stefan Schiffer, Gerhard Lakemeyer, Safoura Rezapour-Lakani

Life-long Learning Perception using Cloud Database Technology

IROS 2013 - Cloud Robotics Workshop (2013)

Stefan Ellmauthaler

Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications

2013 Imperial College Computing Student Workshop (ICCSW) (2013)

Andreas Hertle, Christian Dornhege

Efficient Extensible Path Planning on 3D Terrain Using Behavior Modules

European Conference on Mobile Robotics (ECMR) (2013)

Jamal A. Nasir, Iraklis Varlamis, Asim Karim, George Tsatsaronis

Semantic Smoothing for Text Clustering

Article in Journal, in Knowledge-based Systems (Elsevier). Impact Factor 2012: 4.104 (2013)

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

Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios

36th German Conference on Artificial Intelligence (KI2013) (2013)

Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub

Matchmaking with Answer Set Programming

Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)

Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele

Extending the metabolic network of ectocarpus siliculosus using answer set programming

Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)

Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider

Ricochet Robots: A transverse ASP benchmark.

Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise

Aspartame: Solving constraint satisfaction problems with answer set programming

Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13) (2013)

Martin Gebser, Philipp Obermeier, Torsten Schaub

A system for interactive query answering with answer set programming

Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13) (2013)

Stefan Ellmauthaler, Hannes Strass

The DIAMOND system for argumentation: Preliminary report

Sixth International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) (2013)

Arne König, Torsten Schaub

Monitoring and Visualizing Answer Set Solving

Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'13) (2013)

Gerd Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran

Abstract Dialectical Frameworks Revisited

International Joint Conference on Artificial Intelligence (IJCAI) (2013)

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub

Answer Set Programming as a Modeling Language for Course Timetabling

Article in Journal, in Theory and Practice of Logic Programming (2013)

Maria Kissa, Michael Schroeder, George Tsatsaronis

Towards an Integrated Compound to Compound Relatedness Measure

Towards an Integrated Compound to Compound Relatedness Measure (2013)

Yue Ma, Felix Distel

Concept Adjustment for Description Logics.

Proceedings of the 7th International Conference on Knowledge Capture. (2013)

Yue Ma, Felix Distel

Learning Formal Definitions for Snomed CT from Text.

Artificial Intelligence in Medicine (2013)

Franz Baader, Benjamin Zarrieß

Verification of Golog Programs over Description Logic Actions.

Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013) (2013)

Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub

ROSoClingo: A ROS package for ASP-based robot control

Proceedings of Combined Robot Motion Planning and AI Planning for Practical Applications (RSS-CP13) (2013)

Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer

On Decidable Verification of Non-terminating Golog

10th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2013) (2013)

Martin Gebser, Benjamin Kaufmann, Ramón Otero, Javier Romero, Torsten Schaub, Philipp Wanko

Domain-specific Heuristics in Answer Set Programming

Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence (AAAI'13) (2013)

Roland Kaminski, Torsten Schaub, Anne Siegel, Santiago Videla

Minimal Intervention Strategies in Logical Signaling Networks with Answer Set Programming

Article in Journal, in Theory and Practice of Logic Programming (2013)

Bernhard Nebel, Christian Dornhege, Andreas Hertle

How Much Does a Household Robot Need To Know In Order To Tidy Up Your Home?

AAAI Workshop on Intelligent Robotic Systems (2013)

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

Learning Formal Definitions for Biomedical Concepts

Learning Formal Definitions for Biomedical Concepts (2013)

Nichola Abdo, Henrik Kretzschmar, Luciano Spinello, Cyrill Stachniss

Learning Manipulation Actions from a Few Demonstrations

IEEE International Conference on Robotics and Automation (ICRA) (2013)

Daniel Eisinger, George Tsatsaronis , Markus Bundschus, Ulrich Wieneke, Michael Schroeder

Automated Patent Categorization and Guided Patent Search using IPC as Inspired by MeSH and PubMed

Article in Journal, in BMC Journal of Biomedical Semantics 4(Suppl 1):S3. Impact Factor 2012: 2.54 (2013)

Christian Dornhege, Andreas Hertle

Integrated Symbolic Planning in the Tidyup-Robot Project

AAAI Spring Symposium - Designing Intelligent Robots: Reintegrating AI II (2013)

Yue Ma, Julian Mendez

High Quality Data Generation: An Ontology Reasoning based Approach.

In IJCAI'13 Workshop on Artificial Intelligence for Big Data (2013)

Felix Distel, Yue Ma

A hybrid approach for learning concept definitions from text.

International Workshop on Description Logics (2013)

Yue Ma, Qingfeng Chang

Measuring Incompleteness under Multi-Valued Semantics by Partial MaxSAT Solvers.

In The 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQUARU'13) (2013)

Tim Niemueller, Gerhard Lakemeyer, Alexander Ferrein

Incremental Task-level Reasoning in a Competitive Factory Automation Scenario

AAAI Spring Symposium 2013 - Designing Intelligent Robots: Reintegrating AI (2013)