KDPD

Publications

volume 8439, 2014

Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers KDPD 8439 (2014)

2013

Alexander Simko
A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets. KDPD (2013)
Jomu George Mani Paret, Otmane Aït Mohamed
Coverage Driven Test Generation and Consistency Algorithm. KDPD (2013)
Christoph Beierle, Udo Lelitko
On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry. KDPD (2013)
Baltasar Trancón y Widemann, Markus Lepper
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley. KDPD (2013)
Alexander Bau, Johannes Waldmann
Propositional Encoding of Constraints over Tree-Shaped Data. KDPD (2013)
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
hex-Programs with Existential Quantification. KDPD (2013)
Gerald Berger, Hans Tompits
. KDPD (2013)
Carlos Alberto Martinez-Angeles, Inês de Castro Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez
A Datalog Engine for GPUs. KDPD (2013)
Claus Zinn
Heuristic Search over Program Transformations. KDPD (2013)
Guohua Liu, Tomi Janhunen, Ilkka Niemelä
Introducing Real Variables and Integer Objective Functions to Answer Set Programming. KDPD (2013)
Ella Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs. KDPD (2013)
Rana Awada, Pablo Barceló, Iluju Kiringa
Sharing and Exchanging Data. KDPD (2013)
Chiaki Sakama
Debate Games in Logic Programming. KDPD (2013)
Danny Munera, Daniel Diaz, Salvador Abreu
Towards Parallel Constraint-Based Local Search with the X10 Language. KDPD (2013)
Nikita Danilenko
And... Action! - Monoid Actions and (Pre)orders. KDPD (2013)