Uni-Logo

Prof. Dr. Bernhard Nebel – Publications

(Show all abstracts) (Hide all abstracts)

2017

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller and Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.
    In Proceedings of the Ninth Workshop on Methods for Modalities (M4M 2017). 2017.
    (Show abstract) (PDF) (BIB)

2016

  • Dali Sun, Florian Geißer and Bernhard Nebel.
    Towards Effective Localization in Dynamic Environments.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016). 2016.
    (Show abstract) (PDF)

  • Tim Schulte and Bernhard Nebel.
    Trial-based Heuristic Tree-search for Distributed Multi-Agent Planning.
    In Proceedings of the Ninth Annual Symposium on Combinatorial Search (SoCS 2016) (SoCS 2016). 2016.
    (Show abstract) (PDF)

  • Tim Schulte and Bernhard Nebel.
    Trial-based Heuristic Tree-search for Distributed Multi-Agent Planning.
    In Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP 2016) (DMAP 2016). 2016.
    (Show abstract) (PDF)

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller and Bernhard Nebel.
    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
    In Proceedings of the ICAPS-2016 Workshop on Distributed and Multi-Agent Planning (DMAP 2016). 2016.
    (Show abstract) (PDF) (BIB)

  • Matthias Hengel, Stefan Wölfl and Bernhard Nebel.
    Reasoning about general TBoxes with spatial and temporal constraints: Implementation and optimizations.
    In Proceedings of the 29th International Workshop on Description Logics (DL 2016). 2016.
    (Show abstract) (PDF)

  • Marco Ragni, Thomas Barkowsky, Bernhard Nebel and Christian Freksa.
    Cognitive Space and Spatial Cognition: The SFB/TR 8 Spatial Cognition.
    KI 30 (1), pp. 83-88. 2016.

2015

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller and Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning With Implicit Coordination.
    In Proceedings of the ICAPS-2015 Workshop on Distributed and Multi-Agent Planning (DMAP 2015). 2015.
    Superseded by the M4M 2017 paper by the same authors.
    (Show abstract) (PDF) (BIB)

  • Matthias Westphal, Stefan Wölfl, Bernhard Nebel and Jochen Renz.
    On qualitative route descriptions: Representation, agent models, and computational complexity.
    Journal of Philosophical Logic 44 (2), pp. 177-201. 2015.
    (Show abstract) (Springer Online; DOI)

2014

  • Nicolas Riesterer, Christian Becker-Asano, Julien Hué, Christian Dornhege and Bernhard Nebel.
    The Hybrid Agent MARCO.
    In Proceedings of the 16th International Conference on Multimodal Interaction, pp. 80-81. 2014.
    (PDF)

  • Christian Becker-Asano, Kai Oliver Arras and Bernhard Nebel.
    Robotic Tele-presence with DARYL in the Wild.
    In Proceedings of the 2nd International Confernce on Human-Agent Interaction, pp. 91-95. 2014.
    (PDF)

  • Christian Becker-Asano, Eduardo Meneses, Nicolas Riesterer, Julien Hué, Christian Dornhege and Bernhard Nebel.
    The Hybrid Agent MARCO: A Multimodal Autonomous Robotic Chess Opponent.
    In Proceedings of the 2nd International Confernce on Human-Agent Interaction, pp. 173-176. 2014.
    (PDF)

  • Johannes Löhr, Martin Wehrle, Maria Fox and Bernhard Nebel.
    Symbolic Domain Predictive Control.
    In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014), pp. 2315-23-21. AAAI Press 2014.

  • Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb and Bernhard Nebel.
    An Experimental Comparison of Classical, FOND and Probabilistic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014), pp. 297-308. Springer 2014.
    (Show abstract) (PDF) (BIB)

  • Dali Sun, Alexander Kleiner and Bernhard Nebel.
    Behavior-based Multi-Robot Collision Avoidance.
    In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA-14), pp. 1668-1673. 2014.
    (Show abstract) (PDF) (BIB)

  • Christian Becker-Asano, Severin Gustorff, Kai Oliver Arras and Bernhard Nebel.
    On the Effect of Operator Modality on Social and Spatial Presence during Teleoperation of a Human-Like Robot.
    In Third Interantional Symposium on New Frontiers in Human-Robot Interaction at AISB50. 2014.
    (PDF)

  • Christian Becker-Asano, Felix Ruzzoli, Christoph Hölscher and Bernhard Nebel.
    A Multi-Agent System based on Unity 4 for Virtual Perception and Wayfinding.
    Transportation Research Procedia 2, pp. 425-455. 2014.
    (PDF)

  • Bernhard Nebel and Stefan Wölfl.
    Wissensrepräsentation und -verarbeitung.
    In Günther Görz, Josef Schneeberger and Ute Schmid (eds.), Handbuch der Künstlichen Intelligenz, pp. 105-128. Oldenbourg Verlag München 2014.

2013

  • Christian Dornhege, Andreas Hertle and Bernhard Nebel.
    Lazy Evaluation and Subsumption Caching for Search-Based Integrated Task and Motion Planning.
    In Proceedings of the IROS workshop on AI-based robotics. 2013.
    (PDF) (BIB)

  • Tim Niemueller, Nichola Abdo, Andreas Hertle, Gerhard Lakemeyer, Wolfram Burgard and Bernhard Nebel.
    Towards Deliberative Active Perception using Persistent Memory.
    In Proceedings of the IROS workshop on AI-based robotics. 2013.
    (PDF) (BIB)

  • Matthias Westphal, Julien Hué, Stefan Wölfl and Bernhard Nebel.
    Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'13), pp. 1169-1175. 2013.
    (Show abstract) (PDF) (DBLP)

  • Christian Becker-Asano, Dali Sun, Corinna N. Scheel, Brunna Tuschen-Caffier and Bernhard Nebel.
    Analyzing for emotional arousal in HMD-based head movements during a virtual emergency.
    In Intl. Workshop on Emotion and Computing in conj. with KI2013. 2013.
    (Show abstract)

  • Christian Becker-Asano, Philip Stahl, Marco Ragni, Jean-Claude Martin, Matthieu Courgeon and Bernhard Nebel.
    An affective virtual agent providing embodied feedback in the paired associate task: system design and evaluation.
    In Proc. of the 13th. Intl. Conf. on Intelligent Virtual Agents (IVA 2013), pp. 406-415. 2013.
    (Show abstract)

  • Bernhard Nebel, Christian Dornhege and Andreas Hertle.
    How Much Does a Household Robot Need To Know In Order To Tidy Up Your Home?
    In AAAI Workshop on Intelligent Robotic Systems. AAAI Press 2013.
    (PDF) (BIB)

  • Johannes Löhr, Patrick Eyerich, Stefan Winkler and Bernhard Nebel.
    Domain Predictive Control Under Uncertain Numerical State Information.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS13). 2013.
    (Show abstract) (PDF) (BIB)

  • Christian Becker-Asano, Severin Gustorff, Kai Oliver Arras, Kohei Ogawa, Shuichi Nishio, Hiroshi Ishiguro and Bernhard Nebel.
    Robot embodiment, operator modality, and social interaction in tele-existence: a project outline.
    In Proceedings of the 8th ACM/IEEE international conference on Human-robot interaction, pp. 79-80. 2013.

  • Kai M. Wurm, Christian Dornhege, Cyrill Stachniss, Bernhard Nebel and Wolfram Burgard.
    Coordinating Heterogeneous Teams of Robots using Temporal Symbolic Planning.
    Autonomous Robots. 2013.
    (BIB) (Springer)

