PADL 2022
who it's for
declarative programmers, logic programming researchers, ASP tool developers, constraint programming researchers, database engineers, functional programmers, cloud architects, computer science educators
topics
embedded Haskell DSL for dataflow; recursion-to-WITH RECURSIVE SQL compilation; Clingo-based answer set solving; s(CASP) goal-directed predicate ASP; answer set scheduling with clustering; multi-valued decision diagrams with GPU LNS; Event Calculus with CLP(R) dense time; Quantified Answer Set Programming encodings; stable-unstable semantics disjunctive encoding; dynamic consistency checking in s(CASP); Prolog-based Cloud-IoT placement; multi-agent pick-and-delivery encodings
| title | author | length |
|---|---|---|
| CircuitFlow: : A Domain Specific Language for Dataflow Programming | Riley Evans, Samantha Frohlich, Meng Wang | 20m |
An embedded Haskell DSL models workflows as a Symmetric Monoidal Preorder to statically type inputs and outputs, composes tasks with then and beside, and runs… | ||
| Functional Programming on Top of SQL Engines | Tobias Burghardt, Denis Hirn, Torsten Grust | 27m |
The work claims a non‑invasive, SQL‑level compiler that turns recursion‑heavy SQL UDFs into a single WITH RECURSIVE query so the engine plans once, supports… | ||
| Graph-based Interpretation of Normal Logic Programs | Fang Li, Elmer Salazar, Gopal Gupta | 21m |
Proposes a graph encoding that adds an explicit conjunction node to capture rule bodies, shows how negating edges (De Morgan) transforms that graph back into… | ||
| Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decisio | Fabio Tardivo, Enrico Pontelli | 26m |
A time-bounded solver is built that repairs destroyed permutations by combining Multi-valued Decision Diagrams with Large Neighborhood Search and GPU… | ||
| Modeling and Verification of Real-Time Systems with the Event Calculus and s(CAS | Sarat Chandra Varanasi, Joaqui?n Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta | 26m |
Models the Train-Gate-Controller in Event Calculus encoded for s(CASP), using CLP(R) so dense time and continuous positions/angles require no discretization… | ||
| Decomposition-based job-shop scheduling with constrained clustering | Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin | 27m |
Proposes decomposition by a constrained clustering that partitions operations into time-window clusters of size total_ops/num_clusters while preserving job… | ||
| Green Application Placement in the Cloud-IoT Continuum | Stefano Forti, Antonio Brogi | 27m |
A declarative Prolog prototype named gFogBrain computes eligible placements across Cloud‑IoT nodes using PUE, per‑node energy profiles and energy‑source mixes… | ||
| Declarative Programming and Education | Shriram Krishnamurthi | 01h 01m |
Education faces threats from Python dominance, huge legacy code, and code synthesis, yet declarative ideas already appear inside modern frameworks. Concrete… | ||
| Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding | Nima Tajelipirbazari, C?ag?r? Uluc? Y?ld?r?mog?lu, Orkunt Sabuncu, Ali Can Ar?c?, I?dil Helin O?zen, Volkan Patog?lu, Esra Erdem | 29m |
Defines MAPDC: robots pick and deliver items with per-robot capacity limits, encoded two ways in Answer Set Programming — a time-annotated action/planning… | ||
| Modelling the Outlier Detection Problem in QASP | Pierpaolo Bellusci, Giuseppe Mazzotta, Fracesco Ricca | 26m |
The paper models outlier detection as a second-level PH problem using Quantified Answer Set Programming, encoding the two witness conditions as an… | ||
| Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo | Tomi Janhunen | 28m |
Claims a practical pipeline that encodes main program plus any number of oracle modules under stable‑unstable semantics into a single disjunctive program… | ||
| Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Progr | Joaquín Arias, Manuel Carro, Gopal Gupta | 19m |
Dynamic Consistency Checking interleaves generation of goal-directed partial stable models in s(CASP) with early evaluation of global constraints (called… | ||
| Timed Concurrent Language for Argumentation: an Interleaving Approach | Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi | 27m |
A timed concurrent programming language models agents that read and write a shared timed Abstract Argumentation Framework as their knowledge base; expressions… | ||
| Smart Devices and Large Scale Reasoning via ASP: Tools and Applications | Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca | 25m |
A framework called DLV-LS runs ASP on constrained devices and offloads heavy queries to a RESTful server, combining DLV-ME on Android/Raspberry with DLV-EE… | ||
| People, Ideas, and the Path Ahead | Marcello Balduccini | 56m |
Describes a claim that answer set programming plus a disciplined rigorous KR methodology is practical: an ASP-based RCS/USA-Advisor for the space shuttle… | ||
| nothing matches | ||