![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
24th 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.