Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers - Hanus, Michael; Rocha, Ricardo (Springer International Publishing : Imprint: Springer, 2014)