IIa: P
lan
Search
En
gin
eerin
g
Hall: H
S 1
19
9
14
:0
0–1
5:3
5
IIb
:
Gen
eralized
Plan
nin
g
Hall: A
ula
15
:3
5–1
6:0
5
Coffee B
reak
Resu
lts IP
C
Hall: H
S 1
19
9
16
:0
5–1
7:3
0
17
:3
0–2
0:0
0
(op
en end
)
DC
P
osters &
S
ystem
D
em
os
Hall: A
ula and
Prom
etheus
08
:4
5–0
9:0
0
Op
en
in
g R
em
arks
Hall: A
ula
Ia: H
eu
ristics
for P
lan
nin
g
Hall: H
S 1
19
9
09
:0
0–1
0:0
0
In
vited
Talk: Jason D
. W
illiam
s
Hall: A
ula
10
:0
0–1
0:3
0
Coffee B
reak
10
:3
0–1
2:1
0
Ib
: M
arkov
Decision
Processes
Hall: A
ula
12
:1
0–1
4:0
0
Lu
nch
B
reak
09
:0
0–1
0:0
0
In
vited
Talk: Pascal Van
Hentenryck
Hall: A
ula
10
:0
0–1
0:3
0
Coffee B
reak
IIIa:
Ap
plication
s I
Hall: H
S 1
19
9
10
:3
0–1
2:1
0
IIIb
: Fron
tiers
in
P
lan
nin
g
Hall: A
ula
12
:1
0–1
4:0
0
Lu
nch
B
reak
IV
: B
est P
ap
ers
Hall: A
ula
14
:0
0–1
5:4
0
15
:4
0–1
6:1
0
Coffee B
reak
16
:1
0–1
8:1
0
Com
mu
nity M
eetin
g
(in
clu
des
Best D
issertation
Talk
an
d A
ward
s C
erem
on
y)
Hall: A
ula
20
:0
0
Ban
qu
et
09
:0
0–1
0:0
0
In
vited
Talk: M
ichael P. W
ellm
an
Hall: A
ula
10
:0
0–1
0:3
0
Coffee B
reak
Va:
Ap
plication
s
II
Hall: H
S 1
19
9
10
:3
0–1
2:1
5
Vb
: Lim
its
an
d
Possib
ilities
Hall: A
ula
12
:1
5–1
4:0
0
Lu
nch
B
reak
VIa:
Au
tom
ated
Sch
ed
ulin
g
Hall: H
S 1
19
9
14
:0
0–1
5:1
5
VIb
:
In
com
plete
In
form
ation
Hall: A
ula
15
:1
5–1
5:4
5
Coffee B
reak
VIIa: R
eal-
Tim
e
Plan
nin
g
Hall: H
S 1
19
9
15
:4
5–1
6:2
5
VIIb
:
Ap
plication
s
III
Hall: A
ula
16
:2
5–1
6:3
0
Closin
g R
em
arks
Hall: A
ula
IC
AP
S 2011 M
AIN C
ON
FER
EN
CE A
T A G
LA
NC
E
Tu
esd
ay, Ju
ne 14
Wed
nesd
ay, Ju
ne 15
Th
ursd
ay, Ju
ne 16
Welcom
e R
ecep
tion is on M
ond
ay, June 1
3, from
1
9:3
0–2
2:0
0, at the H
istorisches K
aufhaus (next to the M
inster).
Tuesday, June 14, 2011, AM
08
:4
5–0
9:0
0
Op
en
in
g R
em
arks
Hall: A
ula
Ia: H
eu
ristics for P
lan
nin
g
Hall: H
S 1
19
9
Session C
hair: S
ub
barao K
am
bham
pati
Where Ig
noring
D
elete Lists W
orks,
Part II: C
ausal G
rap
hs
Jörg
H
offm
ann
09
:0
0–1
0:0
0
In
vited
Talk: S
poken D
ialog
S
ystem
s as an A
pp
lication of Planning
und
er U
ncertainty
Jason D
. W
illiam
s
Hall: A
ula
Session C
hair: S
tefan Ed
elkam
p
10
:0
0–1
0:3
0
Coffee B
reak
10
:3
0–1
2:1
0
Ib
: M
arkov D
ecision
P
rocesses
Hall: A
ula
Session C
hair: S
ylvie Thiéb
aux
Heuristic S
earch for G
eneralized
S
tochastic
Shortest Path M
DPs
And
rey Kolob
ov, M
ausam
, D
aniel S
. W
eld
, H
éctor G
effner
When O
ptim
al is Just N
ot G
ood
Enoug
h:
Learning
Fast Inform
ative A
ction C
ost Partitioning
s
Erez K
arp
as, M
ichael K
atz, S
haul M
arkovitch
Efficient Policy C
onstruction for M
DPs R
ep
resented
in
Prob
ab
ilistic PD
DL
Boris Lesner, B
runo Z
anuttini
Heuristics for Planning
w
ith S
AT and
Exp
ressive A
ction D
efinitions
Jussi R
intanen
Closing
the G
ap
: Im
proved
B
ound
s on
Op
tim
al PO
MD
P S
olutions
Pascal Poup
art, Kee-Eung
K
im
, D
ong
ho K
im
LPR
PG
-P: R
elaxed
Plan H
euristics for
Planning
w
ith Preferences
Am
and
a C
oles, A
nd
rew
C
oles
Markov D
ecision Processes w
ith O
rd
inal R
ew
ard
s:
Reference Point-B
ased
Preferences
Paul W
eng
12
:1
0–1
4:0
0
Lu
nch
B
reak (in
divid
ual, n
o org
an
ized
lu
nch
p
rovid
ed
)
Dynam
ic S
tate-S
pace Partitioning
in
External-M
em
ory G
rap
h S
earch
Rong
Z
hou, Eric A
. H
ansen
IIb
: G
en
eralized
P
lan
nin
g
Hall: A
ula
Session C
hair: S
heila M
cIlraith
Scaling
U
p M
ultiag
ent Planning
:
A B
est-R
esp
onse A
pp
roach
And
ers Jonsson, M
ichael R
ovatsos
IIa: P
lan
S
earch
En
gin
eerin
g
Hall: H
S 1
19
9
Session C
hair: Patrik H
aslum
Dynam
ic S
tate-S
pace Partitioning
in
External-M
em
ory G
rap
h S
earch
Rong
Z
hou, Eric A
. H
ansen
14
:0
0–1
5:3
5
IIb
: G
en
eralized
P
lan
nin
g
Hall: A
ula
Session C
hair: S
heila M
cIlraith
Scaling
U
p M
ultiag
ent Planning
:
A B
est-R
esp
onse A
pp
roach
And
ers Jonsson, M
ichael R
ovatsos
Exp
loiting
the C
om
putational Pow
er of the G
rap
hics C
ard
:
Op
tim
al S
tate S
pace Planning
on the G
PU
Dam
ian S
ulew
ski, S
tefan Ed
elkam
p, Peter K
issm
ann
Planning
for Loosely C
oup
led
A
gents using
Partial O
rd
er Forw
ard
-C
haining
Jonas K
varnström
Distrib
uted
C
ontrol of S
ituated
A
ssistance in
Larg
e D
om
ains w
ith M
any Tasks
Jesse H
oey, M
arek G
rzes
Directed
S
earch for G
eneralized
Plans
Using
C
lassical Planners
Sid
dharth S
rivastava, N
eil Im
merm
an,
Shlom
o Z
ilb
erstein, Tianjiao Z
hang
Ab
straction H
euristics Extend
ed
w
ith C
ounting
A
bstractions
Blai B
onet
(short talk)
An Effective A
pp
roach to R
ealizing
Planning
Prog
ram
s
Alfonso E. G
erevini, Fab
io Patrizi, A
lessand
ro S
aetti
(short talk)
15
:3
5–1
6:0
5
Coffee B
reak
Resu
lts IP
C
Hall: H
S 1
19
9
Session C
hair: Á
ng
el G
arcía O
laya
Determ
inistic C
om
petition
Áng
el G
arcía O
laya, C
arlos Linares Lóp
ez, S
erg
io Jim
énez C
elorrio
16
:0
5–1
6:3
0
Uncertainty C
om
petition
Scott S
anner, S
ung
wook Yoon
Learning
C
om
petition
Serg
io Jim
énez C
elorrio, A
mand
a C
oles, A
nd
rew
C
oles
17
:3
0–2
0:0
0
(op
en end
)
Doctoral C
on
sortiu
m P
osters &
S
ystem
D
em
os
Hall: A
ula and
Prom
etheus
Tuesday, June 14, 2011, PM
Lig
ht ap
petizers and
d
rinks w
ill b
e served
d
uring
the p
osters and
system
d
em
os session.
17
:1
0–1
7:3
0
16
:3
0–1
7:1
0
09
:0
0–1
0:0
0
In
vited
Talk: Last-M
ile D
isaster Prep
ared
ness and
R
ecovery
Pascal Van H
entenryck
Hall: A
ula
Session C
hair: Fahiem
B
acchus
10
:0
0–1
0:3
0
Coffee B
reak
IIIa: A
pp
lication
s I
Room
: H
S 1
19
9
Session C
hair: S
cott S
anner
Cost-S
ensitive C
oncurrent Planning
und
er D
uration
Uncertainty for S
ervice-Level A
greem
ents
Am
and
a C
oles, A
nd
rew
C
oles, A
llan C
lark, S
tep
hen G
ilm
ore
10
:3
0–1
2:1
0
IIIb
: Fron
tiers in
P
lan
nin
g
Hall: A
ula
Session C
hair: D
avid
S
mith
Learning
Inad
missib
le H
euristics d
uring
S
earch
Jord
an T. Thayer, A
ustin D
ionne, W
heeler R
um
l
Online Planning
for a M
aterial C
ontrol S
ystem
for
Liq
uid
C
rystal D
isp
lay M
anufacturing
Minh D
o, K
azum
ichi O
kajim
a, S
erd
ar U
ckun,
Fum
io H
aseg
aw
a, Yukihiro K
aw
ano, Koji Tanaka,
Lara C
raw
ford
, Ying
Z
hang
, A
ki O
hashi
Ensem
ble M
onte-C
arlo Planning
:
An Em
pirical S
tud
y
Alan Fern, Paul Lew
is
Planning
M
ulti-M
od
al Transp
ortation Prob
lem
s
José E. Flórez, Á
lvaro Torralb
a A
rias d
e R
eyna, Javier G
arcía,
Carlos Linares Lóp
ez, Á
ng
el G
arcía O
laya, D
aniel B
orrajo
Effective H
euristics and
B
elief Tracking
for
Planning
w
ith Incom
plete Inform
ation
Alexand
re A
lb
ore, M
iq
uel R
am
írez, H
éctor G
effner
A Path Planning
A
lg
orithm
for an A
UV
Guid
ed
w
ith H
om
otop
y C
lasses
Em
ili H
ernand
ez, M
arc C
arreras, Pere R
id
ao
Searching
for Plans w
ith C
arefully D
esig
ned
Prob
es
Nir Lip
ovetzky, H
éctor G
effner
12
:1
0–1
4:0
0
Lu
nch
B
reak (in
divid
ual, n
o org
an
ized
lu
nch
p
rovid
ed
)
Wednesday, June 15, 2011, AM
Autom
atic C
onstruction of Efficient M
ultip
le B
attery U
sag
e Policies
Maria Fox, D
erek Long
, D
aniele M
ag
azzeni
(b
est p
ap
er)
IV
: B
est P
ap
ers
Hall: A
ula
Session C
hair: M
alte H
elm
ert
Autom
atic C
onstruction of Efficient M
ultip
le B
attery U
sag
e Policies
Maria Fox, D
erek Long
, D
aniele M
ag
azzeni
(b
est p
ap
er)
14
:0
0–1
5:4
0
Com
puting
A
ll-Pairs S
hortest Paths b
y Leverag
ing
Low
Treew
id
th
Léon Planken, M
athijs d
e W
eerd
t, R
om
an van d
er K
rog
t
(h
on
orab
le m
en
tion
for b
est stu
den
t p
ap
er)
Trad
e-O
ffs in S
am
pling
-B
ased
A
dversarial Planning
Rag
huram
R
am
anujan, B
art S
elm
an
(h
on
orab
le m
en
tion
for b
est stu
den
t p
ap
er)
Planning
to Perceive: Exp
loiting
M
ob
ility For R
ob
ust O
bject D
etection
Javier Velez, G
arrett H
em
ann, A
lb
ert S
. H
uang
, Ing
mar Posner, N
icholas R
oy
(b
est stu
den
t p
ap
er)
15
:4
0–1
6:1
0
Coffee B
reak
16
:1
0–1
8:1
0
Com
mu
nity M
eetin
g
(in
clu
des B
est D
issertation
Talk an
d A
ward
s C
erem
on
y)
Hall: A
ula
Session C
hair: S
hlom
o Z
ilb
erstein
20
:0
0
Ban
qu
et
Wednesday, June 15, 2011, PM
09
:0
0–1
0:0
0
In
vited
Talk: Em
pirical G
am
e-Theoretic A
nalysis and
the B
ehavior of S
oftw
are A
gents
Michael P. W
ellm
an
Hall: A
ula
Session C
hair: C
arm
el D
om
shlak
10
:0
0–1
0:3
0
Coffee B
reak
Va: A
pp
lication
s II
Hall: H
S 1
19
9
Session C
hair: M
aria Fox
Cross-D
om
ain A
ction-M
od
el A
cq
uisition for
Planning
V
ia W
eb
S
earch
Hankz H
ankui Z
huo, Q
iang
Yang
, R
ong
Pan, Lei Li
10
:3
0–1
2:1
5
Vb
: Lim
its an
d P
ossib
ilities
Hall: A
ula
Session C
hair: Jörg
H
offm
ann
Lim
its for C
om
pact R
ep
resentations of Plans
Christer B
äckström
, Peter Jonsson
Potential S
earch: A
B
ound
ed
-C
ost S
earch A
lg
orithm
Roni S
tern, R
am
i Puzis, A
riel Felner
Autom
atic Polytim
e R
ed
uctions of N
P Prob
lem
s into a
Frag
ment of S
TR
IPS
Ald
o Porco, A
lejand
ro M
achad
o, B
lai B
onet
Visual Prog
ram
ming
of Plan D
ynam
ics
Using
C
onstraints and
Land
marks
Julie Porteous, Jonathan Teutenb
erg
,
David
Pizzi, M
arc C
avazza
A C
om
plete A
lg
orithm
for G
enerating
Land
marks
Blai B
onet, Julio C
astillo
(short talk)
The M
ulti-R
ound
B
alanced
Traveling
Tournam
ent Prob
lem
Richard
H
oshino, Ken-ichi K
aw
arab
ayashi
A Polynom
ial A
ll O
utcom
e D
eterm
inization
for Prob
ab
ilistic Planning
Thom
as Keller, Patrick Eyerich
(short talk)
Sam
ple-B
ased
Planning
for
Continuous A
ction M
arkov D
ecision Processes
Chris M
ansley, A
ri W
einstein, M
ichael L. Littm
an
(short talk)
12
:1
5–1
4:0
0
Lu
nch
B
reak (in
divid
ual, n
o org
an
ized
lu
nch
p
rovid
ed
)
Thursday, June 16, 2011, AM
Sched
uling
an A
ircraft R
ep
air S
hop
Maliheh A
ram
on B
ajestani, J. C
hristop
her B
eck
VIb
: In
com
plete In
form
ation
Hall: A
ula
Session C
hair: Pascal Poup
art
Planning
and
A
cting
in Incom
plete D
om
ains
Christop
her W
eb
er, D
aniel B
ryce
VIa: A
utom
ated
S
ch
ed
ulin
g
Hall: H
S 1
19
9
Session C
hair: D
aniel B
orrajo
Sched
uling
an A
ircraft R
ep
air S
hop
Maliheh A
ram
on B
ajestani, J. C
hristop
her B
eck
14
:0
0–1
5:1
5
VIb
: In
com
plete In
form
ation
Hall: A
ula
Session C
hair: Pascal Poup
art
Planning
and
A
cting
in Incom
plete D
om
ains
Christop
her W
eb
er, D
aniel B
ryce
Scalab
le S
ched
uling
for H
ard
ware-A
ccelerated
Functional Verification
Michael D
. M
offitt, G
ernot E. G
ünther
Conting
ent Planning
as A
ND
/O
R Forw
ard
S
earch
with D
isjunctive R
ep
resentation
Son Thanh To, Tran C
ao S
on, Enrico Pontelli
Theoretical A
sp
ects of S
ched
uling
C
oup
led
-Tasks in the
Presence of C
om
patib
ility G
rap
h
Gilles S
im
onin, R
od
olp
he G
iroud
eau,
Jean-C
laud
e König
, B
enoit D
arties
Generalised
D
om
ain M
od
el A
cq
uisition
from
A
ction Traces
Step
hen C
ressw
ell, Peter G
reg
ory
15
:1
5–1
5:4
5
Coffee B
reak
VIIa: R
eal-Tim
e P
lan
nin
g
Hall: H
S 1
19
9
Session C
hair: J. C
hristop
her B
eck
Partial-O
rd
er S
up
port-Link S
ched
uling
Deb
deep
B
anerjee, Patrik H
aslum
(short talk)
15
:4
5–1
6:2
5
VIIb
: A
pp
lication
s III
Hall: A
ula
Session C
hair: G
ab
riele R
ög
er
The M
inim
al S
eed
S
et Prob
lem
Avitan G
efen, R
onen I. B
rafm
an
(short talk)
Fast S
ub
goaling
for Pathfind
ing
V
ia R
eal-Tim
e S
earch
Carlos H
ernánd
ez, Jorg
e A
. B
aier
(short talk)
Planning
Prob
lem
s for S
ocial R
ob
ots
Gian D
ieg
o Tip
ald
i, K
ai O
. A
rras
(short talk)
16
:2
5–1
6:3
0
Closin
g R
em
arks
Hall: A
ula
Thursday, June 16, 2011, PM