×

zbMATH — the first resource for mathematics

Nebel, Bernhard

Compute Distance To:
Author ID: nebel.bernhard Recent zbMATH articles by "Nebel, Bernhard"
Published as: Nebel, Bernhard; Nebel, B.; Nebel, Bernard
Documents Indexed: 35 Publications since 1988, including 3 Books

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 384 times in 301 Documents Cited by Year
The FF planning system: Fast plan generation through heuristic search. Zbl 0970.68044
Hoffmann, J.; Nebel, B.
67
2001
Reasoning about temporal relations: A maximal tractable subclass of Allen’s interval algebra. Zbl 0886.68077
Nebel, Bernhard; Bürckert, Hans-Jürgen
57
1995
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Zbl 0914.68160
Renz, Jochen; Nebel, Bernhard
40
1999
Belief revision and default reasoning: Syntax-based approaches. Zbl 0765.68198
Nebel, Bernhard
30
1991
Terminological reasoning is inherently intractable. Zbl 0717.68089
Nebel, Bernhard
28
1990
Reasoning and revision in hybrid representation systems. Zbl 0702.68095
Nebel, Bernhard
28
1990
On the computational complexity of assumption-based argumentation for default reasoning. Zbl 1043.68097
Dimopoulos, Yannis; Nebel, Bernhard; Toni, Francesca
17
2002
A knowledge level analysis of belief revision. Zbl 0709.68091
Nebel, Bernhard
17
1989
How hard is it to revise a belief base? Zbl 0934.91011
Nebel, Bernhard
17
1998
Computational complexity of terminological reasoning in BACK. Zbl 0646.68110
Nebel, Bernhard
14
1988
On the compilability and expressive power of propositional planning formalisms. Zbl 0943.68182
Nebel, B.
12
2000
Efficient methods for qualitative spatial reasoning. Zbl 0994.68106
Renz, J.; Nebel, B.
11
2001
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. Zbl 0870.68138
Nebel, Bernhard
8
1997
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Zbl 0788.68131
Baader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard; Nutt, Werner; Smolka, Gert
7
1993
Representation and reasoning with attributive descriptions. Zbl 0747.68075
Nebel, Bernard; Smolka, Gert
7
1990
An empirical analysis of terminological representation systems. Zbl 0812.68113
Heinsohn, Jochen; Kudenko, Daniel; Nebel, Bernhard; Profitlich, Hans-Jürgen
6
1994
In defense of PDDL axioms. Zbl 1132.68714
Thiébaux, Sylvie; Hoffmann, Jörg; Nebel, Bernhard
6
2005
Based revision operations and schemes: Semantics, representation, and complexity. Zbl 0861.68096
Nebel, B.
3
1995
Artificial intelligence: A computational perspective. Zbl 0962.68142
Nebel, Bernhard
3
1996
Acquisition and validation of complex object database schemata supporting multiple inheritance. Zbl 0809.68108
Bergamaschi, Sonia; Nebel, Bernhard
2
1994
Double-crossing: Decidability and computational complexity of a qualitative calculus for navigation. Zbl 1042.68797
Scivos, Alexander; Nebel, Bernhard
2
2001
On the computational complexity of temporal projection, planning, and plan validation. Zbl 0803.68122
Nebel, Bernhard; Bäckström, Christer
1
1994
On qualitative route descriptions. Representation, agent models, and computational complexity. Zbl 1347.68315
Westphal, Matthias; Wölfl, Stefan; Nebel, Bernhard; Renz, Jochen
1
2015
On qualitative route descriptions. Representation, agent models, and computational complexity. Zbl 1347.68315
Westphal, Matthias; Wölfl, Stefan; Nebel, Bernhard; Renz, Jochen
1
2015
In defense of PDDL axioms. Zbl 1132.68714
Thiébaux, Sylvie; Hoffmann, Jörg; Nebel, Bernhard
6
2005
On the computational complexity of assumption-based argumentation for default reasoning. Zbl 1043.68097
Dimopoulos, Yannis; Nebel, Bernhard; Toni, Francesca
17
2002
The FF planning system: Fast plan generation through heuristic search. Zbl 0970.68044
Hoffmann, J.; Nebel, B.
67
2001
Efficient methods for qualitative spatial reasoning. Zbl 0994.68106
Renz, J.; Nebel, B.
11
2001
Double-crossing: Decidability and computational complexity of a qualitative calculus for navigation. Zbl 1042.68797
Scivos, Alexander; Nebel, Bernhard
2
2001
On the compilability and expressive power of propositional planning formalisms. Zbl 0943.68182
Nebel, B.
12
2000
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Zbl 0914.68160
Renz, Jochen; Nebel, Bernhard
40
1999
How hard is it to revise a belief base? Zbl 0934.91011
Nebel, Bernhard
17
1998
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. Zbl 0870.68138
Nebel, Bernhard
8
1997
Artificial intelligence: A computational perspective. Zbl 0962.68142
Nebel, Bernhard
3
1996
Reasoning about temporal relations: A maximal tractable subclass of Allen’s interval algebra. Zbl 0886.68077
Nebel, Bernhard; Bürckert, Hans-Jürgen
57
1995
Based revision operations and schemes: Semantics, representation, and complexity. Zbl 0861.68096
Nebel, B.
3
1995
An empirical analysis of terminological representation systems. Zbl 0812.68113
Heinsohn, Jochen; Kudenko, Daniel; Nebel, Bernhard; Profitlich, Hans-Jürgen
6
1994
Acquisition and validation of complex object database schemata supporting multiple inheritance. Zbl 0809.68108
Bergamaschi, Sonia; Nebel, Bernhard
2
1994
On the computational complexity of temporal projection, planning, and plan validation. Zbl 0803.68122
Nebel, Bernhard; Bäckström, Christer
1
1994
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Zbl 0788.68131
Baader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard; Nutt, Werner; Smolka, Gert
7
1993
Belief revision and default reasoning: Syntax-based approaches. Zbl 0765.68198
Nebel, Bernhard
30
1991
Terminological reasoning is inherently intractable. Zbl 0717.68089
Nebel, Bernhard
28
1990
Reasoning and revision in hybrid representation systems. Zbl 0702.68095
Nebel, Bernhard
28
1990
Representation and reasoning with attributive descriptions. Zbl 0747.68075
Nebel, Bernard; Smolka, Gert
7
1990
A knowledge level analysis of belief revision. Zbl 0709.68091
Nebel, Bernhard
17
1989
Computational complexity of terminological reasoning in BACK. Zbl 0646.68110
Nebel, Bernhard
14
1988
all top 5

Cited by 485 Authors

11 Gerevini, Alfonso Emilio
11 Li, Sanjiang
9 Baader, Franz
9 Jonsson, Peter A.
7 Nebel, Bernhard
6 Donini, Francesco M.
6 Hoffmann, Jörg
6 Koubarakis, Manolis
6 Liberatore, Paolo
6 Marquis, Pierre
5 Bonet, Blai
5 Kambhampati, Subbarao
5 Liu, Weiming
5 Saetti, Alessandro
5 Toni, Francesca
4 Benferhat, Salem
4 Bodirsky, Manuel
4 Condotta, Jean-François
4 Dunne, Paul E.
4 Haslum, Patrik
4 Lang, Jérôme
4 Lenzerini, Maurizio
4 Lutz, Carsten
4 Renz, Jochen
4 Schockaert, Steven
4 Straccia, Umberto
4 Wolter, Frank
4 Zakharyaschev, Michael Viktorovich
3 Bäckström, Christer
3 De Cock, Martine
3 De Giacomo, Giuseppe
3 Eiter, Thomas
3 Geffner, Hector
3 Helmert, Malte
3 Hollunder, Bernhard
3 Hunter, Anthony
3 Konieczny, Sébastien
3 Long, Derek
3 Nardi, Daniele
3 Nutt, Werner
3 Schaerf, Marco
3 Schubert, Lenhart K.
3 Serina, Ivan
3 Skiadopoulos, Spiros
3 Thiébaux, Sylvie
2 Arfaee, Shahab Jabbari
2 Balbiani, Philippe
2 Bench-Capon, Trevor J. M.
2 Bernstein, Arthur J.
2 Bobillo, Fernando
2 Boley, Harold
2 Booth, Richard F.
2 Brafman, Ronen I.
2 Broxvall, Mathias
2 Bryce, Daniel
2 Buchheit, Martin
2 Cadoli, Marco
2 Calvanese, Diego
2 Chen, Hubie
2 Chopra, Samir
2 Cohn, Anthony G.
2 Damm, Werner
2 Domshlak, Carmel
2 Drakengren, Thomas
2 Düntsch, Ivo
2 Fermé, Eduardo Leopoldo
2 Fox, Maria
2 Georgatos, Konstantinos
2 Goranko, Valentin F.
2 Gottlob, Georg
2 Hansson, Sven Ove
2 Holte, Robert C.
2 Jiang, Dongchen
2 Jiang, Yuncheng
2 Kaci, Souhila
2 Kára, Jan
2 Kerre, Etienne E.
2 Li, Wei
2 Lu, Shiyong
2 Luo, Jie
2 Mancarella, Paolo
2 McIlraith, Sheila A.
2 Meier, Arne
2 Miličić, Maja
2 Montanari, Angelo
2 Patel-Schneider, Peter F.
2 Peñaloza, Rafael
2 Phan Minh Dung
2 Pratt-Hartmann, Ian
2 Rintanen, Jussi
2 Salhi, Yakoub
2 Schaerf, Andrea
2 Schneider, Thomas
2 Sciavicco, Guido
2 Sioutis, Michael
2 Smith, David E.
2 Smolka, Gert
2 Sofronie-Stokkermans, Viorica
2 Son, Tran Cao
2 Tang, Suqin
...and 385 more Authors
all top 5

