×
Compute Distance To:
Author ID: nebel.bernhard Recent zbMATH articles by "Nebel, Bernhard"
Published as: Nebel, Bernhard; Nebel, B.; Nebel, Bernard

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 421 times in 329 Documents Cited by Year
The FF planning system: Fast plan generation through heuristic search. Zbl 0970.68044
Hoffmann, J.; Nebel, B.
71
2001
Reasoning about temporal relations: A maximal tractable subclass of Allen’s interval algebra. Zbl 0886.68077
Nebel, Bernhard; Bürckert, Hans-Jürgen
62
1995
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Zbl 0914.68160
Renz, Jochen; Nebel, Bernhard
44
1999
Belief revision and default reasoning: Syntax-based approaches. Zbl 0765.68198
Nebel, Bernhard
30
1991
Reasoning and revision in hybrid representation systems. Zbl 0702.68095
Nebel, Bernhard
29
1990
Terminological reasoning is inherently intractable. Zbl 0717.68089
Nebel, Bernhard
28
1990
A knowledge level analysis of belief revision. Zbl 0709.68091
Nebel, Bernhard
22
1989
On the computational complexity of assumption-based argumentation for default reasoning. Zbl 1043.68097
Dimopoulos, Yannis; Nebel, Bernhard; Toni, Francesca
18
2002
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
Efficient methods for qualitative spatial reasoning. Zbl 0994.68106
Renz, J.; Nebel, B.
14
2001
On the compilability and expressive power of propositional planning formalisms. Zbl 0943.68182
Nebel, B.
13
2000
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. Zbl 0870.68138
Nebel, Bernhard
12
1997
In defense of PDDL axioms. Zbl 1132.68714
Thiébaux, Sylvie; Hoffmann, Jörg; Nebel, Bernhard
8
2005
Representation and reasoning with attributive descriptions. Zbl 0747.68075
Nebel, Bernard; Smolka, Gert
7
1990
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
An empirical analysis of terminological representation systems. Zbl 0812.68113
Heinsohn, Jochen; Kudenko, Daniel; Nebel, Bernhard; Profitlich, Hans-Jürgen
6
1994
Artificial intelligence: A computational perspective. Zbl 0962.68142
Nebel, Bernhard
3
1996
Based revision operations and schemes: Semantics, representation, and complexity. Zbl 0861.68096
Nebel, B.
3
1995
Double-crossing: Decidability and computational complexity of a qualitative calculus for navigation. Zbl 1042.68797
Scivos, Alexander; Nebel, Bernhard
2
2001
Acquisition and validation of complex object database schemata supporting multiple inheritance. Zbl 0809.68108
Bergamaschi, Sonia; Nebel, Bernhard
2
1994
The dynamic logic of policies and contingent planning. Zbl 07169137
Bolander, Thomas; Engesser, Thorsten; Herzig, Andreas; Mattmüller, Robert; Nebel, Bernhard
2
2019
Implicitly coordinated multi-agent path finding under destination uncertainty: success guarantees and computational complexity. Zbl 1477.68320
Nebel, Bernhard; Bolander, Thomas; Engesser, Thorsten; Mattmüller, Robert
2
2019
On qualitative route descriptions. Representation, agent models, and computational complexity. Zbl 1347.68315
Westphal, Matthias; Wölfl, Stefan; Nebel, Bernhard; Renz, Jochen
1
2015
Foundations of knowledge representation and reasoning. Zbl 0875.00047
1
1994
Evaluation of the moral permissibility of action plans. Zbl 07274581
Lindner, Felix; Mattmüller, Robert; Nebel, Bernhard
1
2020
On the computational complexity of temporal projection, planning, and plan validation. Zbl 0803.68122
Nebel, Bernhard; Bäckström, Christer
1
1994
Game description language and dynamic epistemic logic compared. Zbl 07418665
Engesser, Thorsten; Mattmüller, Robert; Nebel, Bernhard; Thielscher, Michael
1
2021
Game description language and dynamic epistemic logic compared. Zbl 07418665
Engesser, Thorsten; Mattmüller, Robert; Nebel, Bernhard; Thielscher, Michael
1
2021
Evaluation of the moral permissibility of action plans. Zbl 07274581
Lindner, Felix; Mattmüller, Robert; Nebel, Bernhard
1
2020
The dynamic logic of policies and contingent planning. Zbl 07169137
Bolander, Thomas; Engesser, Thorsten; Herzig, Andreas; Mattmüller, Robert; Nebel, Bernhard
2
2019
Implicitly coordinated multi-agent path finding under destination uncertainty: success guarantees and computational complexity. Zbl 1477.68320
Nebel, Bernhard; Bolander, Thomas; Engesser, Thorsten; Mattmüller, Robert
2
2019
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
8
2005
On the computational complexity of assumption-based argumentation for default reasoning. Zbl 1043.68097
Dimopoulos, Yannis; Nebel, Bernhard; Toni, Francesca
18
2002
The FF planning system: Fast plan generation through heuristic search. Zbl 0970.68044
Hoffmann, J.; Nebel, B.
71
2001
Efficient methods for qualitative spatial reasoning. Zbl 0994.68106
Renz, J.; Nebel, B.
14
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.
13
2000
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Zbl 0914.68160
Renz, Jochen; Nebel, Bernhard
44
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
12
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
62
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
Foundations of knowledge representation and reasoning. Zbl 0875.00047
1
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
Reasoning and revision in hybrid representation systems. Zbl 0702.68095
Nebel, Bernhard
29
1990
Terminological reasoning is inherently intractable. Zbl 0717.68089
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
22
1989
Computational complexity of terminological reasoning in BACK. Zbl 0646.68110
Nebel, Bernhard
14
1988
all top 5

