doi dblp Introduction to Symbolic Plan and Goal Recognition Reuth Mirsky | Sarah Keren | Christopher W. Geib