Search Results

Documents authored by Nebel, Bernhard


Found 2 Possible Name Variants:

Nebel, Bernhard E.

Document
Data Structures for the Cloud and External Memory Data (Dagstuhl Seminar 19051)

Authors: Gerth Stølting Brodal, Ulrich Carsten Meyer, Bernhard E. Nebel, and Robert Sedgewick

Published in: Dagstuhl Reports, Volume 9, Issue 1 (2019)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 16101 "Data Structures for the Cloud and External Memory Data". In today's computing environment vast amounts of data are processed, exchanged and analyzed. The manner in which information is stored profoundly influences the efficiency of these operations over the data. In spite of the maturity of the field many data structuring problems are still open, while new ones arise due to technological advances. The seminar covered both recent advances in the "classical" data structuring topics as well as new models of computation adapted to modern architectures, scientific studies that reveal the need for such models, applications where large data sets play a central role, modern computing platforms for very large data, and new data structures for large data in modern architectures. The extended abstracts included in this report contain both recent state of the art advances and lay the foundation for new directions within data structures research.

Cite as

Gerth Stølting Brodal, Ulrich Carsten Meyer, Bernhard E. Nebel, and Robert Sedgewick. Data Structures for the Cloud and External Memory Data (Dagstuhl Seminar 19051). In Dagstuhl Reports, Volume 9, Issue 1, pp. 104-124, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{brodal_et_al:DagRep.9.1.104,
  author =	{Brodal, Gerth St{\o}lting and Meyer, Ulrich Carsten and Nebel, Bernhard E. and Sedgewick, Robert},
  title =	{{Data Structures for the Cloud and External Memory Data (Dagstuhl Seminar 19051)}},
  pages =	{104--124},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{1},
  editor =	{Brodal, Gerth St{\o}lting and Meyer, Ulrich Carsten and Nebel, Bernhard E. and Sedgewick, Robert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.1.104},
  URN =		{urn:nbn:de:0030-drops-105722},
  doi =		{10.4230/DagRep.9.1.104},
  annote =	{Keywords: algorithms, big data, cloud computing, data structures, external memory methods, large data sets, web-scale}
}

Nebel, Bernhard

Document
Planning with epistemic goals (Dagstuhl Seminar 14032)

Authors: Thomas Agotnes, Gerhard Lakemeyer, Benedikt Löwe, and Bernhard Nebel

Published in: Dagstuhl Reports, Volume 4, Issue 1 (2014)


Abstract
This report documents the outcomes of Dagstuhl Seminar 14032 "Planning with epistemic goals". It brought together the communities of so far relatively separate research areas related to artificial intelligence and logic: automated planning on the one hand, and dynamic logics of interaction on the other. Significant overlap in motivation, theory and methods was discovered, and a good potential for cross fertilization became apparent.

Cite as

Thomas Agotnes, Gerhard Lakemeyer, Benedikt Löwe, and Bernhard Nebel. Planning with epistemic goals (Dagstuhl Seminar 14032). In Dagstuhl Reports, Volume 4, Issue 1, pp. 83-103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{agotnes_et_al:DagRep.4.1.83,
  author =	{Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
  title =	{{Planning with epistemic goals (Dagstuhl Seminar 14032)}},
  pages =	{83--103},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.83},
  URN =		{urn:nbn:de:0030-drops-45369},
  doi =		{10.4230/DagRep.4.1.83},
  annote =	{Keywords: planning, epistemic logic, modal logic}
}
Document
Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271)

Authors: Martin Lames, Tim McGarry, Bernhard Nebel, and Karen Roemer

Published in: Dagstuhl Reports, Volume 1, Issue 7 (2011)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 11271 ``Computer Science in Sport - Special emphasis: Football''. There were five sessions over the course of three days focusing on separate specific aspects on the relevance, applications and current issues pertaining to computer science in sport. The first session on the first day was about RoboCup -- the history, types of games and robots used, and the current topics relevant to machine learning, tracking and planning. The second session on the first day was a miscellaneous session, which looked at broad topics ranging from hardware devices for mobile coaching, uses of positional data in football, rehabilitation methodologies and games for learning. The second day started with a session on modelling sports as dynamical systems combined with the use of neural networks in performance analysis as well as theoretical issues in human movement science. In the afternoon of the second day the session was on topics in computer science specifically relevant to coaches, in which six different people presented. The final day of the conference hosted a session on computer science ``behind the scenes'' of major sports broadcasters and other media. The sessions were attended by academics, graduate students, coaches, performance analysts and athletes.

