DECLARE

Keyphrases

Publications

volume 12057, 2020

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 12057 (2020)

2019

Vít Sefl
Performance Analysis of Zippers. DECLARE (2019)
Tomi Janhunen, Michael Sioutis
Allen's Interval Algebra Makes the Difference. DECLARE (2019)
Christoph Wernhard
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic. DECLARE (2019)
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation. DECLARE (2019)
Sven Löffler, Ke Liu, Petra Hofstedt
The Regularization of Small Sub-Constraint Satisfaction Problems. DECLARE (2019)
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)
Armin Wolf
Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming. DECLARE (2019)
Wolfgang Jeltsch
A Process Calculus for Formally Verifying Blockchain Consensus Protocols. DECLARE (2019)
Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
ICurry. DECLARE (2019)
Jan C. Dageförde, Finn Teegen
Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming. DECLARE (2019)
Michael Hanus, Finn Teegen
Adding Data to Curry. DECLARE (2019)
Daniel Weidner, Martin Atzmueller, Dietmar Seipel
Finding Maximal Non-redundant Association Rules in Tennis Data. DECLARE (2019)
Agostino Dovier, Andrea Formisano, Flavio Vella
GPU-Based Parallelism for ASP-Solving. DECLARE (2019)
Baltasar Trancón y Widemann, Markus Lepper
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. DECLARE (2019)
Mario Wenzel, Stefan Brass
Declarative Programming for Microcontrollers - Datalog on Arduino. DECLARE (2019)
Janis Voigtländer
Free Theorems Simply, via Dinaturality. DECLARE (2019)
Ke Liu, Sven Löffler, Petra Hofstedt
Exploring Properties of Icosoku by Constraint Satisfaction Approach. DECLARE (2019)
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. DECLARE (2019)

volume 10997, 2018

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 10997 (2018)

2017