Paul Fodor Juan M. Huerta Planning and Logic Programming for Dialog Management. 214-217 2006 SLT https://doi.org/10.1109/SLT.2006.326793 conf/slt/2006 db/conf/slt/slt2006.html#FodorH06