User profiles for B. Nebel

Bernhard Nebel

Professor für Informatik, Universität Freiburg
Verified email at uni-freiburg.de
Cited by 17489

[BOOK][B] Belief revision and default reasoning: Syntax-based approaches

B Nebel - 1991 - core.ac.uk
… In [Nebel, 1989] we showed that syntax-based approaches can be interpreted as assigning
… Since B is a maximal subset of A not implying x, we have y E B. Thus, assume (x V y) ¢ …

Biokatalysatoren für die organische Synthese–die neue Generation

…, SC Hammer, BA Nebel, B Hauer - Angewandte Chemie, 2014 - Wiley Online Library
… zu den entsprechenden Aldehyd-funktionalisierten Zwischenprodukten 55 a,b oxidiert, die
wiederum mithilfe von Transaminasen zu den Aminen 56 a,b umgesetzt wurden, aus denen …

[PDF][PDF] Towards a multidimensional perspective on shared autonomy

…, B Wrede, H Ritter, T Brox, B Nebel… - Proceedings of the …, 2016 - cdn.aaai.org
Shared Autonomy in the traditional sense focuses on the degree of user intervention in the
control of artificial systems. We propose to broaden this notion to allow for more interactive …

New generation of biocatalysts for organic synthesis

…, SC Hammer, BA Nebel, B Hauer - Angewandte Chemie …, 2014 - Wiley Online Library
… The title picture “Guiding” was painted by the young Austrian artist Claudia Nebel. … ,b which
in turn were transformed to the amine 56 a,b. A subsequent oxidation to intermediates 57 a,b

Recent progress in industrial biocatalysis

BM Nestl, BA Nebel, B Hauer - Current opinion in chemical biology, 2011 - Elsevier
In recent years, several procedures have been reported for the development of biocatalytic
processes. This review focuses on selected examples integrating biocatalysts into a variety of …

Navigation mobiler roboter mit laserscans

…, T Bräunl, N Oswald, JS Gutmann, B Nebel - … Mobile Systeme 1997: 13 …, 1997 - Springer
… von Scan A innerhalb der gepunktet gezeichneten Ellipse von Position B aus nicht sichtbar
… der gepunktet gezeichneten Rechtecke von Position B aus nicht sichtbar. Werden beide …

Foundations of knowledge representation and reasoning: A guide to this volume

G Lakemeyer, B Nebel - Foundations of knowledge representation and …, 2005 - Springer
… ] address the multiple extension problem of default reasoning [Reiter, 1987], which is known
to be one source of computational complexity in default reasoning [Gottlob, 1992, Nebel, …

Longevity and senescence of needles in Pinus cembra L.

B Nebel, P Matile - Trees, 1992 - Springer
Needle development has been investigated in Pinus cembra at several locations in the
Grisons. Special attention has been paid to longevity and senescence. Despite large variations …

The FF planning system: Fast plan generation through heuristic search

J Hoffmann, B Nebel - Journal of Artificial Intelligence Research, 2001 - jair.org
… and C on the table initially, and want to stack them such that we have B on top of C, and A
on top of B. Obviously, there is not much point in stacking A on B rst. Now, imagine a forward …

COMPLEXITY RESULTS FOR SAS+ PLANNING

C Bäckström, B Nebel - Computational Intelligence, 1995 - Wiley Online Library
… We define U = T - (u’) and let 7 be defined as b but lacking the o erators in b[u’]. It is
immediate that 7 is a plan from s to ~ 1 % , since b is a plan from s to .TI - and prv(o)[d] = u …