Cited by 528 Authors

11 Gerevini, Alfonso Emilio
11 Jonsson, Peter A.
11 Li, Sanjiang
9 Baader, Franz
7 Bodirsky, Manuel
7 Hoffmann, Jörg
7 Nebel, Bernhard
6 Donini, Francesco M.
6 Koubarakis, Manolis
6 Liberatore, Paolo
6 Marquis, Pierre
6 Toni, Francesca
5 Bonet, Blai
5 Kambhampati, Subbarao
5 Lang, Jérôme
5 Liu, Weiming
5 Saetti, Alessandro
4 Benferhat, Salem
4 Condotta, Jean-François
4 Dunne, Paul E.
4 Haslum, Patrik
4 Lenzerini, Maurizio
4 Lutz, Carsten
4 Renz, Jochen
4 Schockaert, Steven
4 Sciavicco, Guido
4 Sioutis, Michael
4 Straccia, Umberto
4 Wolter, Frank
4 Zakharyaschev, Michael Viktorovich
3 Bäckström, Christer
3 Balbiani, Philippe
3 De Cock, Martine
3 De Giacomo, Giuseppe
3 Eiter, Thomas
3 Geffner, Hector
3 Goranko, Valentin F.
3 Helmert, Malte
3 Hollunder, Bernhard
3 Hunter, Anthony
3 Konieczny, Sébastien
3 Lagerkvist, Victor
3 Long, Derek
3 Nardi, Daniele
3 Nutt, Werner
3 Schaerf, Marco
3 Schubert, Lenhart K.
3 Serina, Ivan
3 Skiadopoulos, Spiros
3 Son, Tran Cao
3 Thiébaux, Sylvie
2 Arfaee, Shahab Jabbari
2 Bench-Capon, Trevor J. M.
2 Bernstein, Arthur J.
2 Bobillo, Fernando
2 Boley, Harold
2 Booth, Richard F.
2 Borrajo, Daniel
2 Boutilier, Craig
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 De La Rosa, Tomás
2 Domshlak, Carmel
2 Drakengren, Thomas
2 Dubois, Didier
2 Düntsch, Ivo
2 Fermé, Eduardo Leopoldo
2 Fox, Maria
2 Gavanelli, Marco
2 Georgatos, Konstantinos
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 Kraus, Sarit
2 Leone, Nicola
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 Nau, Dana
2 Paparrizou, Anastasia
2 Passantino, Alessandro
2 Patel-Schneider, Peter F.
...and 428 more Authors
all top 5

Cited in 52 Serials

144 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 Information and Computation
7 Journal of Automated Reasoning
7 International Journal of Intelligent Systems
7 The Journal of Artificial Intelligence Research (JAIR)
6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
5 Journal of Philosophical Logic
5 Journal of Applied Logic
4 Studia Logica
3 Fuzzy Sets and Systems
3 Journal of Computer and System Sciences
3 Journal of Symbolic Computation
3 Journal of Logic, Language and Information
3 Computational Intelligence
2 Information Sciences
2 Notre Dame Journal of Formal Logic
2 Artificial Intelligence Review
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 Theory and Practice of Logic Programming
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 Logical Methods in Computer Science
1 Journal of Siberian Federal University. Mathematics & Physics

Citations by Year