2012

  • Christian Becker-Asano, Kai Oliver Arras, Bernhard Nebel and Hiroshi Ishiguro.
    The Effect of Anthropomorphism on Social Tele-Embodiment.
    In IROS 2012 Workshop on Human-Agent Interaction. 2012.
    (Show abstract)

  • Birgit Kleim, Thomas Ehrig, Corinna Scheel, Christian Becker-Asano, Bernhard Nebel and Brunna Tuschen-Caffier.
    Bewältigungsverhalten in Notfallsituationen aus klinisch-psychologischer Perspektive.
    Zeitschrift für Klinische Psychologie und Psychotherapie 41 (3), pp. 166-179. 2012.

  • Corinna N. Scheel, Birgit Kleim, Julian Schmitz, Christian Becker-Asano, Dali Sun, Bernhard Nebel and Brunna Tuschen-Caffier.
    Psychophysiologische Belastungsreaktivität nach einem simulierten Feuer in einer Parkgarage.
    Zeitschrift für Klinische Psychologie und Psychotherapie 41 (3), pp. 180-189. 2012.

  • Johannes Löhr, Bernhard Nebel and Stefan Winkler.
    Planning Based Autonomous Lander Control.
    In Proceedings of the Astrodynamics Specialist Conference (AIAA/AAS 2012). 2012.
    (Show abstract)

  • Johannes Löhr, Patrick Eyerich, Thomas Keller and Bernhard Nebel.
    A Planning Based Framework for Controlling Hybrid Systems.
    In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). 2012.
    (Show abstract) (PDF)

  • Andreas Hertle, Christian Dornhege, Thomas Keller and Bernhard Nebel.
    Planning with Semantic Attachments: An Object-Oriented View.
    In Proceedings of the European Conference on Artificial Intelligence (ECAI). 2012.
    (Show abstract) (PDF) (BIB)

  • Jens Claßen, Gabriele Röger, Gerhard Lakemeyer and Bernhard Nebel.
    PLATAS – Integrating Planning and the Action Language Golog.
    KI – Künstliche Intelligenz 26, pp. 61-67. 2012.
    (Authors' preprint. The final publication is available at www.springerlink.com.).
    (Show abstract) (PDF)

2011

  • Alexander Kleiner, Bernhard Nebel and V.A. Ziparo.
    A Mechanism for Dynamic Ride Sharing based on Parallel Auctions.
    In Proc. of the 22th International Joint Conference on Artificial Intelligence (IJCAI). 2011.
    (Show abstract) (PDF) (BIB)

  • Christian Becker-Asano, Dali Sun, Birgit Kleim, Corinna Scheel, Brunna Tuschen-Caffier and Bernhard Nebel.
    Outline of an Empirical Study on the Effects of Emotions on Strategic Behavior in Virtual Emergencies.
    In Affective Computing and Intelligent Interaction, pp. 508-517. 2011.
    (PDF) (BIB)

  • Matthias Westphal, Stefan Wölfl, Bernhard Nebel and Jochen Renz.
    On Qualitative Route Descriptions: Representation and Computational Complexity.
    In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 1120-1125. AAAI Press 2011.
    (Show abstract) (PDF) (DBLP)

  • Antje Krumnack, Leandra Bucher, Jelica Nejasmic, Bernhard Nebel and Markus Knauff.
    A model for relational reasoning as verbal reasoning.
    Cognitive Systems Research 12 (3-4), pp. 377-392. 2011.

  • Bernhard Nebel and Christian Freksa.
    AI Approaches to Cognitive Systems – The Example of Spatial Cognition.
    Informatik-Spektrum 34 (5), pp. 462-468. 2011.

  • Cai Zhongjie, Dapeng Zhang and Bernhard Nebel.
    Playing Tetris Using Bandit-Based Monte-Carlo Planning.
    In Proceedings of AISB 2011 Symposium: AI and Games (AISB 2011). 2011.
    (Show abstract) (PDF)

  • Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler and Bernhard Nebel.
    Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning.
    Spatial Cognition & Computation: An Interdisciplinary Journal 11 (1), pp. 75-102. 2011.
    (Show abstract) (DOI) (BIB)

  • Dapeng Zhang and Bernhard Nebel.
    Feature Induction of Linear-Chain Conditional Random Fields - A Study Based on a Simulation.
    In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011). 2011.
    (Show abstract) (PDF)

  • Brunna Tuschen-Caffier, Birgit Kleim, Christian Becker-Asano, Dali Sun, Bernhard Nebel and Corinna Scheel.
    Bewältigungsverhalten in virtuellen Notfallsituationen.
    In 7. Workshop Kongress für Psychologie und Psychotherapie. 2011.
    (BIB)

  • Christian Becker-Asano, Dali Sun, Birgit Kleim, Corinna N. Scheel, Brunna Tuschen-Caffier and Bernhard Nebel.
    CoVE: Coping in Virtual Emergencies.
    In Workshop on Emotion and Computing - Current Research and Future Impact, p. 1. 2011.
    (PDF) (BIB)

2010

  • Dapeng Zhang, Cai Zhongjie and Bernhard Nebel.
    Playing Tetris Using Learning by Imitation.
    In Proceedings of the 11th annual European Conference on Simulation and AI in Computer Games (GAMEON 2010). 2010.
    (Show abstract) (PDF)

  • Kai M. Wurm, Christian Dornhege, Patrick Eyerich, Cyrill Stachniss, Bernhard Nebel and Wolfram Burgard.
    Coordinated Exploration with Marsupial Teams of Robots using Temporal Symbolic Planning.
    In Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010). 2010.
    (Show abstract) (PDF) (BIB)

  • Thomas Keller, Patrick Eyerich and Bernhard Nebel.
    Task Planning for an Autonomous Service Robot.
    In Rüdiger Dillmann, Jürgen Beyerer, Uwe Hanebeck and Tanja Schultz (eds.), Proceedings on the 33rd Annual German Conference on Artificial Intelligence (KI 2010), pp. 358-365. Springer-Verlag 2010.
    (Show abstract) (PDF) (BIB)

  • Moritz Göbelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner and Bernhard Nebel.
    Coming Up with Good Excuses: What To Do When No Plan Can be Found.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann and Henry Kautz (eds.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), pp. 81-88. AAAI Press 2010.
    (Show abstract) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller and Bernhard Nebel.
    Combining Action and Motion Planning via Semantic Attachments.
    In Proceedings of the Workshop on Combining Action and Motion Planning at ICAPS 2010 (CAMP 2010), p. 19. 2010.
    Extended Abstract.
    (PDF) (BIB)

2009

  • Marc Gissler, Christian Dornhege, Bernhard Nebel and Matthias Teschner.
    Deformable Proximity Queries and their Application in Mobile Manipulation Planning.
    In Symposium on Visual Computing (ISVC 2009), pp. 79-88. AAAI Press 2009.
    (Show abstract) (BIB)

  • Christian Dornhege, Marc Gissler, Matthias Teschner and Bernhard Nebel.
    Integrating Symbolic and Geometric Planning for Mobile Manipulation.
    In IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR 2009). 2009.
    (Show abstract) (PDF) (BIB)

  • Dapeng Zhang, Cai Zhongjie, Chen Kefei and Bernhard Nebel.
    A Game Controller Based on Multiple Sensors.
    In In Proceedings of the Fifth International Conference on Advances in Computer Entertainment Tochnology (ACE 2009). 2009.
    Video.
    (Show abstract) (PDF)

  • Christian Dornhege, Patrick Eyerich, Thomas Keller, Sebastian Trüg, Michael Brenner and Bernhard Nebel.
    Semantic Attachments for Domain-Independent Planning Systems.
    In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), pp. 114-121. AAAI Press 2009.
    (Show abstract) (PDF) (BIB)

  • Michael Brenner and Bernhard Nebel.
    Continual Planning and Acting in Dynamic Multiagent Environments.
    Journal of Autonomous Agents and Multiagent Systems 19 (3), pp. 297-331. 2009.
    (Show abstract) (PDF) (BIB)

  • Bernhard Nebel and Jochen Renz.
    A fixed-parameter tractable algorithm for spatio-temporal calendar management.
    In Proceedings of the 21th International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 879--884. AAAI Press 2009.
    (Show abstract) (PDF)

  • Bernhard Nebel and Stefan Wölfl.
    Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.
    2009.
    AAAI Technical Report SS-09-02.
    (AAAI)

