Name Venue Year citations
Game description language and dynamic epistemic logic compared. Artificial Intelligence 2021 2
On the Compilability and Expressive Power of State-Dependent Action Costs. ICAPS 2021 1
Symbolic Top-k Planning. AAAI 2020 13
Token-based Execution Semantics for Multi-Agent Epistemic Planning. KR 2020 0
On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs. ICAPS 2020 5
Evaluation of the moral permissibility of action plans. Artificial Intelligence 2020 8
Moral Permissibility of Action Plans. AAAI 2019 10
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract). IJCAI 2019 0
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity. JAIR 2019 11
A service assistant combining autonomous robotics, flexible goal formulation, and deep-learning-based brain-computer interfacing. Robotics and Autonomous Systems 2019 17
The Dynamic Logic of Policies and Contingent Planning. JELIA 2019 4
Trial-Based Heuristic Tree-Search for Distributed Multi-Agent Planning. SOCS 2019 0
On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning. AAAI 2018 6
On the Importance of a Research Data Archive. AAAI 2018 1
Compiling Away Soft Trajectory Constraints in Planning. KR 2018 6
Plan Relaxation via Action Debinding and Deordering. ICAPS 2018 1
Game Description Language and Dynamic Epistemic Logic Compared. IJCAI 2018 12
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. KR 2018 22
Closed-Loop Robot Task Planning Based on Referring Expressions. IROS 2018 4
Interval Based Relaxation Heuristics for Numeric Planning with Action Costs. SOCS 2017 5
Identifying good poses when doing your household chores: Creation and exploitation of inverse surface reachability maps. IROS 2017 6
The HERA approach to morally competent robots. IROS 2017 19
Towards effective localization in dynamic environments. IROS 2016 19
Trial-Based Heuristic Tree-search for Distributed Multi-Agent Planning. SOCS 2016 0
Behavior-based multi-robot collision avoidance. ICRA 2014 27
Symbolic Domain Predictive Control. AAAI 2014 3
Domain Predictive Control Under Uncertain Numerical State Information. ICAPS 2013 6
Transition Constraints: A Study on the Computational Complexity of Qualitative Change. IJCAI 2013 11
Coordinating heterogeneous teams of robots using temporal symbolic planning. Autonomous Robots 2013 31
A Planning Based Framework for Controlling Hybrid Systems. ICAPS 2012 38
Planning with Semantic Attachments: An Object-Oriented View. ECAI 2012 35
A model for relational reasoning as verbal reasoning. Cognitive System Research 2011 33
On Qualitative Route Descriptions: Representation and Computational Complexity. IJCAI 2011 4
A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions. IJCAI 2011 171
Coming Up With Good Excuses: What to do When no Plan Can be Found. ICAPS 2010 103
Coordinated exploration with marsupial teams of robots using temporal symbolic planning. IROS 2010 20
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR 2010 0
Semantic Attachments for Domain-Independent Planning Systems. ICAPS 2009 182
A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management. IJCAI 2009 0
Continual planning and acting in dynamic multiagent environments. Autonomous Agents and Multi-Agent Systems 2009 0
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle. KR 2008 13
On the Complexity of Planning Operator Subsumption. KR 2008 1
Towards an Integration of Golog and Planning. IJCAI 2007 50
Learning a Table Soccer Robot a New Action Sequence by Observing and Imitating. AIIDE 2007 4
Expressiveness of ADL and Golog: Functions Make a Difference. AAAI 2007 10
RFID-Based Exploration for Large Robot Teams. ICRA 2007 83
RFID Technology-based Exploration and SLAM for Search And Rescue. IROS 2006 104
In defense of PDDL axioms. Artificial Intelligence 2005 0
Formal Methods in Robotics. JELIA 2004 0
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking. ECAI 2004 7
When Are Behaviour Networks Well-Behaved? ECAI 2004 4
In Defense of PDDL Axioms. IJCAI 2003 160
The Philosophical Soccer Player. KR 2002 1
On the computational complexity of assumption-based argumentation for default reasoning. Artificial Intelligence 2002 91
Dynamic Decentralized Area Partitioning for Cooperating Cleaning Robots. ICRA 2002 96
Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity. ECAI 2002 95
Efficient Methods for Qualitative Spatial Reasoning. JAIR 2001 128
Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots. IROS 2001 85
Cooperative sensing in dynamic environments. IROS 2001 98
The FF Planning System: Fast Plan Generation Through Heuristic Search. JAIR 2001 2142
Knowledge Representation and Reasoning: The Theoretical Side of AI. ECAI 2000 3
On the Compilability and Expressive Power of Propositional Planning Formalisms. JAIR 2000 178
Finding Admissible and Preferred Arguments Can be Very Hard. KR 2000 35
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. Artificial Intelligence 1999 372
Preferred Arguments are Harder to Compute than Stable Extension. IJCAI 1999 50
Fast, accurate, and robust self-localization in polygonal environments. IROS 1999 82
Efficient Algorithms for Qualitative Spatial Reasoning. ECAI 1998 15
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. IJCAI 1997 0
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class. ECAI 1996 0
WIP: From Multimedia to Intellimedia. IJCAI 1995 0
Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis. Artificial Intelligence 1995 223
Base Revision Operations and Schemes: Semantics, Representation and Complexity. ECAI 1994 122
On the Computational Complexity of Temporal Projection, Planning, and Plan Validation. Artificial Intelligence 1994 59
An Empirical Analysis of Terminological Representation Systems. Artificial Intelligence 1994 98
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. AAAI 1994 0
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. IJCAI 1993 47
Complexity Results for SAS+ Planning. IJCAI 1993 0
On the Computational Complexity of Planning and Story Understanding. ECAI 1992 13
On the Computational Complexity of Temporal Projection and Plan Validation. AAAI 1992 19
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. KR 1992 251
An Empirical Analysis of Terminological Representation Systems. AAAI 1992 0
Belief Revision and Default Reasoning: Syntax-Based Approaches. KR 1991 217
Tutorial on Reasoning and Representation with Concept Languages. CADE 1990 0
Terminological Reasoning is Inherently Intractable. Artificial Intelligence 1990 0
A Knowledge Level Analysis of Belief Revision. KR 1989 207
Computational Complexity of Terminological Reasoning in BACK. Artificial Intelligence 1988 205
A Logical-Form and Knowledge-Base Design for Natural Language Generation. AAAI 1986 32
Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems. IJCAI 1983 59
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