Bernhard Nebel
Orcid: 0000-0002-6833-6323Affiliations:
- University of Freiburg, Germany
According to our database1,
Bernhard Nebel
authored at least 216 papers
between 1982 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2021, "For contributions to knowledge representation and reasoning, automatic planning, and their applications in robotics".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Artif. Intell., March, 2024
An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees.
J. Artif. Intell. Res., 2024
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
2023
The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
CoRR, 2022
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021
2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Proceedings of the Handbuch der Künstlichen Intelligenz, 6. Auflage, 2020
2019
A service assistant combining autonomous robotics, flexible goal formulation, and deep-learning-based brain-computer interfacing.
Robotics Auton. Syst., 2019
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity.
J. Artif. Intell. Res., 2019
Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019
Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract).
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty.
Proceedings of the Description Logic, Theory Combination, and All That, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Efficient Auction Based Coordination for Distributed Multi-agent Planning in Temporal Domains Using Resource Abstraction.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Proceedings of the Ninth Workshop on Methods for Modalities, 2017
Proceedings of the KI 2017: Advances in Artificial Intelligence, 2017
Identifying good poses when doing your household chores: Creation and exploitation of inverse surface reachability maps.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
Acting thoughts: Towards a mobile robotic service assistant for users with limited communication skills.
Proceedings of the 2017 European Conference on Mobile Robots, 2017
2016
Künstliche Intell., 2016
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016
Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations.
Proceedings of the 29th International Workshop on Description Logics, 2016
Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016
2015
2014
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Proceedings of the 16th International Conference on Multimodal Interaction, 2014
Proceedings of the second international conference on Human-agent interaction, 2014
Proceedings of the second international conference on Human-agent interaction, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
Künstliche Intelligenz (unveränderter Reprint).
Fischer Kompakt, Fischer, ISBN: 978-3-596-30136-2, 2014
2013
Auton. Robots, 2013
An Affective Virtual Agent Providing Embodied Feedback in the Paired Associate Task: System Design and Evaluation.
Proceedings of the Intelligent Virtual Agents - 13th International Conference, 2013
Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
Proceedings of the IJCAI 2013, 2013
Robot embodiment, operator modality, and social interaction in tele-existence: a project outline.
Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2013
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013
Proceedings of the Handbuch der Künstlichen Intelligenz, 5. Auflage, 2013
2012
Proceedings of the Towards Service Robots for Everyday Environments, 2012
Proceedings of the Towards Service Robots for Everyday Environments, 2012
Proceedings of the Towards Service Robots for Everyday Environments, 2012
Proactive Continual Planning - - Deliberately Interleaving Planning and Execution in Dynamic Environments.
Proceedings of the Towards Service Robots for Everyday Environments, 2012
Proceedings of the Towards Service Robots for Everyday Environments, 2012
Künstliche Intell., 2012
Proceedings of the ECAI 2012, 2012
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
2011
Spatial Cogn. Comput., 2011
Inform. Spektrum, 2011
Dagstuhl Reports, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the IJCAI 2011, 2011
Feature Induction of Linear-chain Conditional Random Fields - A Study based on a Simulation.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011
Outline of an Empirical Study on the Effects of Emotions on Strategic Behavior in Virtual Emergencies.
Proceedings of the Affective Computing and Intelligent Interaction, 2011
2010
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010
Coordinated exploration with marsupial teams of robots using temporal symbolic planning.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010
Proceedings of the Bridging the Gap Between Task and Motion Planning, 2010
2009
Auton. Agents Multi Agent Syst., 2009
Proceedings of the Advances in Visual Computing, 5th International Symposium, 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2009
2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Computer Science in Sport - Mission and Methods, 07.09. - 10.09.2008, 2008
Proceedings of the Computer Science in Sport - Mission and Methods, 07.09. - 10.09.2008, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
Proceedings of the Handbook of Spatial Logics, 2007
Comput. J., 2007
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007
Proceedings of the Third Artificial Intelligence and Interactive Digital Entertainment Conference, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006
2005
Proceedings of the RoboCup 2005: Robot Soccer World Cup IX, 2005
Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005
Proceedings of the Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005, 2005
2004
The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning.
Proceedings of the Spatial Cognition IV: Reasoning, 2004
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004
Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
When Are Behaviour Networks Well-Behaved?
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
2003
Qualitative Spatial Reasoning about Relative Position: The Tradeoff between Strong Formal Properties and Successful Reasoning about Route Graphs.
Proceedings of the Spatial Cognition III, Routes and Navigation, Human Memory and Learning, 2003
Proceedings of the RoboCup 2003: Robot Soccer World Cup VII, 2003
Proceedings of the Handbuch der Künstlichen Intelligenz, 4. Auflage, 2003
Künstliche Intelligenz.
Fischer, ISBN: 978-3-596-15555-2, 2003
2002
IEEE Trans. Robotics Autom., 2002
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning.
Künstliche Intell., 2002
Fussball und Künstliche Intelligenz: Vom Denken zum Handeln.
Künstliche Intell., 2002
On the computational complexity of assumption-based argumentation for default reasoning.
Artif. Intell., 2002
Proceedings of the RoboCup 2002: Robot Soccer World Cup VI, 2002
Proceedings of the RoboCup 2002: Robot Soccer World Cup VI, 2002
The Philosophical Soccer Player.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002
Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002
2001
Sichtweisen der kognitiven Robotik.
Künstliche Intell., 2001
J. Artif. Intell. Res., 2001
Ranking? Publikationen, Zitate, Drittmittelprojekte und Promotionen an deutschen Informatikfakultäten im Spiegel des WWW.
Inform. Spektrum, 2001
A fast, accurate and robust method for self-localization in polygonal environments using laser range finders.
Adv. Robotics, 2001
Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001
Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001
Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001
Proceedings of the 6th European Control Conference, 2001
Proceedings of the Multi-Agent Systems and Applications, 2001
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation.
Proceedings of the Spatial Information Theory: Foundations of Geographic Information Science, 2001
2000
J. Artif. Intell. Res., 2000
AI Mag., 2000
Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000
Finding Admissible and Preferred Arguments Can be Very Hard.
Proceedings of the KR 2000, 2000
Knowledge Representation and Reasoning: The Theoretical Side of AI.
Proceedings of the ECAI 2000, 2000
Proceedings of the Autonome Mobile Systeme 2000, 2000
1999
Die Ausdruckstärke von Planungsformalismen: Eine formale Charakterisierung.
Künstliche Intell., 1999
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus.
Artif. Intell., 1999
Proceedings of the RoboCup-99: Robot Soccer World Cup III, 1999
Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms.
Proceedings of the KI-99: Advances in Artificial Intelligence, 1999
Proceedings of the Proceedings 1999 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human and Environment Friendly Robots with High Intelligence and Emotional Quotients, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999
1998
CS Freiburg's Participation at RoboCup '98: The World Champions in Robotic Soccer.
AI Commun., 1998
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998
Proceedings of the Spatial Cognition, 1998
The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills.
Proceedings of the RoboCup-98: Robot Soccer World Cup II, 1998
Efficient Algorithms for Qualitative Spatial Reasoning.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
1997
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class.
Constraints An Int. J., 1997
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997
Proceedings of the Autonome Mobile Systeme 1997, 1997
1995
Komplexitätsanalysen in der Künstlichen Intelligenz.
Künstliche Intell., 1995
Ist die Wissensrepräsentation tot?
Künstliche Intell., 1995
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
J. ACM, 1995
Artif. Intell., 1995
Proceedings of the KI-95: Advances in Artificial Intelligence, 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
1994
Acquisition and validation of complex object database schemata supporting multiple inheritance.
Appl. Intell., 1994
Am empirical analysis of optimization techniques for terminological representation systems.
Appl. Intell., 1994
On the Computational Complexity of Temporal Projection, Planning, and Plan Validation.
Artif. Intell., 1994
Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994
Base Revision Operations and Schemes: Semantics, Representation and Complexity.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994
1993
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht.
Künstliche Intell., 1993
On the expressivity of feature logics with negation, functional uncertainty, and sort equations.
J. Log. Lang. Inf., 1993
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
1992
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992
On the Computational Complexity of Planning and Story Understanding.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
1991
Proceedings of the Text Understanding in LILOG, 1991
Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91.
Künstliche Intell., 1991
Belief Revision and Default Reasoning: Syntax-Based Approaches.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991
Terminological Knowledge Representation: A Proposal for a Terminological Logic.
Proceedings of the International Workshop on Terminological Logics 1991, 1991
Proceedings of the Principles of Semantic Networks, 1991
1990
Proceedings of the Information Systems and Artificial Intelligence: Integration Aspects, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
Lecture Notes in Computer Science 422, Springer, ISBN: 3-540-52443-6, 1990
1989
Representation and Reasoning with Attributive Descriptions
IWBS Report, 1989
A Knowledge Level Analysis of Belief Revision
IWBS Report, 1989
Proceedings of the GWAI-89, 1989
1988
Hybrid Reasoning in BACK.
Proceedings of the Methodologies for Intelligent Systems, 1988
1987
Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987
Some Aspects of Knowledge Base Management Systems.
Proceedings of the Wissensrepräsentation in Expertensystemen, 1987
1986
Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986
1985
1983
Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
Natürlichsprachlicher Datenbankzugang mit HAM-ANS: Syntaktische Korrepsondenz, natürlichsprachliche Qualifizierung und semantisches Modell des Diskursbereichs.
Proceedings of the Sprachen für Datenbanken, 1983
1982
Das natürlichsprachliche System HAM-ANS: Intelligenter Zugriff auf heterogene Wissens- und Datenbanken.
Proceedings of the GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings, 1982