2008

  • Paul Plöger, Kai Pervölz, Christoph Mies, Patrick Eyerich, Michael Brenner and Bernhard Nebel.
    The DESIRE Service Robotics Initiative.
    Künstliche Intelligenz 08 (4), pp. 29-32. 2008.
    (Show abstract)

  • Patrick Eyerich, Michael Brenner and Bernhard Nebel.
    On the Complexity of Planning Operator Subsumption.
    In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 518-527. AAAI Press 2008.
    (Show abstract) (PDF) (BIB)

  • Gabriele Röger, Malte Helmert and Bernhard Nebel.
    On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle.
    In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 544-550. AAAI Press 2008.
    (Show abstract) (PDF)

  • Jussi Rintanen, Bernhard Nebel, J. Christopher Beck and Eric Hansen (eds.).
    Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS 2008).
    AAAI Press, Menlo Park, California USA 2008.

  • Thilo Weigel and Bernhard Nebel.
    Tischfußball: Mensch versus Computer.
    Informatik Spektrum 31, pp. 323-332. 2008.
    (Show abstract)

  • Diedrich Wolter, Frank Dylla, Stefan Wölfl, Jan Oliver Wallgrün, Lutz Frommberger, Bernhard Nebel and Christian Freksa.
    SailAway: Spatial Cognition in Sea Navigation.
    Künstliche Intelligenz 08 (1), pp. 28-30. 2008.
    (DBLP)

  • Frank Dylla, Diedrich Wolter, Lutz Frommberger, Christian Freksa, Stefan Wölfl and Bernhard Nebel.
    Qualitative Methoden zur Steuerung von Agenten - SailAway: Raumkognition zur Steuerung von Schiffen.
    Industrie Management 4. 2008.
    (BIB)

  • Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel and Andreas Podelski.
    Faster than Uppaal?
    In A. Gupta and S. Malik (eds.), Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), pp. 552-555. Springer-Verlag 2008.
    (Show abstract) (PDF) (BIB)

  • Dapeng Zhang, Bernhard Nebel and Armin Hornung.
    Switching Attention Learning - A Paradigm for Introspection and Incremental Learning.
    In Proceedings of Fifth International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS 2008), pp. 99-104. Linz, Austria 2008.
    (Show abstract) (PDF) (PS.GZ)

2007

  • Anthony G. Cohn, Christian Freksa and Bernhard Nebel (eds.).
    Spatial Cognition: Specialization and Integration.
    Technical Report , Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), 2007.

  • Jochen Renz and Bernhard Nebel.
    Qualitative Spatial Reasoning using Constraint Calculi.
    In M. Aiello, I. Pratt-Hartmann and J. van Benthem (eds.), Handbook of Spatial Logics, pp. 161-215. Springer-Verlag 2007.

  • Dapeng Zhang and Bernhard Nebel.
    Recording and Segmenting Table Soccer Games -- Initial Results.
    In Proceedings of the 1st International Symposium on Skill Science 2007 (ISSS 2007), pp. 193-195. 2007.
    Poster.
    (Show abstract) (PDF) (PS.GZ)

  • Dapeng Zhang and Bernhard Nebel.
    Learning a Table Soccer Robot a New Action Sequence by Observing and Imitating.
    In Proceedings of the Third Artificial Intelligence for Interactive Digital Entertainment Conference (AIIDE 2007), pp. 61-67. 2007.
    Experiment Video.
    (Show abstract) (PDF) (PS.GZ)

  • Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Bernhard Nebel and Stefan Wölfl.
    Qualitative Spatial Reasoning for Rule Compliant Agent Navigation.
    In Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2007), pp. 673-674. AAAI Press 2007.
    (DBLP)

  • Gabriele Röger and Bernhard Nebel.
    Expressiveness of ADL and Golog: Functions Make a Difference.
    In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007), pp. 1051-1056. AAAI Press 2007.
    (Show abstract) (PDF) (PS.GZ)

  • Vittorio Ziparo, Alexander Kleiner, Bernhard Nebel and Daniele Nardi.
    RFID-Based Exploration for Large Robot Teams.
    In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA 2007), pp. 4606-4613. Rome, Italy 2007.
    (PDF) (BIB)

  • Sanjiang Li and Bernhard Nebel.
    Qualitative spatial representation and reasoning: A Hierarchical approach.
    The Computer Journal, pp. 391-402. 2007.
    (Show abstract)

  • Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer and Bernhard Nebel.
    Towards an Integration of Golog and Planning.
    In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 1846-1851. AAAI Press 2007.
    (Show abstract) (PDF) (BIB)

2006

  • Patrick Eyerich, Bernhard Nebel, Gerhard Lakemeyer and Jens Classen.
    Golog and PDDL: What is the Relative Expressiveness?
    In Proceedings of the International Symposium on Practical Cognitive Agents and Robots (PCAR 2006), pp. 93-104. University of Western Australia Press 2006.
    (Show abstract) (PDF) (BIB)

  • Michael Brenner and Bernhard Nebel.
    Continual Planning and Acting in Dynamic Multiagent Environments.
    In Proceedings of the International Symposium on Practical Cognitive Agents and Robots. Perth, Australia 2006.
    (PDF)

  • Jona Boeddinghaus, Marco Ragni, Markus Knauff and Bernhard Nebel.
    Simulating spatial reasoning using ACT-R.
    In Proceedings of the Seventh International Conference on Cognitive Modeling (ICCM 2006). 2006.
    (Show abstract) (PDF)

  • Alexander Kleiner, Johann Prediger and Bernhard Nebel.
    RFID Technology-based Exploration and SLAM for Search And Rescue.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2006), pp. 4054-4059. Beijing, China 2006.
    (Show abstract) (PDF) (BIB)

  • Alexander Kleiner, Christian Dornhege, Rainer Kuemmerle, Michael Ruhnke, Bastian Steder, Bernhard Nebel, Patrick Doherty, Mariusz Wzorek, Piotr Rudol, Gianpaolo Conte, S. Durante and D. Lundstrom.
    RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany), Team Description Paper.
    In CDROM Proceedings of the International RoboCup Symposium '05. Bremen, Germany 2006.
    (Show abstract) (PDF)

2005

  • Marco Ragni, Markus Knauff and Bernhard Nebel.
    A Computational Model for Spatial Reasoning with Mental Models.
    In Proceedings of the 27th Annual Cognitive Science Conference (CogSci-05). 2005.
    (Show abstract) (PDF)

  • Sylvie Thiebaux, Jörg Hoffmann and Bernhard Nebel.
    In Defense of Axioms in PDDL.
    Artificial Intelligence 168 (1-2), pp. 38-69. 2005.
    (Show abstract)

  • Thilo Weigel, Klaus Rechert and Bernhard Nebel.
    Behavior Recognition and Opponent Modeling for Adaptive Table Soccer Playing.
    In U. Furbach (ed.), KI 2005: Advances in Artificial Intelligence. Proceedings of the 28th Annual German Conference on Artificial Intelligence, pp. 335-350. Springer-Verlag 2005.

  • Alexander Kleiner, Michael Brenner, Tobias Braeuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger, Joerg Stueckler and Bernhard Nebel.
    Successful Search and Rescue in Simulated Disaster Areas.
    In Proceedings of the International RoboCup Symposium '05. Osaka, Japan 2005.
    (Show abstract) (PDF)

  • Alexander Kleiner, Bastian Steder, Christian Dornhege, Daniel Hoefler, Daniel Meyer-Delius, Johann Prediger, Joerg Stueckler, Kolja Glogowski, Markus Thurner, Matthias Luber, Michael Schnell, Rainer Kuemmerle, Timothy Burk, Tobias Braeuer and Bernhard Nebel.
    RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany), Team Description Paper.
    In CDROM Proceedings of the International RoboCup Symposium '05. Osaka, Japan 2005.
    (Show abstract) (PDF)

  • Bernhard Nebel, Thilo Weigel and Joachim Koschikowski.
    Tischfußball, Hockey oder dergleichen und Verfahren zur automatischen Ansteuerung der an Stangen angeordneten Spielfiguren eines Tischspielgeräts für Fußball-, Hockey- oder dergleichen.
    Deutsches Patent- und Markenamt Patent DE 102 12 475. 2005.
    (PDF)

