default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBernhard Nebel
Person information
- affiliation: University of Freiburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j54]Bernhard Nebel
:
The computational complexity of multi-agent pathfinding on directed graphs. Artif. Intell. 328: 104063 (2024)- [j53]Stefano Ardizzoni, Irene Saccani, Luca Consolini, Marco Locatelli, Bernhard Nebel:
An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees. J. Artif. Intell. Res. 79: 483-514 (2024) - [c154]Moritz Graf, Thorsten Engesser, Bernhard Nebel:
Symbolic Computation of Sequential Equilibria. AAMAS 2024: 715-723 - [c153]Moritz Graf, Thorsten Engesser, Bernhard Nebel:
A Symbolic Sequential Equilibria Solver for Game Theory Explorer. AAMAS 2024: 2803-2805 - [c152]Grigorios Mouratidis, Bernhard Nebel, Sven Koenig:
Fools Rush in Where Angels Fear to Tread in Multi-Goal CBS. SOCS 2024: 243-251 - [i19]Moritz Graf, Thorsten Engesser, Bernhard Nebel:
Symbolic Computation of Sequential Equilibria. CoRR abs/2402.04452 (2024) - 2023
- [j52]Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel:
Epistemic planning: Perspectives on the special issue. Artif. Intell. 316: 103842 (2023) - [c151]Pascal Bachor, Rolf-David Bergdoll, Bernhard Nebel:
The Multi-Agent Transportation Problem. AAAI 2023: 11525-11532 - [c150]Bernhard Nebel:
The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True. ICAPS 2023: 304-313 - [i18]Stefano Ardizzoni, Irene Saccani, Luca Consolini, Marco Locatelli, Bernhard Nebel:
An algorithm with improved complexity for pebble motion/multi-agent path finding on trees. CoRR abs/2307.12770 (2023) - 2022
- [c149]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies. AAAI 2022: 5503-5511 - [c148]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Description Logics 2022 - [d2]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel:
Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". Version 1. Zenodo, 2022 [all versions]
- [d1]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel:
Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". Version 2. Zenodo, 2022 [all versions] - [i17]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). CoRR abs/2203.09361 (2022) - [i16]Bernhard Nebel:
The Small Solution Hypothesis for MAPF on Directed Graphs Is True. CoRR abs/2210.04590 (2022) - 2021
- [j51]Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher:
Game description language and dynamic epistemic logic compared. Artif. Intell. 292: 103433 (2021) - [c147]David Speck, David Borukhson, Robert Mattmüller, Bernhard Nebel:
On the Compilability and Expressive Power of State-Dependent Action Costs. ICAPS 2021: 358-366 - 2020
- [j50]Felix Lindner, Robert Mattmüller, Bernhard Nebel:
Evaluation of the moral permissibility of action plans. Artif. Intell. 287: 103350 (2020) - [c146]David Speck, Robert Mattmüller, Bernhard Nebel:
Symbolic Top-k Planning. AAAI 2020: 9967-9974 - [c145]Bernhard Nebel:
On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs. ICAPS 2020: 212-216 - [c144]Lukas Berger, Bernhard Nebel, Marco Ragni:
A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty. KI 2020: 259-266 - [c143]Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Felicitas Ritter:
Token-based Execution Semantics for Multi-Agent Epistemic Planning. KR 2020: 351-360 - [p12]Bernhard Nebel, Stefan Wölfl:
Wissensrepräsentation und -verarbeitung. Handbuch der Künstlichen Intelligenz 2020: 27-56
2010 – 2019
- 2019
- [j49]Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller:
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity. J. Artif. Intell. Res. 64: 497-527 (2019) - [j48]Daniel Kuhner, Lukas Dominique Josef Fiederer, Johannes Aldinger, Felix Burget, Martin Völker, Robin Tibor Schirrmeister, Chau Do, Joschka Boedecker, Bernhard Nebel, Tonio Ball, Wolfram Burgard:
A service assistant combining autonomous robotics, flexible goal formulation, and deep-learning-based brain-computer interfacing. Robotics Auton. Syst. 116: 98-113 (2019) - [c142]Felix Lindner, Robert Mattmüller, Bernhard Nebel:
Moral Permissibility of Action Plans. AAAI 2019: 7635-7642 - [c141]Bernhard Nebel:
Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty. Description Logic, Theory Combination, and All That 2019: 431-440 - [c140]Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller:
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract). IJCAI 2019: 6372-6376 - [c139]Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel:
The Dynamic Logic of Policies and Contingent Planning. JELIA 2019: 659-674 - [c138]Daniel Reifsteck, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel:
Epistemic Multi-agent Planning Using Monte-Carlo Tree Search. KI 2019: 277-289 - [c137]Tim Schulte, Bernhard Nebel:
Trial-Based Heuristic Tree-Search for Distributed Multi-Agent Planning. SOCS 2019: 88-96 - [i15]Bernhard Nebel:
On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs. CoRR abs/1911.04871 (2019) - 2018
- [c136]Robert Mattmüller, Florian Geißer, Benedict Wright, Bernhard Nebel:
On the Relationship Between State-Dependent Action Costs and Conditional Effects in Planning. AAAI 2018: 6237-6245 - [c135]Benedict Wright, Oliver Brunner, Bernhard Nebel:
On the Importance of a Research Data Archive. AAAI 2018: 7941-7947 - [c134]Max Waters, Bernhard Nebel, Lin Padgham, Sebastian Sardiña:
Plan Relaxation via Action Debinding and Deordering. ICAPS 2018: 278-287 - [c133]Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher:
Game Description Language and Dynamic Epistemic Logic Compared. IJCAI 2018: 1795-1802 - [c132]Daniel Kuhner, Johannes Aldinger, Felix Burget, Moritz Göbelbecker, Wolfram Burgard, Bernhard Nebel:
Closed-Loop Robot Task Planning Based on Referring Expressions. IROS 2018: 876-881 - [c131]Andreas Hertle, Bernhard Nebel:
Efficient Auction Based Coordination for Distributed Multi-agent Planning in Temporal Domains Using Resource Abstraction. KI 2018: 86-98 - [c130]Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel:
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. KR 2018: 445-453 - [c129]Benedict Wright, Robert Mattmüller, Bernhard Nebel:
Compiling Away Soft Trajectory Constraints in Planning. KR 2018: 474-483 - 2017
- [c128]Felix Burget, Lukas Dominique Josef Fiederer, Daniel Kuhner, Martin Völker, Johannes Aldinger, Robin Tibor Schirrmeister, Chau Do, Joschka Boedecker, Bernhard Nebel, Tonio Ball, Wolfram Burgard:
Acting thoughts: Towards a mobile robotic service assistant for users with limited communication skills. ECMR 2017: 1-6 - [c127]Andreas Hertle, Bernhard Nebel:
Identifying good poses when doing your household chores: Creation and exploitation of inverse surface reachability maps. IROS 2017: 6053-6058 - [c126]Felix Lindner, Martin Mose Bentzen, Bernhard Nebel:
The HERA approach to morally competent robots. IROS 2017: 6991-6997 - [c125]Johannes Aldinger, Bernhard Nebel:
Interval Based Relaxation Heuristics for Numeric Planning with Action Costs. KI 2017: 15-28 - [c124]Johannes Aldinger, Bernhard Nebel:
Interval Based Relaxation Heuristics for Numeric Planning with Action Costs. SOCS 2017: 155-156 - [c123]Thorsten Engesser, Thomas Bolander, Robert Mattmüller, Bernhard Nebel:
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. M4M@ICLA 2017: 75-90 - [i14]Felix Burget, Lukas Dominique Josef Fiederer, Daniel Kuhner, Martin Voelker, Johannes Aldinger, Robin Tibor Schirrmeister, Chau Do, Joschka Boedecker, Bernhard Nebel, Tonio Ball, Wolfram Burgard:
Acting Thoughts: Towards a Mobile Robotic Service Assistant for Users with Limited Communication Skills. CoRR abs/1707.06633 (2017) - 2016
- [j47]Marco Ragni, Thomas Barkowsky, Bernhard Nebel, Christian Freksa:
Cognitive Space and Spatial Cognition: The SFB/TR 8 Spatial Cognition. Künstliche Intell. 30(1): 83-88 (2016) - [c122]Malte Schilling, Stefan Kopp, Sven Wachsmuth, Britta Wrede, Helge J. Ritter, Thomas Brox, Bernhard Nebel, Wolfram Burgard:
Towards A Multidimensional Perspective on Shared Autonomy. AAAI Fall Symposia 2016 - [c121]Matthias Hengel, Stefan Wölfl, Bernhard Nebel:
Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations. Description Logics 2016 - [c120]Dali Sun, Florian Geißer, Bernhard Nebel:
Towards effective localization in dynamic environments. IROS 2016: 4517-4523 - [c119]Tim Schulte, Bernhard Nebel:
Trial-Based Heuristic Tree-search for Distributed Multi-Agent Planning. SOCS 2016: 137-138 - 2015
- [j46]Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz:
On Qualitative Route Descriptions. J. Philos. Log. 44(2): 177-201 (2015) - 2014
- [b3]Günther Görz, Bernhard Nebel:
Künstliche Intelligenz (unveränderter Reprint). Fischer Kompakt, Fischer 2014, ISBN 978-3-596-30136-2, pp. 1-127 - [c118]Johannes Löhr, Martin Wehrle, Maria Fox, Bernhard Nebel:
Symbolic Domain Predictive Control. AAAI 2014: 2315-2321 - [c117]Christian Becker-Asano, Kai Oliver Arras, Bernhard Nebel:
Robotic tele-presence with DARYL in the wild. HAI 2014: 91-95 - [c116]Christian Becker-Asano, Eduardo Meneses, Nicolas Riesterer, Julien Hué, Christian Dornhege, Bernhard Nebel:
The hybrid agent MARCO: a multimodal autonomous robotic chess opponent. HAI 2014: 173-176 - [c115]Nicolas Riesterer, Christian Becker-Asano, Julien Hué, Christian Dornhege, Bernhard Nebel:
The hybrid Agent MARCO. ICMI 2014: 80-81 - [c114]Dali Sun, Alexander Kleiner, Bernhard Nebel:
Behavior-based multi-robot collision avoidance. ICRA 2014: 1668-1673 - [c113]Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb, Bernhard Nebel:
An Experimental Comparison of Classical, FOND and Probabilistic Planning. KI 2014: 297-308 - [e12]Christian Freksa, Bernhard Nebel, Mary Hegarty, Thomas Barkowsky:
Spatial Cognition IX - International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings. Lecture Notes in Computer Science 8684, Springer 2014, ISBN 978-3-319-11214-5 [contents] - [i13]Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel:
Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports 4(1): 83-103 (2014) - 2013
- [j45]Kai M. Wurm, Christian Dornhege, Bernhard Nebel, Wolfram Burgard, Cyrill Stachniss:
Coordinating heterogeneous teams of robots using temporal symbolic planning. Auton. Robots 34(4): 277-294 (2013) - [c112]Johannes Löhr, Patrick Eyerich, Stefan Winkler, Bernhard Nebel:
Domain Predictive Control Under Uncertain Numerical State Information. ICAPS 2013 - [c111]Bernhard Nebel:
Automatic Planning: Making Autonomous Behavior Possible. GI-Jahrestagung 2013: 14 - [c110]Christian Becker-Asano, Severin Gustorff, Kai Oliver Arras, Kohei Ogawa, Shuichi Nishio, Hiroshi Ishiguro, Bernhard Nebel:
Robot embodiment, operator modality, and social interaction in tele-existence: a project outline. HRI 2013: 79-80 - [c109]Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel:
Transition Constraints: A Study on the Computational Complexity of Qualitative Change. IJCAI 2013: 1169-1175 - [c108]Christian Becker-Asano, Philip Stahl, Marco Ragni, Matthieu Courgeon, Jean-Claude Martin, Bernhard Nebel:
An Affective Virtual Agent Providing Embodied Feedback in the Paired Associate Task: System Design and Evaluation. IVA 2013: 406-415 - [p11]Bernhard Nebel, Stefan Wölfl:
Wissensrepräsentation und -verarbeitung. Handbuch der Künstlichen Intelligenz 2013: 105-128 - 2012
- [j44]Jens Claßen, Gabriele Röger, Gerhard Lakemeyer, Bernhard Nebel:
Platas - Integrating Planning and the Action Language Golog. Künstliche Intell. 26(1): 61-67 (2012) - [c107]Johannes Löhr, Patrick Eyerich, Thomas Keller, Bernhard Nebel:
A Planning Based Framework for Controlling Hybrid Systems. ICAPS 2012 - [c106]Andreas Hertle, Christian Dornhege, Thomas Keller, Bernhard Nebel:
Planning with Semantic Attachments: An Object-Oriented View. ECAI 2012: 402-407 - [p10]Paul-Gerhard Plöger, Kai Pervölz, Christoph Mies, Patrick Eyerich, Michael Brenner, Bernhard Nebel:
Component Based Architecture for an Intelligent Mobile Manipulator. Towards Service Robots for Everyday Environments 2012: 19-42 - [p9]Bernhard Nebel:
Editorial. Towards Service Robots for Everyday Environments 2012: 45-47 - [p8]Michael Brenner, Bernhard Nebel:
Proactive Continual Planning - - Deliberately Interleaving Planning and Execution in Dynamic Environments. Towards Service Robots for Everyday Environments 2012: 65-75 - [p7]Michael Brenner, Bernhard Nebel:
Continual Multiagent Planning. Towards Service Robots for Everyday Environments 2012: 77-97 - [p6]Christian Dornhege, Patrick Eyerich, Thomas Keller, Sebastian Trüg, Michael Brenner, Bernhard Nebel:
Semantic Attachments for Domain-Independent Planning Systems. Towards Service Robots for Everyday Environments 2012: 99-115 - [p5]Thomas Keller, Patrick Eyerich, Bernhard Nebel:
Task Planning for an Autonomous Service Robot. Towards Service Robots for Everyday Environments 2012: 117-124 - [e11]Erwin Prassler, Johann Marius Zöllner, Rainer Bischoff, Wolfram Burgard, Robert Haschke, Martin Hägele, Gisbert Lawitzky, Bernhard Nebel, Paul-Gerhard Plöger, Ulrich Reiser:
Towards Service Robots for Everyday Environments - Recent Advances in Designing Service Robots for Complex Tasks in Everyday Environments. Springer Tracts in Advanced Robotics 76, Springer 2012, ISBN 978-3-642-25115-3 [contents] - 2011
- [j43]Antje Krumnack, Leandra Bucher, Jelica Nejasmic, Bernhard Nebel, Markus Knauff:
A model for relational reasoning as verbal reasoning. Cogn. Syst. Res. 12(3-4): 377-392 (2011) - [j42]Bernhard Nebel, Christian Freksa:
AI Approaches to Cognitive Systems - The Example of Spatial Cognition. Inform. Spektrum 34(5): 462-468 (2011) - [j41]Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler, Bernhard Nebel:
Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning. Spatial Cogn. Comput. 11(1): 75-102 (2011) - [c105]Christian Becker-Asano, Dali Sun, Birgit Kleim, Corinna N. Scheel, Brunna Tuschen-Caffier, Bernhard Nebel:
Outline of an Empirical Study on the Effects of Emotions on Strategic Behavior in Virtual Emergencies. ACII (2) 2011: 508-517 - [c104]Dapeng Zhang, Bernhard Nebel:
Feature Induction of Linear-chain Conditional Random Fields - A Study based on a Simulation. ICAART (1) 2011: 230-235 - [c103]Alexander Kleiner, Bernhard Nebel, Vittorio A. Ziparo:
A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions. IJCAI 2011: 266-272 - [c102]Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz:
On Qualitative Route Descriptions: Representation and Computational Complexity. IJCAI 2011: 1120-1125 - [i12]Bernhard Nebel:
On the Compilability and Expressive Power of Propositional Planning Formalisms. CoRR abs/1106.0247 (2011) - [i11]Jörg Hoffmann, Bernhard Nebel:
The FF Planning System: Fast Plan Generation Through Heuristic Search. CoRR abs/1106.0675 (2011) - [i10]Bernhard Nebel, Jochen Renz:
Efficient Methods for Qualitative Spatial Reasoning. CoRR abs/1106.0679 (2011) - [i9]Martin Lames, Tim McGarry, Bernhard Nebel, Karen Roemer:
Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271). Dagstuhl Reports 1(7): 1-22 (2011) - 2010
- [j40]Christian Freksa, Holger Schultheis, Kerstin Schill, Thora Tenbrink, Thomas Barkowsky, Christoph Hölscher, Bernhard Nebel:
Spatial Cognition: Reasoning, Action, Interaction. Künstliche Intell. 24(4): 329-334 (2010) - [c101]Christian Dornhege, Patrick Eyerich, Thomas Keller, Michael Brenner, Bernhard Nebel:
Integrating Task and Motion Planning Using Semantic Attachments. Bridging the Gap Between Task and Motion Planning 2010 - [c100]Moritz Göbelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner, Bernhard Nebel:
Coming Up With Good Excuses: What to do When no Plan Can be Found. ICAPS 2010: 81-88 - [c99]Kai M. Wurm, Christian Dornhege, Patrick Eyerich, Cyrill Stachniss, Bernhard Nebel, Wolfram Burgard:
Coordinated exploration with marsupial teams of robots using temporal symbolic planning. IROS 2010: 5014-5019 - [c98]Thomas Keller, Patrick Eyerich, Bernhard Nebel:
Task Planning for an Autonomous Service Robot. KI 2010: 358-365 - [c97]Leonardo Mendonça de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel:
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR 2010 - [p4]Michael Brenner, Christian Plagemann, Bernhard Nebel, Wolfram Burgard, Nick Hawes:
Planning and Failure Detection. Cognitive Systems 2010: 223-264 - [i8]Moritz Göbelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner, Bernhard Nebel:
Coming up With Good Excuses: What to do When no Plan Can be Found. Cognitive Robotics 2010
2000 – 2009
- 2009
- [j39]Michael Brenner, Bernhard Nebel:
Continual planning and acting in dynamic multiagent environments. Auton. Agents Multi Agent Syst. 19(3): 297-331 (2009) - [j38]Jie Bao, Uldis Bojars, Tanzeem Choudhury, Li Ding, Mark Greaves, Ashish Kapoor, Sandy Louchart, Manish Mehta, Bernhard Nebel, Sergei Nirenburg, Tim Oates, David L. Roberts, Antonio Sanfilippo, Nenad Stojanovic, Kristen Stubbs, Andrea Lockerd Thomaz, Katherine M. Tsui, Stefan Wölfl:
Reports of the AAAI 2009 Spring Symposia. AI Mag. 30(3): 89-95 (2009) - [c96]Dapeng Zhang, Zhongjie Cai, Kefei Chen, Bernhard Nebel:
A game controller based on multiple sensors. Advances in Computer Entertainment Technology 2009: 375-378 - [c95]Bernhard Nebel, Stefan Wölfl:
Organizing Committee. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009 - [c94]Bernhard Nebel, Stefan Wölfl:
Preface. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 1 - [c93]Christian Dornhege, Patrick Eyerich, Thomas Keller, Sebastian Trüg, Michael Brenner, Bernhard Nebel:
Semantic Attachments for Domain-Independent Planning Systems. ICAPS 2009 - [c92]Bernhard Nebel, Jochen Renz:
A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management. IJCAI 2009: 879-884 - [c91]Marc Gissler, Christian Dornhege, Bernhard Nebel, Matthias Teschner:
Deformable Proximity Queries and Their Application in Mobile Manipulation Planning. ISVC (1) 2009: 79-88 - 2008
- [j37]Thilo Weigel, Bernhard Nebel:
Tischfußball: Mensch versus Computer. Inform. Spektrum 31(4): 323-332 (2008) - [j36]Diedrich Wolter, Frank Dylla, Stefan Wölfl, Jan Oliver Wallgrün, Lutz Frommberger, Bernhard Nebel, Christian Freksa:
SailAway: Spatial Cognition in Sea Navigation. Künstliche Intell. 22(1): 28-30 (2008) - [j35]Paul-Gerhard Plöger, Bernhard Nebel:
The DESIRE Service Robotics Initiative. Künstliche Intell. 22(4): 29-32 (2008) - [c90]Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski:
Faster Than Uppaal? CAV 2008: 552-555 - [c89]Patrick Eyerich, Michael Brenner, Bernhard Nebel:
On the Complexity of Planning Operator Subsumption. KR 2008: 518-527 - [c88]Gabriele Röger, Malte Helmert, Bernhard Nebel:
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle. KR 2008: 544-550 - [e10]Jussi Rintanen, Bernhard Nebel, J. Christopher Beck, Eric A. Hansen:
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008. AAAI 2008, ISBN 978-1-57735-386-7 [contents] - [e9]Arnold Baca, Martin Lames, Keith Lyons, Bernhard Nebel, Josef Wiemeyer:
Computer Science in Sport - Mission and Methods, 07.09. - 10.09.2008. Dagstuhl Seminar Proceedings 08372, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i7]Arnold Baca, Martin Lames, Keith Lyons, Bernhard Nebel, Josef Wiemeyer:
08372 Abstracts Collection - Computer Science in Sport - Mission and Methods. Computer Science in Sport - Mission and Methods 2008 - [i6]Josef Wiemeyer, Arnold Baca, Martin Lames, Keith Lyons, Bernhard Nebel:
08372 Executive Summary - Computer Science in Sport - Mission and Methods. Computer Science in Sport - Mission and Methods 2008 - 2007
- [j34]Sanjiang Li, Bernhard Nebel:
Qualitative Spatial Representation and Reasoning: A Hierarchical Approach. Comput. J. 50(4): 391-402 (2007) - [c87]Gabriele Röger, Bernhard Nebel:
Expressiveness of ADL and Golog: Functions Make a Difference. AAAI 2007: 1051-1056 - [c86]Dapeng Zhang, Bernhard Nebel:
Learning a Table Soccer Robot a New Action Sequence by Observing and Imitating. AIIDE 2007: 61-67 - [c85]Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Bernhard Nebel, Stefan Wölfl:
Qualitative Spatial Reasoning for Rule Compliant Agent Navigation. FLAIRS 2007: 673-674 - [c84]Vittorio A. Ziparo, Alexander Kleiner, Bernhard Nebel, Daniele Nardi:
RFID-Based Exploration for Large Robot Teams. ICRA 2007: 4606-4613 - [c83]Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel:
Towards an Integration of Golog and Planning. IJCAI 2007: 1846-1851 - [p3]Jochen Renz, Bernhard Nebel:
Qualitative Spatial Reasoning Using Constraint Calculi. Handbook of Spatial Logics 2007: 161-215 - [e8]Anthony G. Cohn, Christian Freksa, Bernhard Nebel:
Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005. Dagstuhl Seminar Proceedings 05491, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 2006
- [c82]Alexander Kleiner, Johann Prediger, Bernhard Nebel:
RFID Technology-based Exploration and SLAM for Search And Rescue. IROS 2006: 4054-4059 - 2005
- [j33]Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel:
In defense of PDDL axioms. Artif. Intell. 168(1-2): 38-69 (2005) - [c81]Thilo Weigel, Klaus Rechert, Bernhard Nebel:
Behavior Recognition and Opponent Modeling for Adaptive Table Soccer Playing. KI 2005: 335-350 - [c80]Alexander Kleiner, Michael Brenner, Tobias Bräuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger, Jörg Stückler, Bernhard Nebel:
Successful Search and Rescue in Simulated Disaster Areas. RoboCup 2005: 323-334 - [i5]Anthony G. Cohn, Christian Freksa, Bernhard Nebel:
05491 Abstracts Collection -- Spatial Cognition: Specialization and Integration. Spatial Cognition: Specialization and Integration 2005 - 2004
- [c79]Bernhard Nebel, Yuliya Babovich-Lierler:
When Are Behaviour Networks Well-Behaved? ECAI 2004: 672-676 - [c78]Christian Köhler, Artur Ottlik, Hans-Hellmut Nagel, Bernhard Nebel:
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking. ECAI 2004: 1041-1042 - [c77]Bernhard Nebel:
Formal Methods in Robotics. JELIA 2004: 4 - [c76]Sebastian Trüg, Jörg Hoffmann, Bernhard Nebel:
Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study. KI 2004: 183-197 - [c75]Moritz Tacke, Thilo Weigel, Bernhard Nebel:
Decision-Theoretic Planning for Playing Table Soccer. KI 2004: 213-225 - [c74]Thilo Weigel, Dapeng Zhang, Klaus Rechert, Bernhard Nebel:
Adaptive Vision for Playing Table Soccer. KI 2004: 424-438 - [c73]Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer:
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV 2004: 65-75 - [c72]Alexander Scivos, Bernhard Nebel:
The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning. Spatial Cognition 2004: 283-303 - [e7]Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky:
Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, RevisedSelected Papers. Lecture Notes in Computer Science 3343, Springer 2004, ISBN 3-540-25048-4 [contents] - 2003
- [b2]Günther Görz, Bernhard Nebel:
Künstliche Intelligenz. Fischer 2003, ISBN 978-3-596-15555-2, pp. 1-127 - [c71]Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel:
In Defense of PDDL Axioms. IJCAI 2003: 961-968 - [c70]Alankar Karol, Bernhard Nebel, Christopher J. Stanton, Mary-Anne Williams:
Case Based Game Play in the RoboCup Four-Legged League Part I The Theoretical Model. RoboCup 2003: 739-747 - [c69]Reinhard Moratz, Bernhard Nebel, Christian Freksa:
Qualitative Spatial Reasoning about Relative Position: The Tradeoff between Strong Formal Properties and Successful Reasoning about Route Graphs. Spatial Cognition 2003: 385-400 - [p2]Bernd Owsnicki-Klewe, Kai von Luck, Bernhard Nebel:
Wissensrepräsentation und Logik - Eine Einführung. Handbuch der Künstlichen Intelligenz 2003: 153-197 - 2002
- [j32]Yannis Dimopoulos, Bernhard Nebel, Francesca Toni:
On the computational complexity of assumption-based argumentation for default reasoning. Artif. Intell. 141(1/2): 57-78 (2002) - [j31]Bernhard Nebel:
Fussball und Künstliche Intelligenz: Vom Denken zum Handeln. Künstliche Intell. 16(1): 58-60 (2002) - [j30]Bernhard Nebel, Alexander Scivos:
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning. Künstliche Intell. 16(4): 14-18 (2002) - [j29]Thilo Weigel, Jens-Steffen Gutmann, Markus Dietl, Alexander Kleiner, Bernhard Nebel:
CS Freiburg: coordinating robots for successful soccer playing. IEEE Trans. Robotics Autom. 18(5): 685-699 (2002) - [c68]Alfonso Gerevini, Bernhard Nebel:
Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity. ECAI 2002: 312-316 - [c67]Markus Jäger, Bernhard Nebel:
Dynamic Decentralized Area Partitioning for Cooperating Cleaning Robots. ICRA 2002: 3577-3582 - [c66]Bernhard Nebel:
The Philosophical Soccer Player. KR 2002: 631-631 - [c65]Alexander Kleiner, Markus Dietl, Bernhard Nebel:
Towards a Life-Long Learning Soccer Agent. RoboCup 2002: 126-134 - [c64]Thilo Weigel, Bernhard Nebel:
KiRo - An Autonomous Table Soccer Player. RoboCup 2002: 384-392 - 2001
- [j28]Jens-Steffen Gutmann, Thilo Weigel, Bernhard Nebel:
A fast, accurate and robust method for self-localization in polygonal environments using laser range finders. Adv. Robotics 14(8): 651-667 (2001) - [j27]Bernhard Nebel:
Ranking? Publikationen, Zitate, Drittmittelprojekte und Promotionen an deutschen Informatikfakultäten im Spiegel des WWW. Inform. Spektrum 24(4): 234-249 (2001) - [j26]Jörg Hoffmann, Bernhard Nebel:
The FF Planning System: Fast Plan Generation Through Heuristic Search. J. Artif. Intell. Res. 14: 253-302 (2001) - [j25]Jochen Renz, Bernhard Nebel:
Efficient Methods for Qualitative Spatial Reasoning. J. Artif. Intell. Res. 15: 289-318 (2001) - [j24]Reinhard Moratz, Bernhard Nebel:
Sichtweisen der kognitiven Robotik. Künstliche Intell. 15(3): 71 (2001) - [c63]Alexander Scivos, Bernhard Nebel:
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation. COSIT 2001: 431-446 - [c62]Bernhard Nebel:
Cooperating Physical Robots: A Lesson in Playing Robotic Soccer. EASSS 2001: 404-414 - [c61]Thilo Weigel, Jens-Steffen Gutmann, Bernhard Nebel, Klaus Müller, Markus Dietl:
CS Freiburg: Sophisticated skills and effective cooperation. ECC 2001: 545-550 - [c60]Markus Jäger, Bernhard Nebel:
Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots. IROS 2001: 1213-1219 - [c59]Markus Dietl, Jens-Steffen Gutmann, Bernhard Nebel:
Cooperative sensing in dynamic environments. IROS 2001: 1706-1713 - [c58]Thilo Weigel, Alexander Kleiner, Florian Diesch, Markus Dietl, Jens-Steffen Gutmann, Bernhard Nebel, Patrick Stiegeler, Boris Szerbakowski:
CS Freiburg 2001. RoboCup 2001: 26-38 - [c57]Markus Dietl, Jens-Steffen Gutmann, Bernhard Nebel:
CS Freiburg: Global View by Cooperative Sensing. RoboCup 2001: 133-143 - [c56]Guido Isekenmeier, Bernhard Nebel, Thilo Weigel:
Evaluation of the Performance of CS Freiburg 1999 and CS Freiburg 2000. RoboCup 2001: 393-398 - [e6]Bernhard Nebel:
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. Morgan Kaufmann 2001, ISBN 1-55860-777-3 [contents] - 2000
- [j23]Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor, Thilo Weigel:
The CS Freiburg Team: Playing Robotic Soccer Based on an Explicit World Model. AI Mag. 21(1): 37-46 (2000) - [j22]Bernhard Nebel:
On the Compilability and Expressive Power of Propositional Planning Formalisms. J. Artif. Intell. Res. 12: 271-315 (2000) - [c55]Jens-Steffen Gutmann, Bernhard Nebel, Christian Reetz:
CS Freiburg: Architektur und Aktionsauswahl im Roboterfussfall. AMS 2000: 345-352 - [c54]Bernhard Nebel:
Knowledge Representation and Reasoning: The Theoretical Side of AI. ECAI 2000: 763-763 - [c53]Yannis Dimopoulos, Bernhard Nebel, Francesca Toni:
Finding Admissible and Preferred Arguments Can be Very Hard. KR 2000: 53-61 - [c52]Thilo Weigel, Willi Auerbach, Markus Dietl, Burkhard Dümler, Jens-Steffen Gutmann, Kornél G. Markó, Klaus Müller, Bernhard Nebel, Boris Szerbakowski, Maximilian Thiel:
CS Freiburg: Doing the Right Thing in a Group. RoboCup 2000: 52-63
1990 – 1999
- 1999
- [j21]Jochen Renz, Bernhard Nebel:
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. Artif. Intell. 108(1-2): 69-123 (1999) - [j20]Bernhard Nebel:
Die Ausdruckstärke von Planungsformalismen: Eine formale Charakterisierung. Künstliche Intell. 13(3): 12-19 (1999) - [c51]Bernhard Nebel:
What Is the Expressive Power of Disjunctive Preconditions? ECP 1999: 294-307 - [c50]Yannis Dimopoulos, Bernhard Nebel, Francesca Toni:
Preferred Arguments are Harder to Compute than Stable Extension. IJCAI 1999: 36-43 - [c49]Jens-Steffen Gutmann, Thilo Weigel, Bernhard Nebel:
Fast, accurate, and robust self-localization in polygonal environments. IROS 1999: 1412-1419 - [c48]Bernhard Nebel:
Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms. KI 1999: 183-194 - [c47]Jens-Steffen Gutmann, Thilo Weigel, Bernhard Nebel:
Fast, Accurate, and Robust Self-Localization in the RoboCup Environment. RoboCup 1999: 304-317 - [c46]Bernhard Nebel, Jens-Steffen Gutmann, Wolfgang Hatzack:
CS Freiburg '99. RoboCup 1999: 703-706 - 1998
- [j19]Bernhard Nebel, Wolfgang Hatzack, Thilo Weigel, Jens-Steffen Gutmann, Immanuel Herrmann, Frank Rittinger, Augustinus Topor:
CS Freiburg's Participation at RoboCup '98: The World Champions in Robotic Soccer. AI Commun. 11(3-4): 243-248 (1998) - [c45]Jochen Renz, Bernhard Nebel:
Efficient Algorithms for Qualitative Spatial Reasoning. ECAI 1998: 562-566 - [c44]Jens-Steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor, Thilo Weigel, Bruno Welsch:
The CS Freiburg Robotic Soccer Team: Reliable Self-Localization, Multirobot Sensor Integration, and Basic Soccer Skills. RoboCup 1998: 93-108 - [c43]Jochen Renz, Bernhard Nebel:
Spatial Reasoning with Topological Information. Spatial Cognition 1998: 351-372 - [c42]Bernhard Nebel:
Qualitative Temporal Reasoning: Theory and Practice (Abstract). TIME 1998: 60 - 1997
- [j18]Bernhard Nebel:
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class. Constraints An Int. J. 1(3): 175-190 (1997) - [c41]Jens-Steffen Gutmann, Bernhard Nebel:
Navigation mobiler Roboter mit Laserscans. AMS 1997: 36-47 - [c40]Yannis Dimopoulos, Bernhard Nebel, Jana Koehler:
Encoding Planning Problems in Nonmonotonic Logic Programs. ECP 1997: 169-181 - [c39]Jana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos:
Extending Planning Graphs to an ADL Subset. ECP 1997: 273-285 - [c38]Bernhard Nebel, Yannis Dimopoulos, Jana Koehler:
Ignoring Irrelevant Facts and Operators in Plan Generation. ECP 1997: 338-350 - [c37]Jochen Renz, Bernhard Nebel:
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. IJCAI (1) 1997: 522-527 - [e5]Gerhard Brewka, Christopher Habel, Bernhard Nebel:
KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings. Lecture Notes in Computer Science 1303, Springer 1997, ISBN 3-540-63493-2 [contents] - 1996
- [c36]Bernhard Nebel:
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class. ECAI 1996: 38-42 - 1995
- [j17]Bernhard Nebel, Jana Koehler:
Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis. Artif. Intell. 76(1-2): 427-454 (1995) - [j16]Christer Bäckström, Bernhard Nebel:
Complexity Results for SAS+ Planning. Comput. Intell. 11: 625-656 (1995) - [j15]Bernhard Nebel, Hans-Jürgen Bürckert:
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. J. ACM 42(1): 43-66 (1995) - [j14]Bernhard Nebel:
Komplexitätsanalysen in der Künstlichen Intelligenz. Künstliche Intell. 9(2): 6-14 (1995) - [j13]Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe:
Ist die Wissensrepräsentation tot? Künstliche Intell. 9(5): 18-26 (1995) - [c35]Elisabeth André, Wolfgang Finkler, Winfried Graf, Karin Harbusch, Jochen Heinsohn, Anne Kilger, Bernhard Nebel, Hans-Jürgen Profitlich, Thomas Rist, Wolfgang Wahlster, Andreas Butz, Anthony Jameson:
WIP: From Multimedia to Intellimedia. IJCAI 1995: 2053-2054 - [c34]Bernhard Nebel:
Computational Properties of Qualitative Spatial Reasoning: First Results. KI 1995: 233-244 - 1994
- [j12]Bernhard Nebel, Christer Bäckström:
On the Computational Complexity of Temporal Projection, Planning, and Plan Validation. Artif. Intell. 66(1): 125-160 (1994) - [j11]Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-Jürgen Profitlich:
An Empirical Analysis of Terminological Representation Systems. Artif. Intell. 68(2): 367-397 (1994) - [j10]Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi:
Am empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. 4(2): 109-132 (1994) - [j9]Sonia Bergamaschi, Bernhard Nebel:
Acquisition and validation of complex object database schemata supporting multiple inheritance. Appl. Intell. 4(2): 185-203 (1994) - [c33]Bernhard Nebel, Hans-Jürgen Bürckert:
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. AAAI 1994: 356-361 - [c32]Bernhard Nebel:
Base Revision Operations and Schemes: Semantics, Representation and Complexity. ECAI 1994: 341-345 - [c31]Bernhard Nebel, Hans-Jürgen Bürckert:
Managing Qualitative Temporal Information: Expressiveness vs. Complexity. IS/KI 1994: 104-117 - [e4]Gerhard Lakemeyer, Bernhard Nebel:
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]. Lecture Notes in Computer Science 810, Springer 1994, ISBN 3-540-58107-3 [contents] - [e3]Bernhard Nebel, Leonie S. Dreschler-Fischer:
KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings. Lecture Notes in Computer Science 861, Springer 1994, ISBN 3-540-58467-6 [contents] - 1993
- [j8]Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka:
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. J. Log. Lang. Inf. 2(1): 1-18 (1993) - [j7]Franz Baader, Philipp Hanschke, Bernhard Hollunder, Bernhard Nebel, Werner Nutt:
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht. Künstliche Intell. 7(3): 24-25 (1993) - [c30]Christer Bäckström, Bernhard Nebel:
Complexity Results for SAS+ Planning. IJCAI 1993: 1430-1435 - [c29]Bernhard Nebel, Jana Koehler:
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. IJCAI 1993: 1436-1444 - [c28]Lin Padgham, Bernhard Nebel:
Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step. ISMIS 1993: 132-141 - [c27]Bernhard Nebel, Jana Koehler:
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. PuK 1993: 7-17 - 1992
- [j6]Bernhard Hollunder, Bernhard Nebel:
Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91). Künstliche Intell. 6(3): 52-53 (1992) - [c26]Bernhard Nebel, Christer Bäckström:
On the Computational Complexity of Temporal Projection and Plan Validation. AAAI 1992: 748-753 - [c25]Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-Jürgen Profitlich:
An Empirical Analysis of Terminological Representation Systems. AAAI 1992: 767-773 - [c24]Lin Padgham, Bernhard Nebel:
Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step. Description Logics 1992: 64-71 - [c23]Gerhard Lakemeyer, Bernhard Nebel:
Foundations of Knowledge Representation and Reasoning. ECAI Workshop on Knowledge Representation and Reasoning 1992: 1-12 - [c22]Christer Bäckström, Bernhard Nebel:
On the Computational Complexity of Planning and Story Understanding. ECAI 1992: 349-353 - [c21]Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi:
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. KR 1992: 270-281 - [e2]Bernhard Nebel, Charles Rich, William R. Swartout:
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, USA, October 25-29, 1992. Morgan Kaufmann 1992, ISBN 1-55860-262-3 [contents] - 1991
- [j5]Bernhard Hollunder, Bernhard Nebel:
Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91. Künstliche Intell. 5(3): 26-27 (1991) - [c20]Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich:
Terminological Knowledge Representation: A Proposal for a Terminological Logic. Description Logics 1991: 120-128 - [c19]Bernhard Nebel:
Belief Revision and Default Reasoning: Syntax-Based Approaches. KR 1991: 417-428 - [c18]Bernhard Nebel, Gert Smolka:
Attribute Description Formalisms ... and the Rest of the World. Text Understanding in LILOG 1991: 439-452 - [p1]Bernhard Nebel:
Terminological Cycles: Semantics and Computational Properties. Principles of Semantic Networks 1991: 331-361 - [e1]Bernhard Nebel, Kai von Luck, Christof Peltason:
Proceedings of the International Workshop on Terminological Logics 1991, Dagstuhl, Germany. DFKI Documents DFKI-D-91-13, 1991 [contents] - [i4]Bernhard Nebel, Christof Peltason, Kai von Luck:
International Workshop on Terminological Logics - Proceedings. IWBS Report 184 (1991) - 1990
- [b1]Bernhard Nebel:
Reasoning and Revision in Hybrid Representation Systems. Saarland University, Saarbrücken, Germany, Lecture Notes in Computer Science 422, Springer 1990, ISBN 3-540-52443-6, pp. 1-300 - [j4]Bernhard Nebel:
Terminological Reasoning is Inherently Intractable. Artif. Intell. 43(2): 235-249 (1990) - [j3]Peter F. Patel-Schneider, Bernd Owsnicki-Klewe, Alfred Kobsa, Nicola Guarino, Robert M. MacGregor, William S. Mark, Deborah L. McGuinness, Bernhard Nebel, Albrecht Schmiedel, John Yen:
Term Subsumption Languages in Knowledge Representation. AI Mag. 11(2): 16-23 (1990) - [c17]Jürgen Müller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka:
Tutorial on Reasoning and Representation with Concept Languages. CADE 1990: 681 - [c16]Bernhard Nebel, Christof Peltason:
Terminological reasoning and Information Management. IS/KI 1990: 181-212
1980 – 1989
- 1989
- [c15]Daniel Hernández, Bernhard Nebel, Gert Smolka, Ipke Wachsmuth:
Fachseminar: Formale und kognitive Grundlagen von Wissensrepräsentationen. GWAI 1989: 476 - [c14]Bernhard Nebel:
KL-One-basierte, hybride Repräsentationssysteme. GWAI 1989: 484-485 - [c13]Bernhard Nebel:
A Knowledge Level Analysis of Belief Revision. KR 1989: 301-311 - [c12]Bernhard Nebel, Gert Smolka:
Representation and Reasoning with Attributive Descriptions. Sorts and Types in Artificial Intelligence 1989: 112-139 - [i3]Bernhard Nebel:
A Knowledge Level Analysis of Belief Revision. IWBS Report 69 (1989) - [i2]Bernhard Nebel, Gert Smolka:
Representation and Reasoning with Attributive Descriptions. IWBS Report 81 (1989) - [i1]Bernhard Nebel:
Terminological Reasoning is Inherently Intractable. IWBS Report 82 (1989) - 1988
- [j2]Bernhard Nebel:
Computational Complexity of Terminological Reasoning in BACK. Artif. Intell. 34(3): 371-383 (1988) - [c11]Bernhard Nebel, Kai von Luck:
Hybrid Reasoning in BACK. ISMIS 1988: 260-269 - 1987
- [c10]Kai von Luck, Bernhard Nebel, Hans-Jochen Schneider:
Some Aspects of Knowledge Base Management Systems. Wissensrepräsentation in Expertensystemen 1987: 146-157 - [c9]Bernhard Nebel, Kai von Luck:
Issues of Integration and Balancing in Hybrid Knowledge Representation Systems. GWAI 1987: 114-123 - 1986
- [c8]Norman K. Sondheimer, Bernhard Nebel:
A Logical-Form and Knowledge-Base Design for Natural Language Generation. AAAI 1986: 612-618 - [c7]Norman K. Sondheimer, Bernhard Nebel:
A Logical-Form and Knowledge-Base Design for Natural Language Generation. HLT 1986 - [c6]Bernhard Nebel, Norman K. Sondheimer:
NIGEL Gets To Know Logic. GWAI 1986: 75-86 - 1985
- [j1]Bernhard Nebel:
How well does a Vanilla Loop fit into a Frame? Data Knowl. Eng. 1(2): 181-194 (1985) - [c5]Kai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel:
BACK to Consistency and Incompleteness. GWAI 1985: 245-256 - 1983
- [c4]Heinz Marburger, Bernhard Nebel:
Natürlichsprachlicher Datenbankzugang mit HAM-ANS: Syntaktische Korrepsondenz, natürlichsprachliche Qualifizierung und semantisches Modell des Diskursbereichs. Sprachen für Datenbanken 1983: 26-41 - [c3]Wolfgang Hoeppner, Thomas Christaller, Heinz Marburger, Katharina Morik, Bernhard Nebel, Mike O'Leary, Wolfgang Wahlster:
Beyond Domain-Independence: Experience With the Development of a German Language Access System to Highly Diverse Background Systems. IJCAI 1983: 588-594 - [c2]Bernhard Nebel:
Ist LISP eine 'langsame' Sprache? GWAI 1983: 21-30 - 1982
- [c1]Bernhard Nebel, Heinz Marburger:
Das natürlichsprachliche System HAM-ANS: Intelligenter Zugriff auf heterogene Wissens- und Datenbanken. GI Jahrestagung 1982: 392-402
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
