UID:
almahu_9949986042302882
Format:
XVI, 249 p. 54 illus., 25 illus. in color.
,
online resource.
Edition:
1st ed. 2025.
ISBN:
9783031849244
Series Statement:
Lecture Notes in Computer Science, 15537
Content:
This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20-21, 2025. The 15 full papers included in this book were carefully reviewed and selected from 26 submissions. The accepted papers span a range of topics related to functional and logic programming, including some novel applications of Answer Set Programming, language extensions, runtime monitoring, program transformations, type-checking, and applications of declarative programming techniques to artificial intelligence and machine learning, among others.
Note:
-- On Bridging Prolog and Python to Enhance an Inductive Logic Program-ming System. -- Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System. -- The Scenic Route to Deforestation. -- MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Em-bedded DSLs. -- SM-based Semantics for Answer Set Programs Containing Conditional Lit-erals and Arithmetic. -- A practical approach to handling tabular data in logic. -- Automated Playing of Survival Video Games with Commonsense Reasoning. -- Checking Concurrency Coding Rules. -- A Weighted Bipolar Argumentation Framework and its ASP-based Imple-mentation. -- Haskell Based Spreadsheets. -- Leveraging LLM Reasoning with Dual Horn Programs. -- ASP for Language Documentation and Reclamation: A Derivational Stem-ming Tool for Myaamia. -- Enhancing a Hierarchical Graph Rewriting Language based on MELL CutElimination. -- C3G: Causally Constrained Counterfactual Generation. -- Exploring Answer Set Programming for Provenance Graph-Based CyberThreat Detection: A Novel Approach.
In:
Springer Nature eBook
Additional Edition:
Printed edition: ISBN 9783031849237
Additional Edition:
Printed edition: ISBN 9783031849251
Language:
English
DOI:
10.1007/978-3-031-84924-4
URL:
https://doi.org/10.1007/978-3-031-84924-4
Bookmarklink
