Uni-Logo

Prof. Dr. Bernhard Nebel – Publikationen

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

2014

  • Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb und Bernhard Nebel.
    An Experimental Comparison of Classical, FOND and Probabilistic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014). 2014.
    To appear.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Becker-Asano, F. Ruzzoli, Hölscher, C. und Bernhard Nebel.
    A Multi-Agent System based on Unity 4 for virtual perception and wayfinding.
    In Proc. of the Conference in Pedestrian and Evacuation Dynamics 2014 (PED2014). 2014.
    To appear.

  • Christian Becker-Asano, Arras, K. O. und Bernhard Nebel.
    Robotic tele-presence with DARYL in the wild.
    In Proc. of the 2nd Intl. Conf. on Human-Agent Interaction. 2014.
    To appear.

  • Christian Becker-Asano, E. Meneses, N. Riesterer, Julien Hué, Christian Dornhege und Bernhard Nebel.
    The hybrid agent MARCO: A Multimodal Autonomous Robotic Chess Opponent.
    In Proc. of the 2nd Intl. Conf. on Human-Agent Interaction. 2014.
    To appear.

  • Dali Sun, Alexander Kleiner und Bernhard Nebel.
    Behavior-based Multi-Robot Collision Avoidance.
    In Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA). 2014.
    To appear.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Becker-Asano, Severin Gustorff, Kai O Arras und 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.
    To appear.

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

2013

  • Christian Dornhege, Andreas Hertle und 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 und 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 und Bernhard Nebel.
    Transition Constraints: A Study on the Computational Complexity of Qualitative Change.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'13). 2013.
    (Abstract einblenden)

  • Christian Becker-Asano, Dali Sun, Corinna N. Scheel, Brunna Tuschen-Caffier und 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.
    (Abstract einblenden)

  • Christian Becker-Asano, Philip Stahl, Marco Ragni, Jean-Claude Martin, Matthieu Courgeon und 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), S. 406-415. 2013.
    (Abstract einblenden)

  • Bernhard Nebel, Christian Dornhege und 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 und Bernhard Nebel.
    Domain Predictive Control Under Uncertain Numerical State Information.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS13). 2013.
    (Abstract einblenden) (PDF) (BIB)

  • Christian Becker-Asano, Severin Gustorff, Kai Oliver Arras, Kohei Ogawa, Shuichi Nishio, Hiroshi Ishiguro und 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, S. 79-80. 2013.

  • Kai M. Wurm, Christian Dornhege, Cyrill Stachniss, Bernhard Nebel und 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 und Hiroshi Ishiguro.
    The Effect of Anthropomorphism on Social Tele-Embodiment.
    In IROS 2012 Workshop on Human-Agent Interaction. 2012.
    (Abstract einblenden)

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

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

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

  • Johannes Löhr, Patrick Eyerich, Thomas Keller und 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.
    (Abstract einblenden) (PDF)

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

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

2011

  • Alexander Kleiner, Bernhard Nebel und 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.
    (Abstract einblenden) (PDF) (BIB)

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

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

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

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

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

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

  • Dapeng Zhang und 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.
    (Abstract einblenden) (PDF)

  • Brunna Tuschen-Caffier, Birgit Kleim, Christian Becker-Asano, Dali Sun, Bernhard Nebel und 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 und Bernhard Nebel.
    CoVE: Coping in Virtual Emergencies.
    In Workshop on Emotion and Computing - Current Research and Future Impact, S. 1. 2011.
    (PDF) (BIB)

2010

  • Dapeng Zhang, Cai Zhongjie und 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.
    (Abstract einblenden) (PDF)

  • Kai M. Wurm, Christian Dornhege, Patrick Eyerich, Cyrill Stachniss, Bernhard Nebel und 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.
    (Abstract einblenden) (PDF) (BIB)

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

  • Moritz Göbelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner und 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 und Henry Kautz (Hrsg.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), S. 81-88. AAAI Press 2010.
    (Abstract einblenden) (PDF) (BIB)

  • Patrick Eyerich, Thomas Keller und 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), S. 19. 2010.
    Extended Abstract.
    (PDF) (BIB)

