Search results for "KDPD"

Found 16 publication records. Showing 16 according to the selection in the facets

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

Publications at "KDPD"( http://dblp.L3S.de/Venues/KDPD )