http://hdl.handle.net/10174/14471 2026-04-07T05:03:01Z http://hdl.handle.net/10174/24751 Title: Declarative Programming and Knowledge Management Authors: Seipel, Dietmar; Hanus, Michael; Abreu, Salvador Editors: Seipel, Dietmar; Hanus, Michael; Abreu, Salvador Abstract: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers 2018-01-01T00:00:00Z