The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2017 (13) 2018 (1) 2019 (18) 2020 (1)
Publication types (Num. hits)
inproceedings(31) proceedings(2)
Venues (Conferences, Journals, ...)
DECLARE(33)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 33 publication records. Showing 33 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (eds.) Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers Search on Bibsonomy DECLARE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Vít Sefl Performance Analysis of Zippers. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Michael Sioutis Allen's Interval Algebra Makes the Difference. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christoph Wernhard Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke Towards Constraint Logic Programming over Strings for Test Data Generation. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sven Löffler, Ke Liu 0006, Petra Hofstedt The Regularization of Small Sub-Constraint Satisfaction Problems. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jana Kittelmann, Christoph Wernhard KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative [inline-graphic not available: see fulltext] Markup and a Core Written in SWI-Prolog. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Armin Wolf Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wolfgang Jeltsch A Process Calculus for Formally Verifying Blockchain Consensus Protocols. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby ICurry. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan C. Dageförde, Finn Teegen Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Finn Teegen Adding Data to Curry. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Weidner, Martin Atzmueller, Dietmar Seipel Finding Maximal Non-redundant Association Rules in Tennis Data. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano 0001, Flavio Vella GPU-Based Parallelism for ASP-Solving. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Baltasar Trancón y Widemann, Markus Lepper 0001 Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Wenzel, Stefan Brass Declarative Programming for Microcontrollers - Datalog on Arduino. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Janis Voigtländer Free Theorems Simply, via Dinaturality. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ke Liu 0006, Sven Löffler, Petra Hofstedt Exploring Properties of Icosoku by Constraint Satisfaction Approach. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paulo Quaresma, Vítor Beires Nogueira, Kashyap Raiyani, Roy Khristopher Bayot, Teresa Gonçalves 0001 From Textual Information Sources to Linked Data in the Agatha Project. Search on Bibsonomy DECLARE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.) Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers Search on Bibsonomy DECLARE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Atzmueller Declarative Aspects in Explicative Data Mining for Computational Sensemaking. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lorenz Leutgeb, Antonius Weinzierl Techniques for Efficient Lazy-Grounding ASP Solving. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Falco Nogatz, Jona Kalkus Declarative XML Schema Validation with SWI-Prolog - System Description. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philipp Körner, Sebastian Krings plspec - A Specification Language for Prolog Data. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Armin Wolf The Proportional Constraint and Its Pruning. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Implementation of Logical Retraction in Constraint Handling Rules with Justifications. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Min Fang, Hans Tompits An Approach for Representing Answer Sets in Natural Language. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan Run-Time Analysis of Temporal Constrained Objects. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Rasmus Tikovsky Concolic Testing of Functional Logic Programs. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ke Liu 0006, Sven Löffler, Petra Hofstedt Hypertree Decomposition: The First Step Towards Parallel Constraint Solving. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Roque, Vasco Pedro Constraint Solving on Hybrid Systems. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan C. Dageförde, Herbert Kuchen An Operational Semantics for Constraint-Logic Imperative Programming. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #33 of 33 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license