28:22 [PADL'23] Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (App... ACM SIGPLAN
29:59 [PADL'23] Jury-trial Story Construction and Analysis using Goal-directed Answer Set Progra... ACM SIGPLAN
28:17 [PADL'23] Solving Vehicle Equipment Specification Problems with Answer Set Programming ACM SIGPLAN
32:33 [PADL'23] Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance ... ACM SIGPLAN
28:27 [PADL'23] Integrating ASP-based incremental reasoning in the videogame development workflo... ACM SIGPLAN
24:23 [PADL'23] UAV Compliance Checking using Answer Set Programming and Minimal Explanations to... ACM SIGPLAN
29:09 [PADL'23] Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer ... ACM SIGPLAN
24:49 [PADL'23] From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriti... ACM SIGPLAN
