I split off the "Fast Downward users" part into the separate issue97. (BTW, the
Koller & Stone thing indeed seemed to be a dead alley; I only found one paper,
and that uses FF.)

Since this issue was about creating the website, which is now done, we can
consider it resolved. Of course we still need to add lots of content, but it's
better to use individual issues for that. I added a new keyword "website" for
website-related stuff.

OK, I've finally finished the wiki setup:
http://alfons.informatik.uni-freiburg.de/downward/

I've made no effort so far towards making it nice-looking, but it should be good
enough for adding content.

Only users from the AdminGroup can edit pages or add other users to the
AdminGroup, so it's a closed community. Right now the only people in the
AdminGroup are me (account MalteHelmert) and Jendrik (JendrikSeipp).

Jendrik: once you've created a wiki account with that user name, you can start
adding stuff.

Gabi: Let me know how you want your username to be written (Gabi vs. Gabriele,
oe vs. ö), and I'll add you too.

Another entry: Emil and Héctor's "Soft Goals Can Be Compiled Away" uses LAMA
(among other planners) to solve compiled oversubscription problems.

At some point, we should start working on a website for the planner.

One thing I'd like to include is info on other people who have taken Fast
Downward or LAMA and done something useful with it; whether "proper"
applications, teaching, research papers that use the planner as a tool or
whatever. To get this list started, here's some things I've heard about:

 * For example, someone mentioned work by Alexander Koller and Matt Stone
   using LAMA for natural language generation/synthesis. (Not sure they
   really used it though -- this seems to be the same strand of work as
   Jörg's "waking up a sleeping rabbit", so I guess they used FF? Can't
   hurt to check, though.)

 * Jörg mentioned some tool for "automated hacking" that currently uses FF and
   is investigating the use of LAMA. FF will probably be included in a
   commercial product for this; not sure if they'll really end up using LAMA.
   But maybe we can get them to at least try it out.

 * The Héctors and Blai used LAMA for compiled controller synthesis problems
   and the like.

 * Jörg used LAMA in an ECAI paper on cellular automata.