Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 14)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030944780, 9783030944797

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

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

2022 ◽

pp. 117-134

Author(s):

Joaquín Arias ◽

Manuel Carro ◽

Gopal Gupta

Keyword(s):

Answer Set Programming ◽

Dynamic Consistency ◽

Consistency Checking ◽

Answer Set

Download Full-text

Modelling the Outlier Detection Problem in ASP(Q)

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

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

2022 ◽

pp. 15-23

Author(s):

Pierpaolo Bellusci ◽

Giuseppe Mazzotta ◽

Francesco Ricca

Keyword(s):

Outlier Detection ◽

Detection Problem

Download Full-text

Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

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

2022 ◽

pp. 135-153

Author(s):

Tomi Janhunen

Download Full-text

Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-030-94479-7_13 ◽

2022 ◽

pp. 191-207

Author(s):

Fabio Tardivo ◽

Enrico Pontelli

Keyword(s):

Decision Diagrams ◽

Sequencing Problems

Download Full-text

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

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

2022 ◽

pp. 42-56

Author(s):

Wolfgang Faber ◽

Michael Morak ◽

Lukáš Chrpa

Keyword(s):

Answer Set Programming ◽

Answer Set

Download Full-text

Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

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

2022 ◽

pp. 24-41

Author(s):

Nima Tajelipirbazari ◽

Cagri Uluc Yildirimoglu ◽

Orkunt Sabuncu ◽

Ali Can Arici ◽

Idil Helin Ozen ◽

...

Keyword(s):

Action Planning ◽

Path Finding ◽

Multi Agent

Download Full-text

Timed Concurrent Language for Argumentation: An Interleaving Approach

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

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

2022 ◽

pp. 101-116

Author(s):

Stefano Bistarelli ◽

Maria Chiara Meo ◽

Carlo Taticchi

Download Full-text

Green Application Placement in the Cloud-IoT Continuum

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-030-94479-7_14 ◽

2022 ◽

pp. 208-217

Author(s):

Stefano Forti ◽

Antonio Brogi

Keyword(s):

Application Placement

Download Full-text

$$\textsf {CircuitFlow}$$: A Domain Specific Language for Dataflow Programming

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

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

2022 ◽

pp. 79-98

Author(s):

Riley Evans ◽

Samantha Frohlich ◽

Meng Wang

Keyword(s):

Domain Specific Language ◽

Specific Language ◽

Domain Specific ◽

Dataflow Programming

Download Full-text

Decomposition-Based Job-Shop Scheduling with Constrained Clustering

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

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

2022 ◽

pp. 165-180

Author(s):

Mohammed M. S. El-Kholany ◽

Konstantin Schekotihin ◽

Martin Gebser

Keyword(s):

Job Shop ◽

Job Shop Scheduling ◽

Constrained Clustering ◽

Shop Scheduling

Download Full-text

Practical Aspects of Declarative Languages - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming

Modelling the Outlier Detection Problem in ASP(Q)

Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo

Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers

Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding

Timed Concurrent Language for Argumentation: An Interleaving Approach

Green Application Placement in the Cloud-IoT Continuum

$$\textsf {CircuitFlow}$$: A Domain Specific Language for Dataflow Programming

Decomposition-Based Job-Shop Scheduling with Constrained Clustering

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications