000 04152nam a22006135i 4500
001 978-3-031-52038-9
003 DE-He213
005 20240730203558.0
007 cr nn 008mamaa
008 240109s2023 sz | s |||| 0|eng d
020 _a9783031520389
_9978-3-031-52038-9
024 7 _a10.1007/978-3-031-52038-9
_2doi
050 4 _aQA76.7-.73
072 7 _aUMX
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aUMX
_2thema
082 0 4 _a005.13
_223
245 1 0 _aPractical Aspects of Declarative Languages
_h[electronic resource] :
_b26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings /
_cedited by Martin Gebser, Ilya Sergey.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2023.
300 _aXVI, 223 p. 64 illus., 39 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14512
505 0 _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.
520 _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.
650 0 _aProgramming languages (Electronic computers).
_97503
650 0 _aApplication software.
_9176673
650 0 _aExpert systems (Computer science).
_93392
650 0 _aComputer science.
_99832
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 1 4 _aProgramming Language.
_939403
650 2 4 _aComputer and Information Systems Applications.
_9176674
650 2 4 _aKnowledge Based Systems.
_979172
650 2 4 _aTheory of Computation.
_9176675
650 2 4 _aComputer Engineering and Networks.
_9176676
700 1 _aGebser, Martin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9176677
700 1 _aSergey, Ilya.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9176678
710 2 _aSpringerLink (Online service)
_9176679
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031520372
776 0 8 _iPrinted edition:
_z9783031520396
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14512
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-52038-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c97568
_d97568