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 (edición); Rocha, Ricardo (edición) ((Lecture Notes in Artificial Intelligence ;)