Cited in 50 Serials

133 Artificial Intelligence
14 Annals of Mathematics and Artificial Intelligence
11 Journal of Applied Non-Classical Logics
8 Theoretical Computer Science
8 International Journal of Approximate Reasoning
7 Computers & Mathematics with Applications
7 Journal of Automated Reasoning
7 International Journal of Intelligent Systems
6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
5 Journal of Philosophical Logic
5 The Journal of Artificial Intelligence Research (JAIR)
5 Journal of Applied Logic
4 Information and Computation
3 Fuzzy Sets and Systems
3 Journal of Computer and System Sciences
3 Studia Logica
3 Journal of Symbolic Computation
3 Computational Intelligence
2 Information Sciences
2 Notre Dame Journal of Formal Logic
2 Artificial Intelligence Review
2 Journal of Logic, Language and Information
2 Constraints
2 Frontiers of Computer Science
1 Acta Informatica
1 Information Processing Letters
1 The Journal of Symbolic Logic
1 Synthese
1 Annals of Pure and Applied Logic
1 Journal of Computer Science and Technology
1 Computers & Operations Research
1 Annals of Operations Research
1 Machine Learning
1 Random Structures & Algorithms
1 International Journal of Foundations of Computer Science
1 Applied Intelligence
1 Formal Methods in System Design
1 Mathematical Problems in Engineering
1 Theory of Computing Systems
1 Soft Computing
1 Journal of Scheduling
1 Journal of the ACM
1 Data Mining and Knowledge Discovery
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Journal of Machine Learning Research (JMLR)
1 ACM Transactions on Computational Logic
1 Journal of Discrete Algorithms
1 Mathematics in Computer Science
1 Logica Universalis
1 Journal of Siberian Federal University. Mathematics & Physics

Citations by Year