000 04322nam a22006375i 4500
001 978-3-031-52038-9
003 DE-He213
005 20240207153816.0
007 cr nn 008mamaa
008 240109s2023 sz | s |||| 0|eng d
020 _a9783031520389
_9978-3-031-52038-9
050 4 _aQA76.7-.73
072 7 _aUMX
_2bicssc
072 7 _aCOM000000
_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
500 _aAcceso multiusuario
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.
541 _fUABC ;
_cPerpetuidad
650 0 _aProgramming languages (Electronic computers).
650 0 _aApplication software.
650 0 _aExpert systems (Computer science).
650 0 _aComputer science.
650 0 _aComputer engineering.
650 0 _aComputer networks .
650 1 4 _aProgramming Language.
650 2 4 _aComputer and Information Systems Applications.
650 2 4 _aKnowledge Based Systems.
650 2 4 _aTheory of Computation.
650 2 4 _aComputer Engineering and Networks.
700 1 _aGebser, Martin.
_eeditor.
_0(orcid)0000-0002-8010-4752
_1https://orcid.org/0000-0002-8010-4752
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSergey, Ilya.
_eeditor.
_0(orcid)0000-0003-4250-5392
_1https://orcid.org/0000-0003-4250-5392
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
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
856 4 0 _zLibro electrónico
_uhttp://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-52038-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cLIBRO_ELEC
999 _c263707
_d263706