LEADER 03390nam 2200505 450 001 996579166903316 005 20240124121753.0 010 $a3-031-52038-6 024 7 $a10.1007/978-3-031-52038-9 035 $a(CKB)29551278000041 035 $a(MiAaPQ)EBC31061698 035 $a(Au-PeEL)EBL31061698 035 $a(DE-He213)978-3-031-52038-9 035 $a(EXLCZ)9929551278000041 100 $a20240124d2023 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aPractical Aspects of Declarative Languages $e26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings /$fMartin Gebser and Ilya Sergey, editors 205 $aFirst edition. 210 1$aCham, Switzerland :$cSpringer,$d[2023] 210 4$dİ2023 215 $a1 online resource (238 pages) 225 0 $aLecture Notes in Computer Science Series ;$vVolume 14512 311 08$a9783031520372 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Whats and Whys of Neural Network Verification (A Declarative Programming Perspective) -- Modular Higher-Order Effects -- Regular Papers -- Forget and Regeneration Techniques for Optimizing ASP-based Stream Reasoning -- Asynchronous Reactive Programming with Modal Types in Haskell -- FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability -- Marketplace Logistics via Answer Set Programming -- Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures -- Rethinking Answer Set Programming Templates -- Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using Bounded Integer Arithmetic -- A direct ASP Encoding for Declare -- Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks -- Hardware implementation of OCaml using a synchronous functional language -- Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures -- Explanation and Knowledge Acquisition in Ad Hoc Teamwork -- Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. 330 $aThis book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17?19, 2024. The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14512 606 $aDeclarative programming$vCongresses 606 $aDeclarative programming languages$vCongresses 615 0$aDeclarative programming 615 0$aDeclarative programming languages 676 $a005.131 702 $aGebser$b Martin 702 $aSergey$b Ilya 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996579166903316 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNISA