Content: Publications

Publications 2014

Stefan Ellmauthaler, Hannes Strass

The DIAMOND System for Computing with Abstract Dialectical Frameworks

Computational Models of Argument (COMMA 2014) (2014)

Gerd Brewka, Stefan Ellmauthaler, Jörg Pührer

Multi-Context Systems for Reactive Reasoning in Dynamic Environments

21st European Conference on Artificial Intelligence (ECAI 2014) (2014)

Stefan Ellmauthaler, Jörg Pührer

Asynchronous Multi-Context Systems

International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014) (2014)

Gerd Brewka, Stefan Ellmauthaler, Jörg Pührer

Multi-Context Systems for Reactive Reasoning in Dynamic Environments

International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014) (2014)

International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014)

(2014)

Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb, Bernhard Nebel

An Experimental Comparison of Classical, FOND and Probabilistic Planning

37th International Conference on Artificial Intelligence (KI 2014) (2014)

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

Sensor Fusion in the Epistemic Situation Calculus

9th International Cognitive Robotics Workshop (CogRob-2014) (2014)

Christoph Schwering, Gerhard Lakemeyer

A Semantic Account of Iterated Belief Revision in the Situation Calculus

Twenty-First European Conference on Artificial Intelligence (ECAI) (2014)

Frederik Zwilling, Tim Niemueller, Gerhard Lakemeyer

Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction

RoboCup Symposium (2014)

Gerd Brewka, Javier Romero, James Delgrande, Torsten Schaub

Are Preferences Giving You a Headache? --- Take asprin!

Proceedings of the Seventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'14) (2014)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Clingo = ASP + Control: Preliminary Report

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

Nichola Abdo, Luciano Spinello, Cyrill Stachniss, Wolfram Burgard

Collaborative Filtering for Learning User Preferences for Robotic Tasks

Workshop on Learning Plans with Context from Human Signals at Robotics: Science and Systems (R:SS) (2014)

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

Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014

RoboCup Symposium - Champion Teams Track (2014)

Benjamin Zarrieß, Jens Claßen

Verifying CTL* Properties of Golog Programs over Local-Effect Actions

Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI 2014) (2014)

Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß

Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014) (2014)

Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Martin Gebser, Jacques Nicolas, Julio Saez-Rodriguez , Torsten Schaub

Learning boolean logic models of signaling networks with asp

Theoretical Computer Science (2014)

Nichola Abdo, Luciano Spinello, Wolfram Burgard, Cyrill Stachniss

Inferring What to Imitate in Manipulation Actions by Using a Recommender System

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

Benjamin Zarrieß, Jens Claßen

On the Decidability of Verifying LTL Properties of Golog Programs

Proceedings of the AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning in Robotics (KRR'14) (2014)

Yue Ma, Alifah Syamsiyah

A Hybrid Approach to Learn Description Logic based Biomedical Ontology from Texts.

International Semantic Web Conference (ISWC'14 poster) (2014)

Long Cheng, Yue Ma

Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies.

14th IEEE International Conference on Bioinformatics and BioEngineering (BIBE'14) (2014)

Said Jabbour, Yue Ma, Badran Raddaoui

Prime Implicates Based Inconsistency Characterization.

European Conference on Artificial Intelligence (ECAI'14) (2014)

Yue Ma, Rafael Penaloza

An Ontology Decomposition-based Approach.

Description Logics 2014 (2014)

Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther

Evaluation of Extraction Techniques for Ontology Excerpts.

Description Logics 2014 (2014)

Said Jabbour, Yue Ma, Badran Raddaoui

Inconsistency Measurement Thanks to MUS Decomposition

Autonomous Agents and Multiagent Systems (AAMAS'14) (2014)