2009

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

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

  • Dapeng Zhang, Cai Zhongjie, Chen Kefei und 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.
    (Abstract einblenden) (PDF)

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

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

  • Bernhard Nebel und 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), S. 879--884. AAAI Press 2009.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel und 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 und Bernhard Nebel.
    The DESIRE Service Robotics Initiative.
    Künstliche Intelligenz 08 (4), S. 29-32. 2008.
    (Abstract einblenden)

  • Patrick Eyerich, Michael Brenner und 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), S. 518-527. AAAI Press 2008.
    (Abstract einblenden) (PDF) (BIB)

  • Gabriele Röger, Malte Helmert und 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), S. 544-550. AAAI Press 2008.
    (Abstract einblenden) (PDF)

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

  • Thilo Weigel und Bernhard Nebel.
    Tischfußball: Mensch versus Computer.
    Informatik Spektrum 31, S. 323-332. 2008.
    (Abstract einblenden)

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

  • Frank Dylla, Diedrich Wolter, Lutz Frommberger, Christian Freksa, Stefan Wölfl und 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 und Andreas Podelski.
    Faster than Uppaal?
    In A. Gupta und S. Malik (Hrsg.), Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), S. 552-555. Springer-Verlag 2008.
    (Abstract einblenden) (PDF) (BIB)

  • Dapeng Zhang, Bernhard Nebel und 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), S. 99-104. Linz, Austria 2008.
    (Abstract einblenden) (PDF) (PS.GZ)

2007

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

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

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

  • Dapeng Zhang und 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), S. 61-67. 2007.
    Experiment Video.
    (Abstract einblenden) (PDF) (PS.GZ)

  • Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Bernhard Nebel und 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), S. 673-674. AAAI Press 2007.
    (DBLP)

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

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

  • Sanjiang Li und Bernhard Nebel.
    Qualitative spatial representation and reasoning: A Hierarchical approach.
    The Computer Journal, S. 391-402. 2007.
    (Abstract einblenden)

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

2006

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

  • Michael Brenner und 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 und Bernhard Nebel.
    Simulating spatial reasoning using ACT-R.
    In Proceedings of the Seventh International Conference on Cognitive Modeling (ICCM 2006). 2006.
    (Abstract einblenden) (PDF)

  • Alexander Kleiner, Johann Prediger und 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), S. 4054-4059. Beijing, China 2006.
    (Abstract einblenden) (PDF) (BIB)

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

2005

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

  • Sylvie Thiebaux, Jörg Hoffmann und Bernhard Nebel.
    In Defense of Axioms in PDDL.
    Artificial Intelligence 168 (1-2), S. 38-69. 2005.
    (Abstract einblenden)

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

  • Alexander Kleiner, Michael Brenner, Tobias Braeuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger, Joerg Stueckler und Bernhard Nebel.
    Successful Search and Rescue in Simulated Disaster Areas.
    In Proceedings of the International RoboCup Symposium '05. Osaka, Japan 2005.
    (Abstract einblenden) (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 und Bernhard Nebel.
    RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany), Team Description Paper.
    In CDROM Proceedings of the International RoboCup Symposium '05. Osaka, Japan 2005.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel, Thilo Weigel und 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 und Thomas Barkowsky (Hrsg.).
    Spatial Cognition IV.
    Band 3343 von Lecture Notes in Artificial Intelligence.
    Springer-Verlag, Berlin, Heidelberg, New York 2004.

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

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

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

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

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

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

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

  • Bernd Becker, Markus Behle, Fritz Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian und 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, S. 65-75. Kaiserslautern 2004.
    (Abstract einblenden) (PDF)

2003

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

  • Reinhard Moratz, Bernhard Nebel und 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, S. 385-400. Springer-Verlag 2003.

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

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

  • Sylvie Thiebaux, Jörg Hoffmann und 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), S. 631. 2002.

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

  • Alfonso Gerevini und 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.
    (Abstract einblenden) (PDF)

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

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

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

  • Bernhard Nebel.
    Helfer aus dem Stadion.
    Gehirn & Geist Nr. 1/2002, S. 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 und Alexander Scivos.
    Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning.
    Künstliche Intelligenz Heft 4/02, S. 14-18. 2002.
    (Abstract einblenden) (PS.GZ) (PDF)

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

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

2001

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

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

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

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

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

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

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

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

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

  • Markus Jäger und 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.
    (Abstract einblenden) (PS.GZ) (PDF)

  • Bernhard Nebel (Hrsg.).
    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 und R. Trappl (Hrsg.), Multi-Agent Systems and Applications, S. 404-414. Springer-Verlag 2001.
    (Abstract einblenden) (PS.GZ) (PDF)

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

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

  • Jochen Renz und Bernhard Nebel.
    Efficient Methods for Qualitative Spatial Reasoning.
    Journal of Artificial Intelligence Research 15, S. 289-318. 2001.
    (Abstract einblenden) (PS.GZ)

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

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

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

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