2004

  • Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel and Thomas Barkowsky (eds.).
    Spatial Cognition IV.
    Volume 3343 of Lecture Notes in Artificial Intelligence.
    Springer-Verlag, Berlin, Heidelberg, New York 2004.

  • Alexander Scivos and Bernhard Nebel.
    The Finest of Its Class: The Natural Point-Based Ternary Calculus LR for Qualitative Spatial Reasoning.
    In Spatial Cognition IV, pp. 283-303. Springer-Verlag 2004.

  • Thilo Weigel, Dapeng Zhang, Klaus Rechert and Bernhard Nebel.
    Adaptive Vision for Playing Table Soccer.
    In S. Biundo, T. Frühwirth and G. Palm (eds.), KI 2004: Advances in Artificial Intelligence. Proceedings of the 27th Annual German Conference on Artificial Intelligence, pp. 424-438. Springer-Verlag 2004.
    (Show abstract) (PS.GZ) (PDF)

  • Moritz Tacke, Thilo Weigel and Bernhard Nebel.
    Decision-Theoretic Planning for Playing Table Soccer.
    In S. Biundo, T. Frühwirth and G. Palm (eds.), KI 2004: Advances in Artificial Intelligence. Proceedings of the 27th Annual German Conference on Artificial Intelligence, pp. 213-225. Springer-Verlag 2004.
    (Show abstract) (PS.GZ) (PDF)

  • Sebastian Trüg, Jörg Hoffmann and Bernhard Nebel.
    Applying Automatic Planning Techniques to Airport Ground-Traffic Control: A Feasibility Study.
    In S. Biundo, T. Frühwirth and G. Palm (eds.), KI 2004: Advances in Artificial Intelligence. Proceedings of the 27th Annual German Conference on Artificial Intelligence, pp. 183-197. Springer-Verlag 2004.

  • Bernhard Nebel.
    Formal Methods in Robotics.
    In Logics in Artificial Intelligence, 9th European Conference (JELIA 2004), p. 4. Springer-Verlag 2004.

  • Christian Köhler, Artur Ottlik, Hans-Hellmut Nagel and Bernhard Nebel.
    Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking.
    In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), pp. 1041-1042. IOS Press 2004.
    (Show abstract) (PDF) (PS.GZ) (technical report; PDF) (technical report; PS.GZ)

  • Bernhard Nebel and Yulia Babovitch-Lierler.
    When Are Behaviour Networks Well-Behaved?
    In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), pp. 672-676. IOS Press 2004.
    (Show abstract) (PDF)

  • Bernd Becker, Markus Behle, Fritz Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian and Ralf Wimmer.
    Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
    In Proceedings GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, pp. 65-75. Kaiserslautern 2004.
    (Show abstract) (PDF)

2003

  • Günther Görz and Bernhard Nebel (eds.).
    Künstliche Intelligenz.
    Fischer, Frankfurt/Main 2003.
    (Amazon)

  • Reinhard Moratz, Bernhard Nebel and Cristian Freksa.
    Qualitative Spatial Reasoning about Relative Position: The Tradeoff between Strong Formal Properties and Successful Reasoning about Route Graphs.
    In Spatial Cognition III, Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning, pp. 385-400. Springer-Verlag 2003.

  • Alankar Karol, Bernhard Nebel, Christopher Stanton and Mary-Anne Williams.
    Case Based Game Play in the RoboCup Four-Legged League: Part I The Theoretical Model.
    In RoboCup Symposium 2003, pp. 739-747. Padova, Italy 2003.
    (Show abstract) (PDF)

  • Sylvie Thiebaux, Jörg Hoffmann and Bernhard Nebel.
    In Defense of PDDL Axioms.
    In Proceedings of the 18th International Joint Conference on Artificial Intelligence. Acapulco, Mexico 2003.
    (Show abstract) (PS.GZ)

  • Sylvie Thiebaux, Jörg Hoffmann and Bernhard Nebel.
    In Defense of PDDL Axioms.
    In Proceedings of the Workshop on the Competition at ICAPS'03. Trento, Italy 2003.
    (PS.GZ)

2002

  • Bernhard Nebel.
    The Philosophical Soccer Player.
    In Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), p. 631. 2002.

  • Yannis Dimopoulos, Bernhard Nebel and Francesca Toni.
    On the Computational Complexity of Assumption-based Argumentation for Default Reasoning.
    Artificial Intelligence 141 (1-2), pp. 57-78. 2002.
    (Show abstract) (PS.GZ) (PDF)

  • Alfonso Gerevini and Bernhard Nebel.
    Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity.
    In Proceedings of the 15th European Conference on Artificial Intelligence (ECAI'02). 2002.
    (Show abstract) (PDF)

  • Markus Jäger and Bernhard Nebel.
    Dynamic Decentralized Area Partitioning for Cooperating Cleaning Robots.
    In ICRA'02. 2002.
    (Show abstract) (PS.GZ) (PDF)

  • Alexander Kleiner, Markus Dietl and Bernhard Nebel.
    Towards a Life-Long Learning Soccer Agent.
    In Proceedings of the International RoboCup Symposium '02. Fukuoka, Japan 2002.
    (Show abstract) (PS.GZ) (PDF)

  • Gerhard Lakemeyer and Bernhard Nebel (eds.).
    Exploring AI in the New Millenium.
    Morgan Kaufmann, San Francisco 2002.

  • Bernhard Nebel.
    Helfer aus dem Stadion.
    Gehirn & Geist Nr. 1/2002, pp. 6-8. 2002.

  • Bernhard Nebel.
    Fußball und Künstliche Intelligenz: Vom Denken zum Handeln.
    Künstliche Intelligenz Heft 1/02. 2002.
    (PS.GZ) (PDF)

  • Bernhard Nebel and Alexander Scivos.
    Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning.
    Künstliche Intelligenz Heft 4/02, pp. 14-18. 2002.
    (Show abstract) (PS.GZ) (PDF)

  • Thilo Weigel and Bernhard Nebel.
    KiRo - An Autonomous Table Soccer Player.
    In Proceedings of the International RoboCup Symposium '02. Fukuoka, Japan 2002.
    (Show abstract) (PS.GZ) (PDF)

  • Thilo Weigel, Jens-Steffen Gutmann, Markus Dietl, Alexander Kleiner and Bernhard Nebel.
    CS Freiburg: Coordinating Robots for Successful Soccer Playing.
    IEEE Transactions on Robotics and Automation 18 (5), pp. 685-699. 2002.
    (Show abstract)

2001

  • Wolfgang Hatzack and Bernhard Nebel.
    Solving the Operational Traffic Control Problem.
    In A. Cesta and D. Borrajo (eds.), Proceedings of the 6th European Conference on Planning (ECP 2001). 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Jörg Hoffmann and Bernhard Nebel.
    RIFO revisited: Detecting Relaxed Irrelevance.
    In A. Cesta and D. Borrajo (eds.), Proceedings of the 6th European Conference on Planning (ECP 2001). 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Markus Dietl, Jens-Steffen Gutmann and Bernhard Nebel.
    Cooperative Sensing in Dynamic Environments.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2001). 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Markus Dietl, Jens-Steffen Gutmann and Bernhard Nebel.
    CS Freiburg: Global View by Cooperative Sensing.
    In International RoboCup Symposium 2001. 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Jens-Steffen Gutmann, Thilo Weigel and Bernhard Nebel.
    A Fast, Accurate, and Robust Method for Self-Localization in Polygonal Environments Using Laser-Range-Finders.
    Advanced Robotics 14 (8), pp. 651-668. 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Jörg Hoffmann and Bernhard Nebel.
    The FF Planning System: Fast Plan Generation Through Heuristic Search.
    Journal of Artificial Intelligence Research 14, pp. 253-302. 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Jörg Hoffmann and Bernhard Nebel.
    What makes the difference between HSP and FF?
    In IJCAI Workshop on Empirical AI. Seattle 2001.
    (PS.GZ) (PDF)

  • Jörg Hoffmann and Bernhard Nebel.
    Towards Thorough Empirical Methods for AI Planning.
    In IJCAI Workshop on Empirical AI. Seattle 2001.
    (PS.GZ) (PDF)

  • Guido Isekenmeier, Bernhard Nebel and Thilo Weigel.
    Evaluation of the Performance of CS Freiburg 1999 and CS Freiburg 2000.
    In International RoboCup Symposium 2001. 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Markus Jäger and Bernhard Nebel.
    Decentralized Collision Avoidance, Deadlock Detection, and Deadlock Resolution for Multiple Mobile Robots.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2001). 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Bernhard Nebel (ed.).
    Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001).
    Morgan Kaufmann, Seattle, Washington, USA 2001.

  • Bernhard Nebel.
    Cooperating Physical Robots: A Lesson in Playing Robotic Soccer.
    In M. Luck, V. Marik, O. Stepankova and R. Trappl (eds.), Multi-Agent Systems and Applications, pp. 404-414. Springer-Verlag 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Bernhard Nebel.
    Publikationen, Zitate, Drittmittelprojekte und Promotionen an deutschen Informatikfakultäten im Spiegel des WWW.
    Informatik-Spektrum 24 (4), pp. 234-249. 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Bernhard Nebel.
    Logics for Knowledge Representation.
    In N. J. Smelser and P. B. Baltes (eds.), International Encyclopedia of the Social and Behavioral Sciences. Kluwer, Dordrecht 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Jochen Renz and Bernhard Nebel.
    Efficient Methods for Qualitative Spatial Reasoning.
    Journal of Artificial Intelligence Research 15, pp. 289-318. 2001.
    (Show abstract) (PS.GZ)

  • Alexander Scivos and Bernhard Nebel.
    Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation.
    In Proc. COSIT-2001. Springer-Verlag 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Thilo Weigel, Willi Auerbach, Markus Dietl, Burkhard Dümler, Jens-Steffen Gutmann, Kornel Marko, Klaus Müller, Bernhard Nebel, Boris Szerbakowski and Maximilian Thiel.
    CS Freiburg: Doing the Right Thing in a Group.
    In P. Stone, G. Kraetzschmar and T. Balch (eds.), RoboCup 2000: Robot Soccer World Cup IV, pp. 52-63. Springer-Verlag 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Thilo Weigel, Alexander Kleiner, Florian Diesch, Markus Dietl, Jens-Steffen Gutmann, Bernhard Nebel, Patrick Stiegeler and Boris Szerbakowski.
    CS Freiburg 2001.
    In International RoboCup Symposium 2001. 2001.
    (Show abstract) (PS.GZ) (PDF)

  • Thilo Weigel, Jens-Steffen Gutmann, Bernhard Nebel, Klaus Müller and Markus Dietl.
    CS Freiburg: Sophisticated Skills and Effective Cooperation.
    In Proc. European Control Conference (ECC-01). Porto, Portugal 2001.
    (Show abstract) (PS.GZ) (PDF)

