More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

24th PADL 2022: Philadelphia, PA, USA

> Home > Conferences and Workshops > PADL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/padl/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/2022
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

- view
  authority control:
- export record
  dblp key:
  - conf/padl/Balduccini22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Balduccini22
Marcello Balduccini:
People, Ideas, and the Path Ahead. 3-12

Answer Set Programming

- view
  authority control:
- export record
  dblp key:
  - conf/padl/BellusciMR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BellusciMR22
Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca:
Modelling the Outlier Detection Problem in ASP(Q). 15-23
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Tajelipirbazari22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Tajelipirbazari22
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
- view
  authority control:
- export record
  dblp key:
  - conf/padl/FaberMC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/FaberMC22
Wolfgang Faber, Michael Morak, Lukás Chrpa:
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. 42-56

Functional Programming

- view
  authority control:
- export record
  dblp key:
  - conf/padl/BurghardtHG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BurghardtHG22
Tobias Burghardt, Denis Hirn, Torsten Grust:
Functional Programming on Top of SQL Engines. 59-78
- view
  authority control:
- export record
  dblp key:
  - conf/padl/EvansFW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/EvansFW22
Riley Evans, Samantha Frohlich, Meng Wang:
sf CircuitFlow: A Domain Specific Language for Dataflow Programming. 79-98

Languages, Methods and Tools

- view
  authority control:
- export record
  dblp key:
  - conf/padl/BistarelliMT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BistarelliMT22
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Timed Concurrent Language for Argumentation: An Interleaving Approach. 101-116
- view
  authority control:
- export record
  dblp key:
  - conf/padl/AriasCG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AriasCG22
Joaquín Arias, Manuel Carro, Gopal Gupta:
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. 117-134
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Janhunen22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Janhunen22
Tomi Janhunen:
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo. 135-153
- view
  authority control:
- export record
  dblp key:
  - conf/padl/RealeCLR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/RealeCLR22
Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. 154-161

Declarative Solutions

- view
  authority control:
- export record
  dblp key:
  - conf/padl/El-KholanySG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/El-KholanySG22
Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser:
Decomposition-Based Job-Shop Scheduling with Constrained Clustering. 165-180
- view
  authority control:
- export record
  dblp key:
  - conf/padl/VaranasiASLBG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/VaranasiASLBG22
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
- view
  authority control:
- export record
  dblp key:
  - conf/padl/TardivoP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/TardivoP22
Fabio Tardivo, Enrico Pontelli:
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs. 191-207
- view
  authority control:
- export record
  dblp key:
  - conf/padl/FortiB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/FortiB22
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.