The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/inap

Publication years (Num. hits)
2013 (15) 2014 (1)
Publication types (Num. hits)
inproceedings(15) proceedings(1)
Venues (Conferences, Journals, ...)
KDPD(16)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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