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