PADL C

15 papers

YearTitle / Authors
2022Decomposition-Based Job-Shop Scheduling with Constrained Clustering.
Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser
2022Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers.
Wolfgang Faber, Michael Morak, Lukás Chrpa
2022Functional Programming on Top of SQL Engines.
Tobias Burghardt, Denis Hirn, Torsten Grust
2022Green Application Placement in the Cloud-IoT Continuum.
Stefano Forti, Antonio Brogi
2022Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo.
Tomi Janhunen
2022Modeling 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
2022Modelling the Outlier Detection Problem in ASP(Q).
Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca
2022Multi-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, Esra Erdem
2022Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs.
Fabio Tardivo, Enrico Pontelli
2022People, Ideas, and the Path Ahead.
Marcello Balduccini
2022Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings
James Cheney, Simona Perri
2022Smart Devices and Large Scale Reasoning via ASP: Tools and Applications.
Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca
2022Timed Concurrent Language for Argumentation: An Interleaving Approach.
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2022Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming.
Joaquín Arias, Manuel Carro, Gopal Gupta
2022sf CircuitFlow: A Domain Specific Language for Dataflow Programming.
Riley Evans, Samantha Frohlich, Meng Wang