2000

  • Yannis Dimopoulos, Bernhard Nebel und 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.
    (Abstract einblenden) (PS.GZ) (PDF)

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

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

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

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

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

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

1999

  • Yannis Dimopoulos, Bernhard Nebel und 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.
    (Abstract einblenden) (PS.GZ)

  • Jens-Steffen Gutmann, Thilo Weigel und 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.
    (Abstract einblenden) (preliminary version; PS.GZ)

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

  • Jens-Steffen Gutmann, Thilo Weigel und 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 und 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.
    (Abstract einblenden) (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.
    (Abstract einblenden) (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.
    (Abstract einblenden) (PS.GZ)

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

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

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

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

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

1998

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

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

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

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

1997

  • Gerhard Brewka, Christopher Habel und Bernhard Nebel (Hrsg.).
    KI-97: Advances in Artificial Intelligence.
    Band 1303 von Lecture Notes in Artificial Intelligence.
    Springer-Verlag, Berlin, Heidelberg, New York 1997.
    (Abstract einblenden)

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

  • Jens-Steffen Gutmann und Bernhard Nebel.
    Navigation mobiler Roboter mit Laserscans.
    In Autonome Mobile Systeme 1997 (AMS'97), S. 36-47. Springer-Verlag 1997.
    (Abstract einblenden) (PS.GZ)

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

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

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

  • Jochen Renz und 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), S. 522-527. 1997.
    (Abstract einblenden) (PS.GZ)

1996

  • Bernhard Nebel.
    Artificial Intelligence: A Computational Perspective.
    In G. Brewka (Hrsg.), Principles of Knowledge Representation, S. 237-266. CSLI Publications 1996.
    (Abstract einblenden) (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.
    (Abstract einblenden) (PS.GZ)

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

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

1995

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

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

  • Christer Bäckström und Bernhard Nebel.
    Complexity Results for SAS+ Planning.
    Computational Intelligence 11, S. 625-655. 1995.
    (Abstract einblenden) (PS.GZ)

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

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

  • Alex Borgida, Maurizio Lenzerini, Daniele Nardi und Bernhard Nebel (Hrsg.).
    Proceedings of the International Workshop on Description Logics.
    Technischer Bericht 07.95, Universita degli Studi di Roma "La Sapienza", Dipartimento di Informatica e Sistemica, Roma, Italy, 1995.
    (Abstract einblenden) (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 und and Aanthony Jameson.
    WIP: From Multimedia to Intellimedia (Abstract of Video).
    In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), S. 2053-2054. Montreal, Canada 1995.

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

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

1994

  • Gerhard Lakemeyer und Bernhard Nebel (Hrsg.).
    Foundations of Knowledge Representation.
    Band 810 von LNAI.
    Springer-Verlag, Berlin, Heidelberg, New York 1994.
    (Abstract einblenden)

  • Bernhard Nebel und Leoni Dreschler-Fischer (Hrsg.).
    Advances in Artificial Intelligence: Proceedings of the 18th Annual German Conference.
    Band 861 von LNAI.
    Springer-Verlag, Berlin, Heidelberg, New York 1994.
    (Abstract einblenden)

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

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

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

  • Bernhard Nebel und Christer Bäckström.
    On the Computational Complexity of Temporal Projection, Planning, and Plan Validation.
    Artificial Intelligence 66, S. 125-160. 1994.
    (Abstract einblenden) (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), S. 341-345. 1994.
    (Abstract einblenden) (PS.GZ)

  • Bernhard Nebel und 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), S. 356-361. 1994.
    (Abstract einblenden) (PS.GZ) (TAR.GZ)

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

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

1993

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

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

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

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

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

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

1992

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

  • Franz Baader, Bernhard Hollunder, Bernhard Nebel und 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), S. 270-281. Morgan Kaufmann, Cambridge, MA 1992.
    (Abstract einblenden) (PS.GZ)

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

  • Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel und 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.
    (Abstract einblenden) (PS.GZ)

  • Bernhard Nebel, Christer Bäckström und .
    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), S. 748-753. San Jose, CA 1992.
    (Abstract einblenden) (PS.GZ)

  • L. Padgham und 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", S. 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", S. 126-129. San Jose, CA 1992.

  • Bernhard Nebel.
    Syntax-Based Approaches to Belief Revision.
    In P. Gärdenfors (Hrsg.), Belief Revision, S. 52-88. Cambridge University Press, Cambridge, UK 1992.
    (Abstract einblenden) (PS.GZ)