Cite as

Martin Lames, Tim McGarry, Bernhard Nebel, and Karen Roemer. Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271). In Dagstuhl Reports, Volume 1, Issue 7, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@Article{lames_et_al:DagRep.1.7.1,
  author =	{Lames, Martin and McGarry, Tim and Nebel, Bernhard and Roemer, Karen},
  title =	{{Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271)}},
  pages =	{1--22},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{7},
  editor =	{Lames, Martin and McGarry, Tim and Nebel, Bernhard and Roemer, Karen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.7.1},
  URN =		{urn:nbn:de:0030-drops-32769},
  doi =		{10.4230/DagRep.1.7.1},
  annote =	{Keywords: Sport, Neural networks, Dynamical systems, Robotics, Coaching}
}
Document
Coming up With Good Excuses: What to do When no Plan Can be Found

Authors: Moritz Göbeldecker, Thomas Keller, Patrick Eyerich, Michael Brenner, and Bernhard Nebel

Published in: Dagstuhl Seminar Proceedings, Volume 10081, Cognitive Robotics (2010)


Abstract
can go wrong. First and foremost, an agent might fail to execute one of the planned actions for some reasons. Even more annoying, however, is a situation where the agent is incompetent, i.e., unable to come up with a plan. This might be due to the fact that there are principal reasons that prohibit a successful plan or simply because the task’s description is incomplete or incorrect. In either case, an explanation for such a failure would be very helpful. We will address this problem and provide a formalization of coming up with excuses for not being able to find a plan. Based on that, we will present an algorithm that is able to find excuses and demonstrate that such excuses can be found in practical settings in reasonable time.

Cite as

Moritz Göbeldecker, Thomas Keller, Patrick Eyerich, Michael Brenner, and Bernhard Nebel. Coming up With Good Excuses: What to do When no Plan Can be Found. In Cognitive Robotics. Dagstuhl Seminar Proceedings, Volume 10081, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{gobeldecker_et_al:DagSemProc.10081.7,
  author =	{G\"{o}beldecker, Moritz and Keller, Thomas and Eyerich, Patrick and Brenner, Michael and Nebel, Bernhard},
  title =	{{Coming up With Good Excuses: What to do When no Plan Can be Found}},
  booktitle =	{Cognitive Robotics},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10081},
  editor =	{Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.7},
  URN =		{urn:nbn:de:0030-drops-27739},
  doi =		{10.4230/DagSemProc.10081.7},
  annote =	{Keywords: Planning, knowledge representation}
}
Document
08372 Abstracts Collection – Computer Science in Sport - Mission and Methods

Authors: Arnold Baca, Martin Lames, Keith Lyons, Bernhard Nebel, and Josef Wiemeyer

Published in: Dagstuhl Seminar Proceedings, Volume 8372, Computer Science in Sport - Mission and Methods (2008)


Abstract
From 07.09. to 10.09., the Dagstuhl Seminar 08372 ``Computer Science in Sport - Mission and Methods'' was held in Schloss Dagstuhl - Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Arnold Baca, Martin Lames, Keith Lyons, Bernhard Nebel, and Josef Wiemeyer. 08372 Abstracts Collection – Computer Science in Sport - Mission and Methods. In Computer Science in Sport - Mission and Methods. Dagstuhl Seminar Proceedings, Volume 8372, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{baca_et_al:DagSemProc.08372.1,
  author =	{Baca, Arnold and Lames, Martin and Lyons, Keith and Nebel, Bernhard and Wiemeyer, Josef},
  title =	{{08372 Abstracts Collection – Computer Science in Sport - Mission and Methods}},
  booktitle =	{Computer Science in Sport - Mission and Methods},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8372},
  editor =	{Arnold Baca and Martin Lames and Keith Lyons and Bernhard Nebel and Josef Wiemeyer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08372.1},
  URN =		{urn:nbn:de:0030-drops-16904},
  doi =		{10.4230/DagSemProc.08372.1},
  annote =	{Keywords: Computer science, modeling, robotics, sport technology, doping}
}
Document
08372 Executive Summary – Computer Science in Sport - Mission and Methods

Authors: Josef Wiemeyer, Arnold Baca, Martin Lames, Keith Lyons, and Bernhard Nebel

Published in: Dagstuhl Seminar Proceedings, Volume 8372, Computer Science in Sport - Mission and Methods (2008)


Abstract
From September 7 to 10, 2008 about 30 experts from computer science and sport science (see Appendix B) met at the Leibniz-Zentrum für Informatik in Dagstuhl to discuss interdisciplinary issues in the area of computer science in sport. Five topics were selected for discussion (see Appendix A): doping, modeling and simulation, pervasive computing, robotics and sport technology. A total of 17 presentations dealt with selected projects and issues in the above-mentioned fields.

Cite as

Josef Wiemeyer, Arnold Baca, Martin Lames, Keith Lyons, and Bernhard Nebel. 08372 Executive Summary – Computer Science in Sport - Mission and Methods. In Computer Science in Sport - Mission and Methods. Dagstuhl Seminar Proceedings, Volume 8372, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{wiemeyer_et_al:DagSemProc.08372.2,
  author =	{Wiemeyer, Josef and Baca, Arnold and Lames, Martin and Lyons, Keith and Nebel, Bernhard},
  title =	{{08372 Executive Summary – Computer Science in Sport - Mission and Methods}},
  booktitle =	{Computer Science in Sport - Mission and Methods},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8372},
  editor =	{Arnold Baca and Martin Lames and Keith Lyons and Bernhard Nebel and Josef Wiemeyer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08372.2},
  URN =		{urn:nbn:de:0030-drops-16820},
  doi =		{10.4230/DagSemProc.08372.2},
  annote =	{Keywords: Computer science, modeling, robotics, sport technology, doping}
}
Document
05491 Abstracts Collection – Spatial Cognition: Specialization and Integration

Authors: Anthony G. Cohn, Christian Freksa, and Bernhard Nebel

Published in: Dagstuhl Seminar Proceedings, Volume 5491, Spatial Cognition: Specialization and Integration (2007)


Abstract
From 04.12.05 to 09.12.05, the Dagstuhl Seminar 05491 ``Spatial Cognition: Specialization and Integration'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Anthony G. Cohn, Christian Freksa, and Bernhard Nebel. 05491 Abstracts Collection – Spatial Cognition: Specialization and Integration. In Spatial Cognition: Specialization and Integration. Dagstuhl Seminar Proceedings, Volume 5491, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{cohn_et_al:DagSemProc.05491.1,
  author =	{Cohn, Anthony G. and Freksa, Christian and Nebel, Bernhard},
  title =	{{05491 Abstracts Collection – Spatial Cognition: Specialization and Integration}},
  booktitle =	{Spatial Cognition: Specialization and Integration},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{5491},
  editor =	{Anthony G. Cohn and Christian Freksa and Bernhard Nebel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05491.1},
  URN =		{urn:nbn:de:0030-drops-9859},
  doi =		{10.4230/DagSemProc.05491.1},
  annote =	{Keywords: Spatial cognition, knowledge representation, spatial reasoning, spatial and linguistic ontologies, integration,cognitive robotics}
}
Document
Exploration of Large State Spaces (Dagstuhl Seminar 01451)

Authors: Tom L. Dean, Bernhard Nebel, and Moshe Y. Vardi

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Tom L. Dean, Bernhard Nebel, and Moshe Y. Vardi. Exploration of Large State Spaces (Dagstuhl Seminar 01451). Dagstuhl Seminar Report 326, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)


Copy BibTex To Clipboard

@TechReport{dean_et_al:DagSemRep.326,
  author =	{Dean, Tom L. and Nebel, Bernhard and Vardi, Moshe Y.},
  title =	{{Exploration of Large State Spaces (Dagstuhl Seminar 01451)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{2002},
  type = 	{Dagstuhl Seminar Report},
  number =	{326},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.326},
  URN =		{urn:nbn:de:0030-drops-152090},
  doi =		{10.4230/DagSemRep.326},
}
Document
Terminological Logics (Dagstuhl Seminar 9119)

Authors: Bernhard Nebel, Christof Peltason, and Kai von Luck

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Bernhard Nebel, Christof Peltason, and Kai von Luck. Terminological Logics (Dagstuhl Seminar 9119). Dagstuhl Seminar Report 12, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1991)


Copy BibTex To Clipboard

@TechReport{nebel_et_al:DagSemRep.12,
  author =	{Nebel, Bernhard and Peltason, Christof and von Luck, Kai},
  title =	{{Terminological Logics (Dagstuhl Seminar 9119)}},
  pages =	{1--23},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{12},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.12},
  URN =		{urn:nbn:de:0030-drops-149006},
  doi =		{10.4230/DagSemRep.12},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail