단행본 상세

서지주요정보
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings
서명 / 저자 Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings / edited by Martin Gebser, Ilya Sergey.
저자명 Gebser, Martin. editor. (orcid)0000-0002-8010-4752 https://orcid.org/0000-0002-8010-4752 edt http://id.loc.gov/vocabulary/relators/edt ; Sergey, Ilya. editor. (orcid)0000-0003-4250-5392 https://orcid.org/0000-0003-4250-5392 edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2023.
발행사항 Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 14512
Online Access https://doi.org/10.1007/978-3-... URL

서지기타정보

서지기타정보
ISBN 9783031520389
기타 표준번호 10.1007/978-3-031-52038-9
청구기호 QA76.7-.73
형태사항 XVI, 223 p. 64 illus., 39 illus. in color. online resource.
언어 English
내용 Invited 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.
주제 Programming languages (Electronic computers).
Application software.
Expert systems (Computer science).
Computer science.
Computer engineering.
Computer networks .
Programming Language.
Computer and Information Systems Applications.
Knowledge Based Systems.
Theory of Computation.
Computer Engineering and Networks.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783031520372 Printed edition: 9783031520396
QR CODE