1991

  • Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel und Hans-Jürgen Profitlich.
    An Empirical Analysis of Terminological Representation Systems,.
    In C. Peltason und K. von Luck and C. Kindermann (Hrsg.), Terminological Logic Users Workshop - Proceedings, S. 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), S. 417-428. Cambridge, MA 1991.
    (Abstract einblenden) (PS.GZ)

  • Bernhard Nebel, Kai von Luck und and Christof Peltason (Hrsg.).
    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.
    (Abstract einblenden)

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

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

  • Sonia Bergamaschi und 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 und Hans-Jürgen Profitlich.
    Terminological Knowledge Representation: A proposal for a Terminological Logic.
    In B. Nebel, K. von Luck und and C. Peltason (Hrsg.), International Workshop on Terminological Logics, S. 120-128. Dagstuhl, Germany 1991.
    DFKI Document D-91-13.

  • Bernhard Nebel, Kai von Luck und Christof Peltason (Hrsg.).
    International Workshop on Terminological Logics.
    Dagstuhl-Seminar-Report 12 (9119), Schloss Dagstuhl, 1991.
    (Abstract einblenden) (PDF)

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

  • Bernhard Nebel und Christof Peltason.
    Terminological Reasoning and Information Management.
    In D. Karagianis (Hrsg.), Artificial Intelligence and Information Systems: Integration Aspects, S. 181-212. Springer-Verlag, Berlin 1991.
    (Abstract einblenden) (PS.GZ)

  • Bernhard Nebel.
    Terminological Cycles: Semantics and Computational Properties.
    In J. Sowa (Hrsg.), Principles of Semantic Networks, S. 331-362. Morgan Kaufmann, San Mateo 1991.
    (Abstract einblenden) (PS.GZ)

1990

  • Bernhard Nebel.
    Reasoning and Revision in Hybrid Representation Systems.
    Band 422 von LNAI.
    Springer-Verlag, Berlin, Heidelberg, New York 1990.
    (Abstract einblenden) (PS.GZ)

  • Bernhard Nebel.
    Terminological Reasoning is Inherently Intractable.
    Artificial Intelligence 43, S. 235-249. 1990.
    (Abstract einblenden) (PS.GZ)

  • Sonia Bergamaschi und Bernhard Nebel.
    Theoretical Foundations of Complex Object Data Models.
    Technischer Bericht 74, CIOC-CNR, Universita di Bologna, Italy, 1990.
    (Abstract einblenden)

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

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

1989

  • Bernhard Nebel.
    What is Hybrid in Hybrid Representation and Reasoning Systems?
    In Computational Intelligence, II (CI'89). Milano, Italy 1989.
    (Abstract einblenden) (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, S. 301-311. Toronto, ON 1989.
    (Abstract einblenden) (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, S. 371-383. 1988.
    (Abstract einblenden) (PS.GZ)

  • Bernhard Nebel und Kai von Luck.
    Hybrid Reasoning in BACK.
    In Methodologies for Intelligent Systems (ISMIS'88), S. 260-269. North-Holland 1988.
    (Abstract einblenden) (PS.GZ)

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

  • Kai von Luck, Bernhard Nebel und Hans-Jochen Schneider.
    Aspects of Knowledge Base Management Systems.
    In G. Rahmstorf (Hrsg.), Wissensrepräsentation in Expertensystemen, S. 146-157. Springer-Verlag, Berlin 1988.
    (Abstract einblenden)

1987

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

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

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

1986

  • Bernhard Nebel und 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, S. 75-86. Springer-Verlag 1986.
    (Abstract einblenden)

  • Norman Sondheimer und 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), S. 612-618. Philadelphia, PA 1986.
    (Abstract einblenden)

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

  • Albrecht Schmiedel, Kai von Luck, Bernhard Nebel und 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, S. 181-194. 1985.
    (Abstract einblenden)

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

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

1984

  • Heinz Marburger, Katharina Morik und 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 und 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.
    (Abstract einblenden)

1983

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

  • Wolfgang Hoeppner, Thomas Christaller, Heinz Marburger, Katharina Morik, Bernhard Nebel, Mike O'Leary und 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), S. 588-594. Karlsruhe, Germany 1983.
    (Abstract einblenden)

  • Thomas Christaller, Walther von Hahn, Wolfgang Hoeppner, Heinz Marburger, Katharina Morik, Bernhard Nebel und 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.
    (Abstract einblenden)

  • Rolf Dannenberg und 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.
    (Abstract einblenden)

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

1982

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

  • 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 und 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 und Peter Schefe.
    HASY - Ein Programm zur syntaktischen Analyse natürlicher Sprachen.
    Mitteilung 36, Institut für Informatik, Universität Hamburg, 1976.

  • Bernhard Nebel und 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.