Declarative Programming and Knowledge Management - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 18)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030467135, 9783030467142

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-46714-2_13 ◽

2020 ◽

pp. 199-214

Author(s):

Jan C. Dageförde ◽

Finn Teegen

Keyword(s):

Object Oriented ◽

Object Oriented Programming ◽

Search Trees

Download Full-text

Performance Analysis of Zippers

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-46714-2_14 ◽

2020 ◽

pp. 215-229

Author(s):

Vít Šefl

Keyword(s):

Performance Analysis

Download Full-text

Finding Maximal Non-redundant Association Rules in Tennis Data

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-46714-2_4 ◽

2020 ◽

pp. 59-78

Author(s):

Daniel Weidner ◽

Martin Atzmueller ◽

Dietmar Seipel

Keyword(s):

Association Rules

Download Full-text

Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-46714-2_3 ◽

2020 ◽

pp. 43-58

Author(s):

Armin Wolf

Keyword(s):

Integer Programming ◽

Mixed Integer Programming ◽

Energy Systems ◽

Building Energy ◽

Mixed Integer ◽

Modular Modeling ◽

Building Energy Systems

Download Full-text

Towards Constraint Logic Programming over Strings for Test Data Generation

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-46714-2_10 ◽

2020 ◽

pp. 139-159

Author(s):

Sebastian Krings ◽

Joshua Schmidt ◽

Patrick Skowronek ◽

Jannik Dunkelau ◽

Dierk Ehmke

Keyword(s):

Logic Programming ◽

Test Data ◽

Constraint Logic Programming ◽

Test Data Generation ◽

Data Generation

Download Full-text

Exploring Properties of Icosoku by Constraint Satisfaction Approach

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-46714-2_7 ◽

2020 ◽

pp. 99-105

Author(s):

Ke Liu ◽

Sven Löffler ◽

Petra Hofstedt

Keyword(s):

Constraint Satisfaction

Download Full-text

KBSET – Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative Markup and a Core Written in SWI-Prolog

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-46714-2_12 ◽

2020 ◽

pp. 178-196

Author(s):

Jana Kittelmann ◽

Christoph Wernhard

Keyword(s):

Text Processing ◽

Knowledge Based ◽

Scholarly Editing

Download Full-text

From Textual Information Sources to Linked Data in the Agatha Project

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-46714-2_5 ◽

2020 ◽

pp. 79-88

Author(s):

Paulo Quaresma ◽

Vitor Beires Nogueira ◽

Kashyap Raiyani ◽

Roy Bayot ◽

Teresa Gonçalves

Keyword(s):

Linked Data ◽

Information Sources ◽

Textual Information

Download Full-text

Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-46714-2_17 ◽

2020 ◽

pp. 268-285

Author(s):

Baltasar Trancón y Widemann ◽

Markus Lepper

Keyword(s):

Pattern Matching

Download Full-text

A Process Calculus for Formally Verifying Blockchain Consensus Protocols

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-46714-2_2 ◽

2020 ◽

pp. 24-39 ◽

Cited By ~ 1

Author(s):

Wolfgang Jeltsch

Keyword(s):

Process Calculus

Download Full-text

Declarative Programming and Knowledge Management - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming

Performance Analysis of Zippers

Finding Maximal Non-redundant Association Rules in Tennis Data

Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming

Towards Constraint Logic Programming over Strings for Test Data Generation

Exploring Properties of Icosoku by Constraint Satisfaction Approach

KBSET – Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative Markup and a Core Written in SWI-Prolog

From Textual Information Sources to Linked Data in the Agatha Project

Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation

A Process Calculus for Formally Verifying Blockchain Consensus Protocols

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science
Latest Publications