2000

  • Yannis Dimopoulos, Bernhard Nebel and Francesca Toni.
    Finding Admissible and Preferred Arguments Can be Very Hard.
    In Principles of Knowledge Representation and Reasoning, Proceedings of the 7th International Conference (KR'2000). 2000.
    (Show abstract) (PS.GZ) (PDF)

  • Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor and Thilo Weigel.
    The CS Freiburg Team: Playing Robotic Soccer Based on an Explicit World Model.
    AI Magazine 21 (1), pp. 37-46. 2000.
    (Show abstract) (preliminary version; PS.GZ) (preliminary version; PDF)

  • Jens-Steffen Gutmann, Bernhard Nebel and Christian Reetz.
    CS Freiburg: Architektur und Aktionsauswahl im Roboterfuball.
    In Proc. AMS-2000. 2000.
    (Show abstract) (PS.GZ) (PDF)

  • Bernhard Nebel.
    On the Compilability and Expressive Power of Propositional Planning Formalisms.
    Journal of Artificial Intelligence Research 12, pp. 271-315. 2000.
    (Show abstract) (PS.GZ) (PDF)

  • Bernhard Nebel.
    On the Expressive Power of Planning Formalisms: Conditional Effects and Boolean Preconditions in the STRIPS Formalism.
    In J. Minker (ed.), Logic-Based Artificial Intelligence, pp. 469-490. Kluwer, Dordrecht 2000.
    (Show abstract) (PS.GZ) (PDF)

  • Bernhard Nebel.
    Knowledge Representation and Reasoning - The Theoretical Side of AI.
    In 14th European Conference on Artificial Intelligence, Proceedings (ECAI 2000), p. 763. Berlin, Germany 2000.
    (Show abstract) (PS.GZ) (PDF)

  • Bernhard Nebel and Thilo Weigel.
    The CS Freiburg 2000 Team.
    In Fourth International Workshop on RoboCup. Melbourne, Australia 2000.
    (PS.GZ) (PDF)

1999

  • Yannis Dimopoulos, Bernhard Nebel and Francesca Toni.
    Preferred Arguments are Harder to Compute than Stable Extensions.
    In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999). Stockholm, Sweden 1999.
    (Show abstract) (PS.GZ)

  • Jens-Steffen Gutmann, Thilo Weigel and Bernhard Nebel.
    Fast, Accurate, and Robust Self-Localization in Polygonal Environments.
    In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '99). Kyongju, Korea 1999.
    (Show abstract) (preliminary version; PS.GZ)

  • Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor, Thilo Weigel and Bruno Welsch.
    The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills.
    In M. Asada (ed.), RoboCup-98: Robot Soccer World Cup II, pp. 93-108. Springer-Verlag, Berlin, Heidelberg, New York 1999.
    (Show abstract) (PS.GZ)

  • Jens-Steffen Gutmann, Thilo Weigel and Bernhard Nebel.
    Fast, Accurate, and Robust Self-Localization in the RoboCup Environment.
    In Third International Workshop on RoboCup. 1999.
    (PS.GZ) (extended version from Proc. IROS-99; PS.GZ)

  • Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor and Thilo Weigel.
    Reliable Self-Localization, Multirobot Sensor Integration, Accurate Path-Planning and Basic Soccer Skills: Playing an Effective Game of Robotic Soccer.
    In Nineth International Conference on Advanced Robotics (ICAR 1999). 1999.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms.
    In KI-99: Advances in Artificial Intelligence. Springer-Verlag, Bonn 1999.
    (Show abstract) (PS.GZ) (extended technical report; PS.GZ)

  • Bernhard Nebel.
    What is the Expressive Power of Disjunctive Preconditions?
    In Proceedings of the 5th European Conference on Planning (ECP 1999). 1999.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Die Ausdrucksstärke von Planungsformalismen: Eine formale Charakterisierung.
    Künstliche Intelligenz Heft 3/99, pp. 12-19. 1999.
    (Show abstract) (preliminary version; PS.GZ)

  • Bernhard Nebel.
    Frame-Based Systems.
    In R. A. Wilson and F. Keil (eds.), MIT Encyclopedia of the Cognitive Sciences. MIT Press, Cambridge, MA 1999.

  • Bernhard Nebel, Jens-Steffen Gutmann and Wolfgang Hatzack.
    The CS Freiburg '99 Team.
    In Third International Workshop on RoboCup. 1999.
    (Show abstract) (PS.GZ)

  • Jochen Renz and Bernhard Nebel.
    On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus.
    Artificial Intelligence 108 (1-2), pp. 95-149. 1999.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Frame-Based Systems.
    In R. A. Wilson and F Keil (eds.), MIT Encyclopedia of the Cognitive Sciences, pp. 324-325. MIT Press, Cambridge, MA 1999.

1998

  • Bernhard Nebel.
    How Hard is it to Revise a Belief Base?
    In D. Dubois and H. Prade (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp. 77-145. Kluwer, Dordrecht, The Netherlands 1998.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel, Wolfgang Hatzack, Thilo Weigel, Jens-Steffen Gutmann, Immanuel Herrmann, Frank Rittinger and Augustinus Topor.
    CS Freiburg's Participation at RoboCup'98: The World Champions in Robotic Soccer.
    AI Communications 11, pp. 243-248. 1998.
    (Show abstract) (PS.GZ)

  • Jochen Renz and Bernhard Nebel.
    Efficient Methods for Qualitative Spatial Reasoning.
    In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98). 1998.
    (Show abstract) (PS.GZ) (C programs used for the evaluation; TAR.GZ) (hard instances; TAR.GZ)

  • Jochen Renz and Bernhard Nebel.
    Spatial Reasoning with Topological Information.
    In C. Freksa, C. Habel and K. F. Wender (eds.), Spatial Cognition - An interdisciplinary approach to representation and processing of spatial knowledge, pp. 351-372. Springer-Verlag, Berlin 1998.
    (Show abstract) (PS.GZ)

1997

  • Gerhard Brewka, Christopher Habel and Bernhard Nebel (eds.).
    KI-97: Advances in Artificial Intelligence.
    Volume 1303 of Lecture Notes in Artificial Intelligence.
    Springer-Verlag, Berlin, Heidelberg, New York 1997.
    (Show abstract)

  • Yannis Dimopoulos, Bernhard Nebel and Jana Koehler.
    Encoding planning problems in non-monotonic logic programs.
    In Proc. European Conference on Planning 1997 (ECP-97), pp. 169-181. Springer-Verlag 1997.
    (Show abstract) (PS.GZ)

  • Jens-Steffen Gutmann and Bernhard Nebel.
    Navigation mobiler Roboter mit Laserscans.
    In Autonome Mobile Systeme 1997 (AMS'97), pp. 36-47. Springer-Verlag 1997.
    (Show abstract) (PS.GZ)

  • Jana Koehler, Bernhard Nebel, Jörg Hoffmann and Yannis Dimopoulos.
    Extending Planning Graphs to an ADL Subset.
    In Proc. European Conference on Planning 1997 (ECP-97), pp. 273-285. Springer-Verlag 1997.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel, Yannis Dimopoulos and Jana Koehler.
    Ignoring Irrelevant Facts and Operators in Plan Generation.
    In Proc. European Conference on Planning 1997 (ECP-97), pp. 338-350. Springer-Verlag 1997.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class.
    CONSTRAINTS 1 (3), pp. 175-190. 1997.
    (Show abstract) (PS.GZ) (C programs used for the evaluation; TAR.GZ)

  • Jochen Renz and Bernhard Nebel.
    On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus.
    In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97), pp. 522-527. 1997.
    (Show abstract) (PS.GZ)

1996

  • Bernhard Nebel.
    Artificial Intelligence: A Computational Perspective.
    In G. Brewka (ed.), Principles of Knowledge Representation, pp. 237-266. CSLI Publications 1996.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class.
    In Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'96). 1996.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Terminologische Logiken.
    In G. Strube, B. Becker, C. Freksa, U. Hahn, K. Opwis and G. Plam (eds.), Wörterbuch der Kognitionswissenschaft, p. 385. Klett-Cotta, Stuttgart 1996.

  • Bernhard Nebel.
    Subsumption.
    In G. Strube, B. Becker, C. Freksa, U. Hahn, K. Opwis and G. Plam (eds.), Wörterbuch der Kognitionswissenschaft, p. 695. Klett-Cotta, Stuttgart 1996.

1995

  • Bernhard Nebel and Hans-Jürgen Bürckert.
    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
    Journal of the ACM 42, pp. 43-66. 1995.
    (Show abstract) (PS.GZ) (TAR.GZ)

  • Bernhard Nebel and Jana Koehler.
    Plan Reuse versus Plan Generation: A Theoretical and Empirical Analysis.
    Artificial Intelligence 76, pp. 427-454. 1995.
    (Show abstract) (PS.GZ)

  • Christer Bäckström and Bernhard Nebel.
    Complexity Results for SAS+ Planning.
    Computational Intelligence 11, pp. 625-655. 1995.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Komplexitätsanalysen in der Künstlichen Intelligenz.
    Künstliche Intelligenz 2/95, pp. 6-14. 1995.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Computational Properties of Qualitative Spatial Reasoning: First Results.
    In KI-95: Advances in Artificial Intelligence, pp. 233-244. Springer-Verlag, Bielefeld, Germany 1995.
    (Show abstract) (PS.GZ)

  • Alex Borgida, Maurizio Lenzerini, Daniele Nardi and Bernhard Nebel (eds.).
    Proceedings of the International Workshop on Description Logics.
    Technical Report 07.95, Universita degli Studi di Roma "La Sapienza", Dipartimento di Informatica e Sistemica, Roma, Italy, 1995.
    (Show abstract) (PS.GZ)

  • Elisabeth Andre, Wolfgang Finkler, Winfried Graf, Karin Harbusch, Jochen Heinsohn, Anne Kilger, Bernhard Nebel, Hans-Jürgen Profitlich, Thomas Rist, Wolfgang Wahlster, Aandreas Butz and and Aanthony Jameson.
    WIP: From Multimedia to Intellimedia (Abstract of Video).
    In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 2053-2054. Montreal, Canada 1995.

  • Bernd Owsnicki-Klewe, Kai von Luck and Bernhard Nebel.
    Wissensrepräsentation und Logik - Eine Einführung.
    In G. Görz (ed.), Einführung in die Künstliche Intelligenz, pp. 3-54. Addison-Wesley, Bonn 1995.
    1st edition: 1993.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Base Revision Operations and Schemes: Representation, Semantics and Complexity.
    In G. della Riccia, R. Kruse and R. Viertl (eds.), Mathematical and Statistical Methods in Artificial Intelligence, pp. 157-170. Springer-Verlag, Wien, New York 1995.
    (Show abstract)

1994

  • Gerhard Lakemeyer and Bernhard Nebel (eds.).
    Foundations of Knowledge Representation.
    Volume 810 of LNAI.
    Springer-Verlag, Berlin, Heidelberg, New York 1994.
    (Show abstract)

  • Bernhard Nebel and Leoni Dreschler-Fischer (eds.).
    Advances in Artificial Intelligence: Proceedings of the 18th Annual German Conference.
    Volume 861 of LNAI.
    Springer-Verlag, Berlin, Heidelberg, New York 1994.
    (Show abstract)

  • Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel and and Hans-Jürgen Profitlich.
    An Empirical Analysis of Terminological Representation Systems.
    Artificial Intelligence 68, pp. 367-397. 1994.
    (Show abstract) (PS.GZ)

  • Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich and Enrico Franconi.
    An Empirical Analysis of Optimization Techniques for Terminological Representation Systems or ``Making KRIS get a move on''.
    Applied Intelligence 4, pp. 109-132. 1994.
    (Show abstract) (PS.GZ)

  • Sonia Bergamaschi and Bernhard Nebel.
    Automatic Building and Validation of Multiple Inheritance Complex Object Database Schemata.
    Applied Intelligence 4, pp. 185-204. 1994.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel and Christer Bäckström.
    On the Computational Complexity of Temporal Projection, Planning, and Plan Validation.
    Artificial Intelligence 66, pp. 125-160. 1994.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Base Revision Operations and Schemes: Representation, Semantics and Complexity.
    In Proceedings of the 11th European Conference on Artificial Intelligence (ECAI'94), pp. 341-345. 1994.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel and Hans-Jürgen Bürckert.
    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
    In Proceedings of the 12th National Conference of the American Association for Artificial Intelligence (AAAI'94), pp. 356-361. 1994.
    (Show abstract) (PS.GZ) (TAR.GZ)

  • Gerhard Lakemeyer and Bernhard Nebel.
    Foundations of Knowledge Representation and Reasoning: A Guide to This Volume.
    In G. Lakemeyer and B. Nebel (eds.), Foundations of Knowledge Representation and Reasoning, pp. 1-12. Springer-Verlag, Berlin, Heidelberg, New York 1994.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel and Hans-Jürgen Bürckert.
    Managing Qualitative Temporal Information: Expressiveness vs. Complexity.
    In K. von Luck and H. Marburger (eds.), Management and Processing of Complex Data Structures, pp. 104-117. Springer-Verlag, Berlin, Heidelberg, New York 1994.
    (Show abstract)

1993

  • Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt and Gert Smolka.
    On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations.
    Journal of Logic, Language and Information 2, pp. 1-18. 1993.
    (Show abstract) (PS.GZ)

  • Christer Bäckström and Bernhard Nebel.
    Complexity Results for SAS+ Planning.
    In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93). Chambery, France 1993.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel and Jana Koehler.
    Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective.
    In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93), pp. 1436-1441. Chambery, France 1993.
    (Show abstract) (PS.GZ)

  • Lin Padgham and Bernhard Nebel.
    Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step.
    In Methodologies for Intelligent Systems (ISMIS'93), pp. 132-141. Springer-Verlag 1993.
    (Show abstract) (PS.GZ)

  • Elisabeth Andre, Winfried Graf, Jochen Heinsohn, Bernhard Nebel, Hans-Jürgen Profitlich, Thomas Rist and Wolfgang Wahlster.
    PPP: Personalized Plan-Based Presenter - Project Proposal.
    DFKI Document D-93-05, DFKI, Saarbrücken, 1993.
    (Show abstract)

  • Bernhard Nebel and Jana Koehler.
    Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective.
    In Horz (ed.), Beiträge zum 7. Workshop "Planen und Konfigurieren", pp. 7-17. 1993.
    Arbeitspapiere der GMD 723.

1992

  • Bernhard Nebel and Charles Rich and William Swartout (eds.).
    Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR'92).
    Morgan Kaufmann, Cambridge, MA 1992.
    (Show abstract)

  • Franz Baader, Bernhard Hollunder, Bernhard Nebel and Hans-Jürgen Profitlich Enrico Franconi.
    An Empirical Analysis of Optimization Techniques for Terminological Representation Systems.
    In Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR'92), pp. 270-281. Morgan Kaufmann, Cambridge, MA 1992.
    (Show abstract) (PS.GZ)

  • Christer Bäckström and Bernhard Nebel.
    On the Computational Complexity of Planning and Story Understanding.
    In Proceedings of the 10th European Conference on Artificial Intelligence (ECAI'92), pp. 349-353. Vienna, Austria 1992.
    (Show abstract) (PS.GZ)

  • Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel and and Hans-Jürgen Profitlich.
    An Empirical Analysis of Terminological Representation Systems.
    In Proceedings of the 10th National Conference of the American Association for Artificial Intelligence (AAAI'92). San Jose, CA 1992.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel, Christer Bäckström and .
    On the Computational Complexity of Temporal Projection and Plan Validation.
    In Proceedings of the 10th National Conference of the American Association for Artificial Intelligence (AAAI'92), pp. 748-753. San Jose, CA 1992.
    (Show abstract) (PS.GZ)

  • L. Padgham and Bernhard Nebel.
    Combining Classification and Nonmonotonic Inheritance Reasoning.
    In Working Notes of the AAAI Fall Symposium 1992 on "Issues in Description Logics: Users Meet Developers", pp. 64-71. Cambridge, MA 1992.

  • Bernhard Nebel.
    Computational Complexity and KR&R: Is Polynomial Time All that Matters?
    In Workshop Notes of the AAAI'92 Workshop on "Tractable Reasoning", pp. 126-129. San Jose, CA 1992.

  • Bernhard Nebel.
    Syntax-Based Approaches to Belief Revision.
    In P. Gärdenfors (ed.), Belief Revision, pp. 52-88. Cambridge University Press, Cambridge, UK 1992.
    (Show abstract) (PS.GZ)

1991

  • Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel and Hans-Jürgen Profitlich.
    An Empirical Analysis of Terminological Representation Systems,.
    In C. Peltason and K. von Luck and C. Kindermann (eds.), Terminological Logic Users Workshop - Proceedings, pp. 15-26. Berlin, Germany 1991.
    KIT Report 95.

  • Bernhard Nebel.
    Belief Revision and Default Reasoning: Syntax-Based Approaches.
    In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pp. 417-428. Cambridge, MA 1991.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel, Kai von Luck and and Christof Peltason (eds.).
    International Workshop on Terminological Logics.
    DFKI Document D-91-13, DFKI, Saarbrücken, 1991.
    Also: KIT Report 89, Fachbereich Informatik, Technische Universität Berlin and IWBS Report, IBM Deutschland, Stuttgart.
    (Show abstract)

  • Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel and Hans-Jürgen Profitlich.
    Integration of Action Representation in Terminological Logics.
    In C. Peltason, K. von Luck and C. Kindermann (eds.), Terminological Logic Users Workshop - Proceedings. Berlin, Germany 1991.
    KIT Report 95.

  • Hans-Jürgen Profitlich, Jochen Heinsohn, Daniel Kudenko and Bernhard Nebel.
    A Comparative Analysis of Terminological Representation Systems,.
    In Working Notes of the AAAI Spring Symposium 1991 on "Implemented Knowledge Representation Systems", pp. 347-360. Stanford University, Stanford, CA 1991.

  • Sonia Bergamaschi and Bernhard Nebel.
    The Complexity of Multiple Inheritance in Complex Object Data Models,.
    In Workshop Notes of the IJCAI'91 Workshop on "Objects and AI". Sydney, Australien 1991.

  • Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt and Hans-Jürgen Profitlich.
    Terminological Knowledge Representation: A proposal for a Terminological Logic.
    In B. Nebel, K. von Luck and and C. Peltason (eds.), International Workshop on Terminological Logics, pp. 120-128. Dagstuhl, Germany 1991.
    DFKI Document D-91-13.

  • Bernhard Nebel, Kai von Luck and Christof Peltason (eds.).
    International Workshop on Terminological Logics.
    Dagstuhl-Seminar-Report 12 (9119), Schloss Dagstuhl, 1991.
    (Show abstract) (PDF)

  • Bernhard Nebel and Gert Smolka.
    Attributive Description Formalisms ... and the Rest of the World.
    In O. Herzog and C.-R. Rollinger (eds.), Textunderstanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence, pp. 439-452. Springer-Verlag, Berlin 1991.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel and Christof Peltason.
    Terminological Reasoning and Information Management.
    In D. Karagianis (ed.), Artificial Intelligence and Information Systems: Integration Aspects, pp. 181-212. Springer-Verlag, Berlin 1991.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Terminological Cycles: Semantics and Computational Properties.
    In J. Sowa (ed.), Principles of Semantic Networks, pp. 331-362. Morgan Kaufmann, San Mateo 1991.
    (Show abstract) (PS.GZ)

1990

  • Bernhard Nebel.
    Reasoning and Revision in Hybrid Representation Systems.
    Volume 422 of LNAI.
    Springer-Verlag, Berlin, Heidelberg, New York 1990.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    Terminological Reasoning is Inherently Intractable.
    Artificial Intelligence 43, pp. 235-249. 1990.
    (Show abstract) (PS.GZ)

  • Sonia Bergamaschi and Bernhard Nebel.
    Theoretical Foundations of Complex Object Data Models.
    Technical Report 74, CIOC-CNR, Universita di Bologna, Italy, 1990.
    (Show abstract)

  • Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Hans Jürgen Müller, Bernhard Nebel, Werner Nutt and Hans-Jürgen Profitlich.
    Terminological Knowledge Representation: A proposal for a Terminological Logic.
    DFKI Memo TM-90-04, DFKI, Kaiserslautern/Saarbrücken, 1990.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel and Gert Smolka.
    Representation and Reasoning with Attributive Descriptions.
    In K.-H. Bläsius, U. Hedtstück and C. Rollinger (eds.), Sorts and Types in Artificial Intelligence, pp. 112-139. Springer-Verlag, Berlin 1990.
    (Show abstract)

1989

  • Bernhard Nebel.
    What is Hybrid in Hybrid Representation and Reasoning Systems?
    In Computational Intelligence, II (CI'89). Milano, Italy 1989.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    A Knowledge Level Analysis of Belief Revision.
    In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pp. 301-311. Toronto, ON 1989.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel.
    On Terminological Cycles.
    In Preprints of the Workshop on Formal Aspects of Semantic Networks. Catalina Island, CA 1989.

1988

  • Bernhard Nebel.
    Computational Complexity of Terminological Reasoning in BACK.
    Artificial Intelligence 34, pp. 371-383. 1988.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel and Kai von Luck.
    Hybrid Reasoning in BACK.
    In Methodologies for Intelligent Systems (ISMIS'88), pp. 260-269. North-Holland 1988.
    (Show abstract) (PS.GZ)

  • Bernhard Nebel and Kai von Luck.
    BACK: A Hybrid Reasoner.
    In A. M. Frisch (ed.), Proc. 1988 Workshop on Principles of Hybrid Reasoning, pp. 151-165. St. Paul, MI 1988.

  • Kai von Luck, Bernhard Nebel and Hans-Jochen Schneider.
    Aspects of Knowledge Base Management Systems.
    In G. Rahmstorf (ed.), Wissensrepräsentation in Expertensystemen, pp. 146-157. Springer-Verlag, Berlin 1988.
    (Show abstract)

1987

  • Bernhard Nebel and Kai von Luck.
    Issues of Integration and Balancing in Hybrid Knowledge Representation Systems.
    In GWAI-87, pp. 114-123. Springer-Verlag 1987.
    (Show abstract) (PS.GZ)

  • Christof Peltason, Kai von Luck, Bernhard Nebel and Albrecht Schmiedel.
    The User's Guide to the BACK System.
    KIT Report 42, Fachbereich Informatik, Technische Universität Berlin, 1987.
    (Show abstract)

  • Kai von Luck, Bernhard Nebel, Christof Peltason and Albrecht Schmiedel.
    The Anatomy of the BACK System.
    KIT Report 41, Fachbereich Informatik, Technische Universität Berlin, 1987.
    (Show abstract)

1986

  • Bernhard Nebel and Norman Sondheimer.
    NIGEL Gets to Know Logic: An Experiment in Natural Language Generation Taking a Logical, Knowledge-Based View.
    In GWAI-86 und 2. österreichische Artificial-Intelligence-Tagung, pp. 75-86. Springer-Verlag 1986.
    (Show abstract)

  • Norman Sondheimer and Bernhard Nebel.
    A Logical-Form and Knowledge-Base Design for Natural Language Generation.
    In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI'86), pp. 612-618. Philadelphia, PA 1986.
    (Show abstract)

  • Kai von Luck, Bernhard Nebel, Christof Peltason and Albrecht Schmiedel.
    BACK to Consistency and Incompleteness.
    In GWAI-85, pp. 245-257. Springer-Verlag 1986.
    (Show abstract)

  • Albrecht Schmiedel, Kai von Luck, Bernhard Nebel and Christof Peltason.
    Bitter Pills - A Case Study in Knowledge Representation.
    KIT Report 39, Fachbereich Informatik, Technische Universität Berlin, 1986.

1985

  • Bernhard Nebel.
    How well does a vanilla loop fit into a frame?
    Data & Knowledge Engineering 1, pp. 181-194. 1985.
    (Show abstract)

  • Bernhard Nebel (ed.).
    Papiere zum Workshop "Logisches Programmieren and LISP".
    KIT Report 31, Fachbereich Informatik, Technische Universität Berlin, 1985.
    (Show abstract)

  • Kai von Luck, Bernhard Nebel, Christof Peltason and Albrecht Schmiedel.
    The BACK System.
    KIT Report 28, Fachbereich Informatik, Technische Universität Berlin, 1985.
    (Show abstract)

1984

  • Heinz Marburger, Katharina Morik and Bernhard Nebel.
    HAM-ANS on Tour: Bericht über eine USA-Reise.
    HAM-ANS Memo ANS-24, Forschungsstelle für Informationswissenschaft und Künstliche Intelligenz, Universität Hamburg, 1984.

  • Wolfgang Hoeppner, Stephan Busemann, Thomas Christaller, Heinz Marburger, Katharina Morik and Bernhard Nebel.
    Dialoging HAM-ANS: Commented Terminal Sessions with a Natural Language System.
    HAM-ANS Memo ANS-23, Forschungsstelle für Informationswissenschaft und Künstliche Intelligenz, Universität Hamburg, 1984.

  • Bernhard Nebel.
    ULM: Ein UCI-LISP - Lispmaschinen-LISP übersetzungssystem.
    HAM-ANS Memo ANS-22, Forschungsstelle für Informationswissenschaft und Künstliche Intelligenz, Universität Hamburg, 1984.
    (Show abstract)

1983

  • Bernhard Nebel.
    Ist LISP eine `langsame' Sprache?
    In GWAI-83, pp. 21-30. Springer-Verlag 1983.
    (Show abstract)

  • Wolfgang Hoeppner, Thomas Christaller, Heinz Marburger, Katharina Morik, Bernhard Nebel, Mike O'Leary and Wolfgang Wahlster.
    Beyond Domain-Independence: Experience with the Development of a German Natural Language Access System to Highly Diverse Background Systems.
    In Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI'83), pp. 588-594. Karlsruhe, Germany 1983.
    (Show abstract)

  • Thomas Christaller, Walther von Hahn, Wolfgang Hoeppner, Heinz Marburger, Katharina Morik, Bernhard Nebel and Wolfgang Wahlster.
    Wissensbasierter natürlichsprachlicher Zugang zu unterschiedlichen Diskursbereichen mit dem KI-System HAM-ANS.
    HAM-ANS Bericht ANS-12, Forschungsstelle für Informationswissenschaft und Künstliche Intelligenz, Universität Hamburg, 1983.
    (Show abstract)

  • Rolf Dannenberg and Bernhard Nebel.
    Eine dynamische Speicherallokationsstrategie für UCI-LISP.
    HAM-ANS Memo ANS-20, Forschungsstelle für Informationswissenschaft und Künstliche Intelligenz, Universität Hamburg, 1983.
    (Show abstract)

  • Heinz Marburger and Bernhard Nebel.
    Natürlichsprachlicher Datenbankzugang mit HAM-ANS: Syntaktische Korrespondenz, natürlichsprachliche Quantifizierung und semantisches Modell des Diskursbereiches.
    In J. W. Schmidt (ed.), Sprachen für Datenbanken, pp. 26-41. Springer-Verlag, Berlin 1983.
    (Show abstract)

1982

  • Bernhard Nebel and Heinz Marburger.
    Das natürlichsprachliche System HAM-ANS: Intelligenter Zugriff auf heterogene Wissens- und Datenbasen.
    In GI - 12. Jahrestagung, pp. 392-402. Springer-Verlag 1982.
    (Show abstract)

  • Bernhard Nebel.
    Der Systemrahmen von HAM-ANS.
    HAM-ANS Memo ANS-7, Forschungsstelle für Informationswissenschaft und Künstliche Intelligenz, Universität Hamburg, 1982.

1980

  • Bernhard Nebel.
    Weiterführende Arbeiten am COPANET-Compiler: Realisierung der verdeckten Interrechner-Kommunikation im COPANET.
    Bericht 71, Fachbereich Informatik, Universität Hamburg, 1980.

1979

  • Bernd Brügge, Klaus Mühle, Bernhard Nebel, Helmut Faasch and Hans-Hellmut Nagel.
    Optimierung und Erweiterung des DECSystem-10 PASCAL Compilers.
    Mitteilung 65, Institut für Informatik, Universität Hamburg, 1979.

1976

  • Michael Mittelstein, Bernhard Nebel, Bernd Pretschner and Peter Schefe.
    HASY - Ein Programm zur syntaktischen Analyse natürlicher Sprachen.
    Mitteilung 36, Institut für Informatik, Universität Hamburg, 1976.

  • Bernhard Nebel and Bernd Pretschner.
    Erweiterung des DECSystem-10 PASCAL-Compilers um eine Möglichkeit zur Erzeugung eines Post-Mortem-Dump.
    Mitteilung 34, Institut für Informatik, Universität Hamburg, 1976.