BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × France
3 × USA
Collaborated with:
Dapeng Zhang 0002 F.Baader P.Eyerich M.Brenner G.Röger M.Helmert Y.Dimopoulos F.Toni S.Kupferschmid M.Wehrle A.Podelski B.Hollunder H.Profitlich E.Franconi J.Müller W.Nutt G.Smolka
Talks about:
represent (2) analysi (2) soccer (2) reason (2) belief (2) revis (2) terminolog (1) philosoph (1) techniqu (1) subsumpt (1)

Person: Bernhard Nebel

DBLP DBLP: Nebel:Bernhard

Facilitated 1 volumes:

KR 1992Ed

Contributed to:

CAV 20082008
KR 20082008
KR 20022002
KR 20002000
KR 19921992
KR 19911991
CADE 19901990
KR 19891989
AIIDE 20072007

Wrote 11 papers:

CAV-2008-KupferschmidWNP #performance #question
Faster Than Uppaal? (SK, MW, BN, AP), pp. 552–555.
KR-2008-EyerichBN #complexity #on the
On the Complexity of Planning Operator Subsumption (PE, MB, BN), pp. 518–527.
KR-2008-RogerHN #on the
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle (GR, MH, BN), pp. 544–550.
The Philosophical Soccer Player (BN), p. 631.
Finding Admissible and Preferred Arguments Can be Very Hard (YD, BN, FT), pp. 53–61.
KR-1992-BaaderHNPF #analysis #empirical #optimisation #representation
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On (FB, BH, BN, HJP, EF), pp. 270–281.
KR-1991-Nebel #reasoning
Belief Revision and Default Reasoning: Syntax-Based Approaches (BN), pp. 417–428.
CADE-1990-MullerBNNS #concept #reasoning #representation #tutorial
Tutorial on Reasoning and Representation with Concept Languages (JM, FB, BN, WN, GS), p. 681.
KR-1989-Nebel #analysis
A Knowledge Level Analysis of Belief Revision (BN), pp. 301–311.
AIIDE-2007-ZhangN #learning #sequence
Learning a Table Soccer Robot a New Action Sequence by Observing and Imitating (DZ0, BN), pp. 61–67.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.