default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th PADL 2022: Philadelphia, PA, USA
- 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
Invited Talk
- Marcello Balduccini:
People, Ideas, and the Path Ahead. 3-12
Answer Set Programming
- Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca:
Modelling the Outlier Detection Problem in ASP(Q). 15-23 - 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. 24-41 - Wolfgang Faber, Michael Morak, Lukás Chrpa:
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. 42-56
Functional Programming
- Tobias Burghardt, Denis Hirn, Torsten Grust:
Functional Programming on Top of SQL Engines. 59-78 - Riley Evans, Samantha Frohlich, Meng Wang:
sf CircuitFlow: A Domain Specific Language for Dataflow Programming. 79-98
Languages, Methods and Tools
- Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Timed Concurrent Language for Argumentation: An Interleaving Approach. 101-116 - Joaquín Arias, Manuel Carro, Gopal Gupta:
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. 117-134 - Tomi Janhunen:
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo. 135-153 - Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. 154-161
Declarative Solutions
- Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser:
Decomposition-Based Job-Shop Scheduling with Constrained Clustering. 165-180 - 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). 181-190 - Fabio Tardivo, Enrico Pontelli:
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs. 191-207 - Stefano Forti, Antonio Brogi:
Green Application Placement in the Cloud-IoT Continuum. 208-217
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
