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
Jump to: Conference or Workshop Item (A Paper) | Article
Number of items: 8.

Conference or Workshop Item (A Paper)

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..

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.

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.

This list was generated on Sun Dec 22 03:15:59 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.