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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030008000, 9783030008017

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Approach for Representing Answer Sets in Natural Language

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

10.1007/978-3-030-00801-7_8 ◽

2018 ◽

pp. 115-131 ◽

Cited By ~ 1

Author(s):

Min Fang ◽

Hans Tompits

Keyword(s):

Natural Language ◽

Answer Sets

Download Full-text

Run-Time Analysis of Temporal Constrained Objects

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

10.1007/978-3-030-00801-7_2 ◽

2018 ◽

pp. 20-36 ◽

Cited By ~ 1

Author(s):

Jinesh M. Kannimoola ◽

Bharat Jayaraman ◽

Krishnashree Achuthan

Keyword(s):

Time Analysis ◽

Run Time Analysis ◽

Run Time

Download Full-text

Declarative Aspects in Explicative Data Mining for Computational Sensemaking

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

10.1007/978-3-030-00801-7_7 ◽

2018 ◽

pp. 97-114 ◽

Cited By ~ 5

Author(s):

Martin Atzmueller

Keyword(s):

Data Mining

Download Full-text

Implementation of Logical Retraction in Constraint Handling Rules with Justifications

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

10.1007/978-3-030-00801-7_3 ◽

2018 ◽

pp. 37-52

Author(s):

Thom Frühwirth

Keyword(s):

Constraint Handling

Download Full-text

Constraint Solving on Hybrid Systems

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

10.1007/978-3-030-00801-7_1 ◽

2018 ◽

pp. 3-19

Author(s):

Pedro Roque ◽

Vasco Pedro

Keyword(s):

Hybrid Systems ◽

Constraint Solving

Download Full-text

The Proportional Constraint and Its Pruning

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

10.1007/978-3-030-00801-7_4 ◽

2018 ◽

pp. 53-63

Author(s):

Armin Wolf

Download Full-text

Techniques for Efficient Lazy-Grounding ASP Solving

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

10.1007/978-3-030-00801-7_9 ◽

2018 ◽

pp. 132-148 ◽

Cited By ~ 3

Author(s):

Lorenz Leutgeb ◽

Antonius Weinzierl

Download Full-text

Concolic Testing of Functional Logic Programs

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

10.1007/978-3-030-00801-7_11 ◽

2018 ◽

pp. 169-186 ◽

Cited By ~ 1

Author(s):

Jan Rasmus Tikovsky

Keyword(s):

Logic Programs ◽

Concolic Testing ◽

Functional Logic

Download Full-text

The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters

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

10.1007/978-3-030-00801-7_10 ◽

2018 ◽

pp. 149-165 ◽

Cited By ~ 1

Author(s):

Emmanuelle-Anna Dietz Saldanha ◽

Steffen Hölldobler ◽

Richard Mörbitz

Keyword(s):

Syllogistic Reasoning ◽

Reasoning Task ◽

Heuristic Strategies

Download Full-text

Hypertree Decomposition: The First Step Towards Parallel Constraint Solving

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

10.1007/978-3-030-00801-7_6 ◽

2018 ◽

pp. 81-94 ◽

Cited By ~ 1

Author(s):

Ke Liu ◽

Sven Löffler ◽

Petra Hofstedt

Keyword(s):

Constraint Solving

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

An Approach for Representing Answer Sets in Natural Language

Run-Time Analysis of Temporal Constrained Objects

Declarative Aspects in Explicative Data Mining for Computational Sensemaking

Implementation of Logical Retraction in Constraint Handling Rules with Justifications

Constraint Solving on Hybrid Systems

The Proportional Constraint and Its Pruning

Techniques for Efficient Lazy-Grounding ASP Solving

Concolic Testing of Functional Logic Programs

The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters

Hypertree Decomposition: The First Step Towards Parallel Constraint Solving

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