22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020) | www.gmachineinfo.com

会议文集

文集名	Practical Aspects of Declarative Languages
会议名	22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020)
中译名	《第二十二届国际声明性语言的实践方面专题讨论会》
机构	Association for Logic Programming (ALP)
会议日期	January 20–21, 2020
会议地点	New Orleans, LA, USA
出版年	2020
馆藏号	333019

题名	作者	出版年
Interactive Text Graph Mining with a Prolog-based Dialog Engine	Paul Tarau; Eduardo Blanco	2020
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming	Sheung Chi Chan; James Cheney	2020
On Repairing Web Services Workflows	Thanh H. Nguyen; Enrico Pontelli; Tran Cao Son	2020
AQuA: ASP-Based Visual Question Answering	Kinjal Basu; Farhad Shakerin; Gopal Gupta	2020
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report	Alex Brik; Jeffrey Xu	2020
VRASP: A Virtual Reality Environment for Learning Answer Set Programming	Vinh T. Nguyen; Yuanlin Zhang; Kwanghee Jung; Wanli Xing; Tommy Dang	2020
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML	Martin Elsman; Niels Hallenberg	2020
RTMLton: An SML Runtime for Real-Time Systems	Bhargav Shivkumar; Jeffrey Murphy; Lukasz Ziarek	2020
A Timed IO Monad	David Janin	2020
Exploiting Database Management Systems and Treewidth for Counting	Johannes K. Fichte; Markus Hecher; Patrick Thier; Stefan Woltran	2020
Whitebox Induction of Default Rules Using High-Utility Itemset Mining	Farhad Shakerin; Gopal Gupta	2020
Explanations for Dynamic Programming	Martin Erwig; Prashant Kumar; Alan Fern	2020
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams	Johannes Eriksson; Masoumeh Parsa	2020
Variability-Aware Datalog	Ramy Shahin; Marsha Chechik	2020