19:33

[PADL'22] CircuitFlow: : A Domain Specific Language for Dataflow Programming

ACM SIGPLAN

26:36

[PADL'22] Functional Programming on Top of SQL Engines

ACM SIGPLAN

20:43

[PADL'22] Graph-based Interpretation of Normal Logic Programs

ACM SIGPLAN

26:08

[PADL'22] Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decisio

ACM SIGPLAN

25:58

[PADL'22] Modeling and Verification of Real-Time Systems with the Event Calculus and s(CAS

ACM SIGPLAN

26:48

[PADL'22] Decomposition-based job-shop scheduling with constrained clustering

ACM SIGPLAN

26:33

[PADL'22] Green Application Placement in the Cloud-IoT Continuum

ACM SIGPLAN

1:00:32

[PADL'22] Declarative Programming and Education

ACM SIGPLAN

28:52

[PADL'22] Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding

ACM SIGPLAN

25:34

[PADL'22] Modelling the Outlier Detection Problem in QASP

ACM SIGPLAN

28:24

[PADL'22] Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo

ACM SIGPLAN

19:23

[PADL'22] Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Progr

ACM SIGPLAN

26:46

[PADL'22] Timed Concurrent Language for Argumentation: an Interleaving Approach

ACM SIGPLAN

25:25

[PADL'22] Smart Devices and Large Scale Reasoning via ASP: Tools and Applications

ACM SIGPLAN

56:02

[PADL'22] People, Ideas, and the Path Ahead

ACM SIGPLAN