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: Nebel:Bernhard
Facilitated 1 volumes:
EdContributed to:
200820082002200019921991
19901989
2007Wrote 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.
- KR-2002-Nebel
- The Philosophical Soccer Player (BN), p. 631.
- KR-2000-DimopoulosNT
- 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.