知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
会议文集
文集名
Practical Aspects of Declarative Languages
会议名
24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)
中译名
《第二十四届国际声明性语言的实践问题讨论会》
机构
Association for Logic Programming (ALP)
会议日期
January 17-18, 2022
会议地点
Philadelphia, PA, USA
出版年
2022
馆藏号
343351
题名
作者
出版年
People, Ideas, and the Path Ahead
Marcello Balduccini
2022
Modelling the Outlier Detection Problem in ASP(Q)
Pierpaolo Bellusci; Giuseppe Mazzotta; Francesco Ricca
2022
Multi-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
2022
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
Wolfgang Faber; Michael Morak; Lukas Chrpa
2022
Functional Programming on Top of SQL Engines
Tobias Burghardt; Denis Hirn; Torsten Grust
2022
CircuitFlow: A Domain Specific Language for Dataflow Programming
Riley Evans; Samantha Frohlich; Meng Wang
2022
Timed Concurrent Language for Argumentation: An Interleaving Approach
Stefano Bistarelli; Maria Chiara Meo; Carlo Taticchi
2022
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming
Joaquin Arias; Manuel Carro; Gopal Gupta
2022
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
Tomi Janhunen
2022
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
Kristian Reale; Francesco Calimeri; Nicola Leone; Francesco Ricca
2022
Decomposition-Based Job-Shop Scheduling with Constrained Clustering
Mohammed M. S. El-Kholany; Konstantin Schekotihin; Martin Gebser
2022
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
Sarat Chandra Varanasi; Joaquin Arias; Elmer Salazar; Fang Li; Kinjal Basu; Gopal Gupta
2022
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs
Fabio Tardivo; Enrico Pontelli
2022
Green Application Placement in the Cloud-IoT Continuum
Stefano Forti; Antonio Brogi
2022
制造业外文文献服务平台