Items where Author is "Domshlak, Carmel"

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

Article

Domshlak, Carmel and Hoffmann, Jörg and Katz, Michael
(2015) Red-black planning: A new systematic approach to partial delete relaxation.
Artif. Intell., 221. pp. 73-114.

Domshlak, Carmel and Hoffmann, Jörg and Sabharwal, Ashish
(2009) Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings.
J. Artif. Intell. Res., 36. 415–469.

Domshlak, Carmel and Hoffmann, Jörg
(2007) Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting.
J. Artif. Intell. Res., 30. 565–620.

Conference or Workshop Item

Gnad, Daniel and Hoffmann, Jörg and Domshlak, Carmel
(2015) From Fork Decoupling to Star-Topology Decoupling.
In: Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel..
Conference: None | Not Set

Katz, Michael and Hoffmann, Jörg and Domshlak, Carmel
(2013) Red-Black Relaxed Plan Heuristics.
In: Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA..
Conference: AAAI - National Conference of the American Association for Artificial Intelligence

Katz, Michael and Hoffmann, Jörg and Domshlak, Carmel
(2013) Who Said We Need to Relax All Variables?
In: Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013.
Conference: ICAPS - International Conference on Automated Planning and Scheduling

Domshlak, Carmel and Hoffmann, Jörg
(2006) Fast Probabilistic Planning through Weighted Model Counting.
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006.

Hoffmann, Jörg and Sabharwal, Ashish and Domshlak, Carmel
(2006) Friends or Foes? An AI Planning Perspective on Abstraction and Search.
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006.

This list was generated on Tue Mar 31 00:03:13 2020 CEST.