Items where Author is "Nebel, Bernhard"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 6.

Conference or Workshop Item (A Paper)

Trüg, Sebastian and Hoffmann, Jörg and Nebel, Bernhard
(2004) Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study.
In: KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings.

Becker, Bernd and Behle, Markus and Eisenbrand, Friedrich and Franzle, Martin and Herbstritt, Marc and Herde, Christian and Hoffmann, Jörg and Kröning, Daniel and Nebel, Bernhard and Polian, Ilia and Wimmer, Ralf
(2004) Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004.

Thiébaux, Sylvie and Hoffmann, Jörg and Nebel, Bernhard
(2003) In Defense of PDDL Axioms.
In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003.

Koehler, Jana and Nebel, Bernhard and Hoffmann, Jörg and Dimopoulos, Yannis
(1997) Extending Planning Graphs to an ADL Subset.
In: Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings.


Thiébaux, Sylvie and Hoffmann, Jörg and Nebel, Bernhard
(2005) In defense of PDDL axioms.
Artif. Intell., 168 (1-2). 38–69.

Hoffmann, Jörg and Nebel, Bernhard
(2001) The FF Planning System: Fast Plan Generation Through Heuristic Search.
J. Artif. Intell. Res., 14. 253–302.

This list was generated on Wed Dec 8 00:04:23 2021 CET.