![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
KDPD (INAP/WFLP/WLP) 2013: Kiel, Germany
- Michael Hanus
, Ricardo Rocha
:
Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8439, Springer 2014, ISBN 978-3-319-08908-9 - Ella Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner:
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs. 1-16 - Rana Awada, Pablo Barceló, Iluju Kiringa:
Sharing and Exchanging Data. 17-32 - Alexander Bau, Johannes Waldmann:
Propositional Encoding of Constraints over Tree-Shaped Data. 33-47 - Christoph Beierle, Udo Lelitko:
On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry. 48-64 - Gerald Berger, Hans Tompits:
On Axiomatic Rejection for the Description Logic ALC. 65-82 - Nikita Danilenko:
And... Action! - Monoid Actions and (Pre)orders. 83-98 - Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl:
hex-Programs with Existential Quantification. 99-117 - Guohua Liu, Tomi Janhunen, Ilkka Niemelä:
Introducing Real Variables and Integer Objective Functions to Answer Set Programming. 118-135 - Jomu George Mani Paret, Otmane Aït Mohamed:
Coverage Driven Test Generation and Consistency Algorithm. 136-151 - Carlos Alberto Martinez-Angeles, Inês de Castro Dutra
, Vítor Santos Costa
, Jorge Buenabad-Chávez:
A Datalog Engine for GPUs. 152-168 - Danny Munera
, Daniel Diaz
, Salvador Abreu
:
Towards Parallel Constraint-Based Local Search with the X10 Language. 169-184 - Chiaki Sakama:
Debate Games in Logic Programming. 185-201 - Alexander Simko:
A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets. 202-217 - Baltasar Trancón y Widemann, Markus Lepper:
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley. 218-233 - Claus Zinn:
Heuristic Search over Program Transformations. 234-249
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.