|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
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 |
| 1 | Petra 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  |
DECLARE  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vít Sefl |
Performance Analysis of Zippers. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Michael Sioutis |
Allen's Interval Algebra Makes the Difference. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Wernhard |
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke |
Towards Constraint Logic Programming over Strings for Test Data Generation. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Löffler, Ke Liu 0006, Petra Hofstedt |
The Regularization of Small Sub-Constraint Satisfaction Problems. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jana 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. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Wolf |
Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Jeltsch |
A Process Calculus for Formally Verifying Blockchain Consensus Protocols. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby |
ICurry. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan C. Dageförde, Finn Teegen |
Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Finn Teegen |
Adding Data to Curry. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Weidner, Martin Atzmueller, Dietmar Seipel |
Finding Maximal Non-redundant Association Rules in Tennis Data. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano 0001, Flavio Vella |
GPU-Based Parallelism for ASP-Solving. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Baltasar Trancón y Widemann, Markus Lepper 0001 |
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Wenzel, Stefan Brass |
Declarative Programming for Microcontrollers - Datalog on Arduino. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Janis Voigtländer |
Free Theorems Simply, via Dinaturality. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Liu 0006, Sven Löffler, Petra Hofstedt |
Exploring Properties of Icosoku by Constraint Satisfaction Approach. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo 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. |
DECLARE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar 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 |
DECLARE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz |
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Atzmueller |
Declarative Aspects in Explicative Data Mining for Computational Sensemaking. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenz Leutgeb, Antonius Weinzierl |
Techniques for Efficient Lazy-Grounding ASP Solving. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Falco Nogatz, Jona Kalkus |
Declarative XML Schema Validation with SWI-Prolog - System Description. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Körner, Sebastian Krings |
plspec - A Specification Language for Prolog Data. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Wolf |
The Proportional Constraint and Its Pruning. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thom W. Frühwirth |
Implementation of Logical Retraction in Constraint Handling Rules with Justifications. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Fang, Hans Tompits |
An Approach for Representing Answer Sets in Natural Language. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan |
Run-Time Analysis of Temporal Constrained Objects. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Rasmus Tikovsky |
Concolic Testing of Functional Logic Programs. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Liu 0006, Sven Löffler, Petra Hofstedt |
Hypertree Decomposition: The First Step Towards Parallel Constraint Solving. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Roque, Vasco Pedro |
Constraint Solving on Hybrid Systems. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan C. Dageförde, Herbert Kuchen |
An Operational Semantics for Constraint-Logic Imperative Programming. |
DECLARE |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license