default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKDPD (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
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.
last updated on 2026-05-18 23:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
