--
You received this message because you are subscribed to the Google Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ippc-2014-discr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
<mailto:ippc-2014-discrete+unsub...@googlegroups.com>.an email to ippc-2014-discrete+unsub...@googlegroups.com
--
You received this message because you are subscribed to the Google
Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ippc-2014-discrete+unsub...@googlegroups.com<mailto:ippc-2014-discrete+unsub...@googlegroups.com>.
--
You received this message because you are subscribed to the Google Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ippc-2014-discrete+unsub...@googlegroups.com.
To unsubscribe from this group and stop receiving emails from it, send an email to ippc-2014-discr...@googlegroups.com.
<mailto:ippc-2014-discrete%2Bunsu...@googlegroups.com>>.
For more options, visit https://groups.google.com/d/__optout
<https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the Google
Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails from
it, send
<mailto:ippc-2014-discrete%2Bunsu...@googlegroups.com>>.
For more options, visit https://groups.google.com/d/__optout
<https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the Google
Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to ippc-2014-discrete+__unsub...@googlegroups.com
<mailto:ippc-2014-discrete%2Bunsu...@googlegroups.com>.
For more options, visit https://groups.google.com/d/__optout
<https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the Google
Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ippc-2014-discrete+unsub...@googlegroups.com
<mailto:ippc-2014-discrete+unsub...@googlegroups.com>.
--
You received this message because you are subscribed to the Google Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ippc-2014-discrete+unsub...@googlegroups.com.
Hi Scott,
I don't mind preparing it myself, I just wanted to make sure it's OK to do so and that I'll have the 5 minutes it takes. Thanks!
Cheers
Thomas
On 04/15/2014 10:55 AM, Scott Sanner wrote:
Hi Thomas,
> Is it possible to provide such a list for the final competition?
It is possible of course, but if individual planners need certain
formats, I would prefer the competitors to generate such files on their own.
I planned to follow exactly the IPPC 2011 format which just provided
instance names. I will follow the same naming convention as in IPPC 2011.
Cheers,
Scott
On Tue, Apr 15, 2014 at 5:50 PM, Thomas Keller
<tke...@informatik.uni-freiburg.de
<mailto:tkeller@informatik.uni-freiburg.de>
<mailto:tkeller@informatik.__uni-freiburg.de
ippc-2014-discrete+____unsub...@googlegroups.com
<mailto:ippc-2014-discrete%2B__unsub...@googlegroups.com>
<mailto:ippc-2014-discrete%__2Bunsu...@googlegroups.com
<mailto:ippc-2014-discrete%252Bunsubscribe@googlegroups.com>__>
<mailto:ippc-2014-discrete+____unsub...@googlegroups.com
<mailto:ippc-2014-discrete%2B__unsub...@googlegroups.com>
<mailto:ippc-2014-discrete%__2Bunsu...@googlegroups.com
<mailto:ippc-2014-discrete%252Bunsubscribe@googlegroups.com>__>>.
For more options, visit
https://groups.google.com/d/____optout
<https://groups.google.com/d/__optout>
<https://groups.google.com/d/__optout
<https://groups.google.com/d/optout>>.
--
You received this message because you are subscribed to
the Google
Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving
emails from
it, send
an email to
ippc-2014-discrete+____unsub...@googlegroups.com
<mailto:ippc-2014-discrete%2B__unsub...@googlegroups.com>
<mailto:ippc-2014-discrete%__2Bunsu...@googlegroups.com
<mailto:ippc-2014-discrete%252Bunsubscribe@googlegroups.com>__>
<mailto:ippc-2014-discrete+____unsub...@googlegroups.com
<mailto:ippc-2014-discrete%2B__unsub...@googlegroups.com>
<mailto:ippc-2014-discrete%__2Bunsu...@googlegroups.com
<mailto:ippc-2014-discrete%252Bunsubscribe@googlegroups.com>__>>.
For more options, visit
https://groups.google.com/d/____optout
<https://groups.google.com/d/__optout>
<https://groups.google.com/d/__optout
<https://groups.google.com/d/optout>>.
--
You received this message because you are subscribed to the
Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails
from it,
send an email to
For more options, visit
https://groups.google.com/d/____optout
<https://groups.google.com/d/__optout>
<https://groups.google.com/d/__optout
<https://groups.google.com/d/optout>>.
--
You received this message because you are subscribed to the Google
Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails from
it, send
<mailto:ippc-2014-discrete%2Bunsu...@googlegroups.com>>.
For more options, visit https://groups.google.com/d/__optout
<https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the Google
Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to ippc-2014-discrete+__unsub...@googlegroups.com
<mailto:ippc-2014-discrete%2Bunsu...@googlegroups.com>.
For more options, visit https://groups.google.com/d/__optout
<https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the Google
Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ippc-2014-discrete+unsub...@googlegroups.com
<mailto:ippc-2014-discrete+unsub...@googlegroups.com>.
--
You received this message because you are subscribed to the Google Groups "IPPC 2014 (DISCRETE TRACK)" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ippc-2014-discrete+unsub...@googlegroups.com.
To unsubscribe from this group and stop receiving emails from it, send an email to ippc-2014-discr...@googlegroups.com.
Dear organizers, The planner we intend to use for the competition is based on your translation of RDDL problems to the SPUDD format. Don't worry, we don't plan to run SPUDD :) The current code of rddlsim does not seem to be able to translate RDDL domains that would generate intermediate variables, typically (we guess) domains with non-boolean variables which would each one be translated into probabilistically-dependent boolean variables. Thus: - Will there be benchmarks with intermediate variables? - If so, are there any plans to provide a translation to SPUDD that works with intermediate variables? As a side note, we also intend to run 2 or 3 different planners for the competition, except if we observe in our own tests that one of them largely outperforms the others on all criteria.
Finally, 04/17/14 8am (Toronto time) will be ok for our warmup experiment.
Best, Nicolas and Florent.
To unsubscribe from this group and stop receiving emails from it, send an email to ippc-2014-discrete+unsub...@googlegroups.com.
To unsubscribe from this group and stop receiving emails from it, send an email to ippc-2014-discr...@googlegroups.com.