- Anssi Yli-Jyrä
, Masood Feyzbakhsh Rankooh, Tomi Janhunen:
Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling. PADL 2023: 279-294 - David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz:
Automatic Rollback Suggestions for Incremental Datalog Evaluation. PADL 2023: 295-312 - Michael Hanus, Daniela Inclezan:
Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Lecture Notes in Computer Science 13880, Springer 2023, ISBN 978-3-031-24840-5 [contents] - Martin Gebser, Ilya Sergey:
Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings. Lecture Notes in Computer Science 14512, Springer 2023, ISBN 978-3-031-52037-2 [contents] - 2022
- Joaquín Arias, Manuel Carro, Gopal Gupta:
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. PADL 2022: 117-134 - Marcello Balduccini:
People, Ideas, and the Path Ahead. PADL 2022: 3-12 - Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca:
Modelling the Outlier Detection Problem in ASP(Q). PADL 2022: 15-23 - Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Timed Concurrent Language for Argumentation: An Interleaving Approach. PADL 2022: 101-116 - Tobias Burghardt, Denis Hirn, Torsten Grust:
Functional Programming on Top of SQL Engines. PADL 2022: 59-78 - Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser:
Decomposition-Based Job-Shop Scheduling with Constrained Clustering. PADL 2022: 165-180 - Riley Evans, Samantha Frohlich, Meng Wang:
sf CircuitFlow: A Domain Specific Language for Dataflow Programming. PADL 2022: 79-98 - Wolfgang Faber, Michael Morak, Lukás Chrpa:
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. PADL 2022: 42-56 - Stefano Forti, Antonio Brogi:
Green Application Placement in the Cloud-IoT Continuum. PADL 2022: 208-217 - Tomi Janhunen:
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo. PADL 2022: 135-153 - Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. PADL 2022: 154-161 - Nima Tajelipirbazari, Cagri Uluc Yildirimoglu, Orkunt Sabuncu, Ali Can Arici, Idil Helin Ozen, Volkan Patoglu, Esra Erdem:
Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding. PADL 2022: 24-41 - Fabio Tardivo, Enrico Pontelli:
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs. PADL 2022: 191-207 - Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta:
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). PADL 2022: 181-190 - James Cheney, Simona Perri:
Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings. Lecture Notes in Computer Science 13165, Springer 2022, ISBN 978-3-030-94478-0 [contents] - 2021
- Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón:
Declarative Debugging of XML Queries. PADL 2021: 161-177 - Mario Alviano, Carmine Dodaro, Arnel Zamayla:
Data Validation Meets Answer Set Programming. PADL 2021: 90-106 - Cheng-En Chuang, Grant Iraci, Lukasz Ziarek:
Synchronous Message-Passing with Priority. PADL 2021: 37-53 - Juan José González-Abril, Germán Vidal:
Causal-Consistent Reversible Debugging: Improving CauDEr. PADL 2021: 145-160 - Michael Hanus:
Lightweight Declarative Server-Side Web Programming. PADL 2021: 107-123 - Sumit Padhiyar, K. C. Sivaramakrishnan:
ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs. PADL 2021: 127-144 - Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek:
Putting Gradual Types to Work. PADL 2021: 54-70 - Paul Tarau:
A Family of Unification-Oblivious Program Transformations and Their Applications. PADL 2021: 3-19 - Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli:
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. PADL 2021: 73-89 - David Young, Mark Grebe, Andy Gill:
On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages. PADL 2021: 20-36 - José F. Morales, Dominic A. Orchard:
Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings. Lecture Notes in Computer Science 12548, Springer 2021, ISBN 978-3-030-67437-3 [contents]
