Applications of Declarative Programming and Knowledge Management - Tompits, Hans; Abreu, Salvador; Oetsch, Johannes; Puhrer, Jorg ; Seipel, Dietmar ; Umeda, Masanobu; Abreu, Salvador; Oetsch, Johannes; Pührer, Jörg; Seipel, Dietmar; Umeda, Masanobu; Wolf, Armin (Springer Berlin Heidelberg, 2013)