MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

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
#YearAuthor(s) [non member]Editor(s) [non member]TitleType
2
Show details for MacNish, Craig (ed.)MacNish, Craig (ed.)
6
Show details for Madden, PeterMadden, Peter
2
Show details for Magirou, VangelisMagirou, Vangelis
1
Show details for Maher, Michael (ed.)Maher, Michael (ed.)
1
Show details for Maibaum, T. S. E. (ed.)Maibaum, T. S. E. (ed.)
1
Show details for Maibaum, T.S.E. (ed.)Maibaum, T.S.E. (ed.)
10
Show details for Maier, PatrickMaier, Patrick
2
Show details for Majumdar, RupakMajumdar, Rupak
2
Show details for Makinson, DavidMakinson, David
2
Show details for Malkis, AlexanderMalkis, Alexander
1
Show details for Maluszynski, Jan (ed.)Maluszynski, Jan (ed.)
1
Show details for Mancarella, P. (ed.)Mancarella, P. (ed.)
2
Show details for Mannila, HeikkiMannila, Heikki
1
Show details for Mantel, Heiko (ed.)Mantel, Heiko (ed.)
1
Show details for Marché, Claude (ed.)Marché, Claude (ed.)
2
Show details for Marcinkowski, Jerzy (ed.)Marcinkowski, Jerzy (ed.)
1
Show details for Marek, V. W. (ed.)Marek, V. W. (ed.)
2
Show details for Margaria, Tiziana (ed.)Margaria, Tiziana (ed.)
4
Show details for Martelli, MaurizioMartelli, Maurizio
1
Show details for Martin, David (ed.)Martin, David (ed.)
2
Show details for Mascardi, VivianaMascardi, Viviana
22
Show details for Matthews, SeanMatthews, Sean
1
Show details for Maus, StefanMaus, Stefan
1
Show details for Mayr, Ernst W. (ed.)Mayr, Ernst W. (ed.)
3
Show details for McAllester, DavidMcAllester, David
4
Show details for McAllester, David (ed.)McAllester, David (ed.)
3
Hide details for McCluskey, Lee (ed.)McCluskey, Lee (ed.)
2006[Domshlak, Carmel]
Hoffmann, Jörg
[Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee]
Fast Probabilistic Planning Through Weighted Model Counting
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 243-252
Proceedings Article
2006Hoffmann, Jörg
[Gomes, Carla]
[Selman, Bart]
[Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee]
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 284-293
Proceedings Article
2006Hoffmann, Jörg
[Sabharwal, Ashish]
[Domshlak, Carmel]
[Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee]
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), 294-303
Proceedings Article

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