default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDECLARE 2019: Cottbus, Germany
- Petra Hofstedt, Salvador Abreu
, Ulrich John, Herbert Kuchen, Dietmar Seipel:
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. Lecture Notes in Computer Science 12057, Springer 2020, ISBN 978-3-030-46713-5
Invited Talks
- Agostino Dovier, Andrea Formisano, Flavio Vella:
GPU-Based Parallelism for ASP-Solving. 3-23 - Wolfgang Jeltsch:
A Process Calculus for Formally Verifying Blockchain Consensus Protocols. 24-39
22nd International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2019
- Armin Wolf:
Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming. 43-58 - Daniel Weidner, Martin Atzmueller, Dietmar Seipel:
Finding Maximal Non-redundant Association Rules in Tennis Data. 59-78 - Paulo Quaresma, Vítor Beires Nogueira, Kashyap Raiyani, Roy Khristopher Bayot, Teresa Gonçalves:
From Textual Information Sources to Linked Data in the Agatha Project. 79-88 - Tomi Janhunen, Michael Sioutis:
Allen's Interval Algebra Makes the Difference. 89-98 - Ke Liu, Sven Löffler, Petra Hofstedt:
Exploring Properties of Icosoku by Constraint Satisfaction Approach. 99-105 - Sven Löffler, Ke Liu, Petra Hofstedt:
The Regularization of Small Sub-Constraint Satisfaction Problems. 106-115
33rd Workshop on (Constraint) Logic Programming - WLP 2019
- Mario Wenzel, Stefan Brass:
Declarative Programming for Microcontrollers - Datalog on Arduino. 119-138 - Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke:
Towards Constraint Logic Programming over Strings for Test Data Generation. 139-159 - Christoph Wernhard:
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic. 160-177 - 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. 178-196
27th International Workshop on Functional and Logic Programming - WFLP 2019
- Jan C. Dageförde, Finn Teegen:
Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming. 199-214 - Vít Sefl:
Performance Analysis of Zippers. 215-229 - Michael Hanus, Finn Teegen:
Adding Data to Curry. 230-246 - Janis Voigtländer:
Free Theorems Simply, via Dinaturality. 247-267 - Baltasar Trancón y Widemann, Markus Lepper:
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. 268-285 - Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby:
ICurry. 286-307
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 2024-11-08 20:17 CET 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:
