Bernhard Nebel
97 publications
18 venues
H Index 33
Affiliation
University of Freiburg, GermanyLinks
DBLPGoogle Scholar
ORCID- https://gki.informatik.uni-freiburg.de/people/nebel/
- https://dl.acm.org/profile/81100374003
- https://zbmath.org/authors/?q=ai:nebel.bernhard
- https://mathscinet.ams.org/mathscinet/MRAuthorID/273922
- https://mathgenealogy.org/id.php?id=66006
- https://en.wikipedia.org/wiki/Bernhard_Nebel
- https://www.wikidata.org/entity/Q92716
- https://www.wikidata.org/entity/Q62051128
- http://isni.org/isni/0000000109986580
- https://id.loc.gov/authorities/names/n89102522
- https://d-nb.info/gnd/132390590
| Name | Venue | Year | citations |
|---|---|---|---|
A Symbolic Sequential Equilibria Solver for Game Theory Explorer.
|
AAMAS | 2024 | 0 |
| Symbolic Computation of Sequential Equilibria.
|
AAMAS | 2024 | 0 |
| Fools Rush in Where Angels Fear to Tread in Multi-Goal CBS.
|
SOCS | 2024 | 0 |
| An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees.
|
JAIR | 2024 | 0 |
| The computational complexity of multi-agent pathfinding on directed graphs.
|
Artificial Intelligence | 2024 | 0 |
| The Multi-Agent Transportation Problem.
|
AAAI | 2023 | 0 |
| The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True.
|
ICAPS | 2023 | 0 |
| Epistemic planning: Perspectives on the special issue.
|
Artificial Intelligence | 2023 | 0 |
| Expressivity of Planning with Horn Description Logic Ontologies.
|
AAAI | 2022 | 0 |
| On the Compilability and Expressive Power of State-Dependent Action Costs.
|
ICAPS | 2021 | 2 |
| Game description language and dynamic epistemic logic compared.
|
Artificial Intelligence | 2021 | 0 |
| Token-based Execution Semantics for Multi-Agent Epistemic Planning.
|
KR | 2020 | 0 |
| Symbolic Top-k Planning.
|
AAAI | 2020 | 19 |
| Evaluation of the moral permissibility of action plans.
|
Artificial Intelligence | 2020 | 15 |
| On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs.
|
ICAPS | 2020 | 0 |
| A service assistant combining autonomous robotics, flexible goal formulation, and deep-learning-based brain-computer interfacing.
|
Robotics and Autonomous Systems | 2019 | 26 |
| Moral Permissibility of Action Plans.
|
AAAI | 2019 | 14 |
| Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity.
|
JAIR | 2019 | 16 |
| The Dynamic Logic of Policies and Contingent Planning.
|
JELIA | 2019 | 4 |
| Trial-Based Heuristic Tree-Search for Distributed Multi-Agent Planning.
|
SOCS | 2019 | 0 |
| Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract).
|
IJCAI | 2019 | 0 |
| Compiling Away Soft Trajectory Constraints in Planning.
|
KR | 2018 | 7 |
| On the Importance of a Research Data Archive.
|
AAAI | 2018 | 1 |
| Closed-Loop Robot Task Planning Based on Referring Expressions.
|
IROS | 2018 | 6 |
| On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
|
AAAI | 2018 | 6 |
| Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
|
KR | 2018 | 22 |
| Plan Relaxation via Action Debinding and Deordering.
|
ICAPS | 2018 | 3 |
| Game Description Language and Dynamic Epistemic Logic Compared.
|
IJCAI | 2018 | 16 |
| The HERA approach to morally competent robots.
|
IROS | 2017 | 26 |
| Interval Based Relaxation Heuristics for Numeric Planning with Action Costs.
|
SOCS | 2017 | 10 |
| Identifying good poses when doing your household chores: Creation and exploitation of inverse surface reachability maps.
|
IROS | 2017 | 9 |
| Towards effective localization in dynamic environments.
|
IROS | 2016 | 25 |
| Trial-Based Heuristic Tree-search for Distributed Multi-Agent Planning.
|
SOCS | 2016 | 0 |
| Behavior-based multi-robot collision avoidance.
|
ICRA | 2014 | 30 |
| Symbolic Domain Predictive Control.
|
AAAI | 2014 | 3 |
| 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 | 35 |
| Domain Predictive Control Under Uncertain Numerical State Information.
|
ICAPS | 2013 | 6 |
| Planning with Semantic Attachments: An Object-Oriented View.
|
ECAI | 2012 | 37 |
| A Planning Based Framework for Controlling Hybrid Systems.
|
ICAPS | 2012 | 41 |
| On Qualitative Route Descriptions: Representation and Computational Complexity.
|
IJCAI | 2011 | 5 |
| A model for relational reasoning as verbal reasoning.
|
Cognitive System Research | 2011 | 33 |
| A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions.
|
IJCAI | 2011 | 188 |
| Coordinated exploration with marsupial teams of robots using temporal symbolic planning.
|
IROS | 2010 | 25 |
| Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
|
KR | 2010 | 0 |
| Coming Up With Good Excuses: What to do When no Plan Can be Found.
|
ICAPS | 2010 | 113 |
| Semantic Attachments for Domain-Independent Planning Systems.
|
ICAPS | 2009 | 193 |
| 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 Complexity of Planning Operator Subsumption.
|
KR | 2008 | 1 |
| On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle.
|
KR | 2008 | 13 |
| Learning a Table Soccer Robot a New Action Sequence by Observing and Imitating.
|
AIIDE | 2007 | 4 |
| Towards an Integration of Golog and Planning.
|
IJCAI | 2007 | 50 |
| RFID-Based Exploration for Large Robot Teams.
|
ICRA | 2007 | 84 |
| Expressiveness of ADL and Golog: Functions Make a Difference.
|
AAAI | 2007 | 10 |
| RFID Technology-based Exploration and SLAM for Search And Rescue.
|
IROS | 2006 | 108 |
| In defense of PDDL axioms.
|
Artificial Intelligence | 2005 | 0 |
| Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking.
|
ECAI | 2004 | 8 |
| Formal Methods in Robotics.
|
JELIA | 2004 | 0 |
| When Are Behaviour Networks Well-Behaved?
|
ECAI | 2004 | 4 |
| In Defense of PDDL Axioms.
|
IJCAI | 2003 | 165 |
| Dynamic Decentralized Area Partitioning for Cooperating Cleaning Robots.
|
ICRA | 2002 | 95 |
| On the computational complexity of assumption-based argumentation for default reasoning.
|
Artificial Intelligence | 2002 | 93 |
| Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity.
|
ECAI | 2002 | 97 |
| The Philosophical Soccer Player.
|
KR | 2002 | 1 |
| Cooperative sensing in dynamic environments.
|
IROS | 2001 | 99 |
| Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots.
|
IROS | 2001 | 100 |
| Efficient Methods for Qualitative Spatial Reasoning.
|
JAIR | 2001 | 134 |
| The FF Planning System: Fast Plan Generation Through Heuristic Search.
|
JAIR | 2001 | 0 |
| Knowledge Representation and Reasoning: The Theoretical Side of AI.
|
ECAI | 2000 | 3 |
| Finding Admissible and Preferred Arguments Can be Very Hard.
|
KR | 2000 | 33 |
| On the Compilability and Expressive Power of Propositional Planning Formalisms.
|
JAIR | 2000 | 0 |
| Fast, accurate, and robust self-localization in polygonal environments.
|
IROS | 1999 | 81 |
| Preferred Arguments are Harder to Compute than Stable Extension.
|
IJCAI | 1999 | 50 |
| On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus.
|
Artificial Intelligence | 1999 | 375 |
| Efficient Algorithms for Qualitative Spatial Reasoning.
|
ECAI | 1998 | 14 |
| 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 |
| Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis.
|
Artificial Intelligence | 1995 | 223 |
| WIP: From Multimedia to Intellimedia.
|
IJCAI | 1995 | 0 |
| Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
|
AAAI | 1994 | 527 |
| On the Computational Complexity of Temporal Projection, Planning, and Plan Validation.
|
Artificial Intelligence | 1994 | 60 |
| Base Revision Operations and Schemes: Semantics, Representation and Complexity.
|
ECAI | 1994 | 124 |
| An Empirical Analysis of Terminological Representation Systems.
|
Artificial Intelligence | 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 |
| An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On.
|
KR | 1992 | 250 |
| An Empirical Analysis of Terminological Representation Systems.
|
AAAI | 1992 | 97 |
| On the Computational Complexity of Temporal Projection and Plan Validation.
|
AAAI | 1992 | 19 |
| Belief Revision and Default Reasoning: Syntax-Based Approaches.
|
KR | 1991 | 215 |
| Tutorial on Reasoning and Representation with Concept Languages.
|
CADE | 1990 | 0 |
| Terminological Reasoning is Inherently Intractable.
|
Artificial Intelligence | 1990 | 363 |
| A Knowledge Level Analysis of Belief Revision.
|
KR | 1989 | 209 |
| Computational Complexity of Terminological Reasoning in BACK.
|
Artificial Intelligence | 1988 | 207 |
| A Logical-Form and Knowledge-Base Design for Natural Language Generation.
|
AAAI | 1986 | 31 |
| Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems.
|
IJCAI | 1983 | 59 |