Practical Aspects of Declarative Languages: 22nd International Symposium, Padl 2020, New Orleans, La, Usa, January 20-21, 2020, Proceedings

ISBN-13: 9783030391966 / Angielski / Miękka / 2020 / 223 str.

Ekaterina Komendantskaya; Yanhong Annie Liu

Spis treści

Logical Engines and Applications.- Interactive Text Graph Mining with a Prolog-based Dialog Engine.- Flexible graph matching and graph edit distance using answer set programming.- On Repairing Web Services Workflows.- Answer Set Programming Systems.- AQuA: ASP-based Visual Question Answering.- Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report.- VRASP: A Virtual Reality Environment for Learning Answer Set Programming.- Memory and Real-Time in Functional Programming.- On the Effects of Integrating Region-based Memory Management and Generational Garbage Collection in ML.- RTMLton: An SML runtime for real-time systems.- A Timed IO monad.- Reasoning and Efficient Implementation.- Exploiting Database Systems and Treewidth for Counting.- Whitebox Induction of Default Rules Using High-Utility Itemset Mining.- Small Languages and Implementation.- Explanations for Dynamic Programming.- A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams.- Variability-Aware Datalog.