Skip to main content
SpringerLink
Log in

Practical Aspects of Declarative Languages

24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. James Cheney

    1. University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Simona Perri

    1. University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13165)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: PADL 2022.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. People, Ideas, and the Path Ahead

      • Marcello Balduccini
      Pages 3-12

  3. Answer Set Programming

    1. Front Matter

      Pages 13-13
      Download chapter PDF

    2. Modelling the Outlier Detection Problem in ASP(Q)

      • Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca
      Pages 15-23

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

      • Nima Tajelipirbazari, Cagri Uluc Yildirimoglu, Orkunt Sabuncu, Ali Can Arici, Idil Helin Ozen, Volkan Patoglu et al.
      Pages 24-41

    4. Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers

      • Wolfgang Faber, Michael Morak, Lukáš Chrpa
      Pages 42-56

  4. Functional Programming

    1. Front Matter

      Pages 57-57
      Download chapter PDF

    2. Functional Programming on Top of SQL Engines

      • Tobias Burghardt, Denis Hirn, Torsten Grust
      Pages 59-78

    3. \(\textsf {CircuitFlow}\): A Domain Specific Language for Dataflow Programming

      • Riley Evans, Samantha Frohlich, Meng Wang
      Pages 79-98

  5. Languages, Methods and Tools

    1. Front Matter

      Pages 99-99
      Download chapter PDF

    2. Timed Concurrent Language for Argumentation: An Interleaving Approach

      • Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
      Pages 101-116

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

      • Joaquín Arias, Manuel Carro, Gopal Gupta
      Pages 117-134

    4. Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo

      • Tomi Janhunen
      Pages 135-153

    5. Smart Devices and Large Scale Reasoning via ASP: Tools and Applications

      • Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca
      Pages 154-161

  6. Declarative Solutions

    1. Front Matter

      Pages 163-163
      Download chapter PDF

    2. Decomposition-Based Job-Shop Scheduling with Constrained Clustering

      • Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser
      Pages 165-180

    3. Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)

      • Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta
      Pages 181-190

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

      • Fabio Tardivo, Enrico Pontelli
      Pages 191-207

    5. Green Application Placement in the Cloud-IoT Continuum

      • Stefano Forti, Antonio Brogi
      Pages 208-217
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022. 

The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; functional programming; languages, methods and tools; and declarative solutions. 

Editors and Affiliations

  • University of Edinburgh, Edinburgh, UK

    James Cheney

  • University of Calabria, Rende, Italy

    Simona Perri

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation