Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

	Year		Title	BibTeX cite key
Hagemann
Hähnle, Kerber, Weidenbach
Hanus
Hanus, Josephs
Hanus, Zartmann
Hillenbrand
Hillenbrand, Löchner
Hillenbrand, Podelski, Topić
Hillenbrand, Topic, Weidenbach
Hoenicke, Maier
Hoffmann
	2005		A Covering Problem for Hypercubes In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580	HoffmannKupferschmid2005
	2005		In Defense of PDDL Axioms In: Artificial Intelligence [168], 38-69	ThiebauxEtal2005
	2005		The Deterministic Part of IPC-4: An Overview In: Journal of Artificial Intelligence Research [24], 519 - 579	HoffmannEdelkamp2005
	2005		Where Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks In: Journal of Artificial Intelligence Research [24], 685-758	Hoffmann2005
	2003		The Metric-FF Planning System: Translating ``Ignoring Delete Lists'' To Numeric State Variables In: Journal of Artificial Intelligence Research [20], 51	Hoffmann2003b
	2003		Utilizing Problem Structure in Planning: A Local Search Approach	Hoffmann2003a
Hoffmann, Brafman
Hoffmann, Geffner
Hoffmann, Gomes, Selman
Hoffmann, Porteous, Sebastia
Hoffmann, Sabharwal, Domshlak
Hopf
Hopf, Klawonn
Hopf, Rau
Hustadt
Hustadt, Nonnengart
Hustadt, Schmidt
Hustadt, Schmidt, Weidenbach
Iturrioz, Sofronie-Stokkermans

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)