Practical Aspects of Declarative Languages

27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Herausgegeben:Erdem, Esra; Vidal, Germán

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 15537
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-84923-7
• Seitenzahl: 268
• Erscheinungstermin: 18. März 2025
• Englisch
• Abmessung: 235mm x 155mm x 15mm
• Gewicht: 411g
• ISBN-13: 9783031849237
• ISBN-10: 303184923X
• Artikelnr.: 72778040

Inhaltsangabe

.- 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.