國立虎尾科技大學 |

Practical aspects of declarative languages = 26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Practical aspects of declarative languages/ edited by Martin Gebser, Ilya Sergey.
其他題名:	26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings /
其他題名:	PADL 2024
其他作者:	Gebser, Martin.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	xvi, 223 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Declarative programming languages - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-52038-9
ISBN:	9783031520389

Practical aspects of declarative languages = 26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings /
Practical aspects of declarative languages26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings /[electronic resource] :PADL 2024edited by Martin Gebser, Ilya Sergey. - Cham :Springer Nature Switzerland :2023. - xvi, 223 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,145120302-9743 ;. - Lecture notes in computer science ;6140..

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.

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

ISBN: 9783031520389

Standard No.: 10.1007/978-3-031-52038-9doiSubjects--Topical Terms:

784010
Declarative programming languages
--Congresses.

LC Class. No.: QA76.76.C65

Dewey Class. No.: 005.13

Practical aspects of declarative languages = 26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings /
LDR:02905nam a2200349 a 4500 001 1120689
003 DE-He213
005 20240109064609.0
006 m d
007 cr nn 008maaau
008 240612s2023 sz s 0 eng d
020 $a 9783031520389 $q (electronic bk.)
020 $a 9783031520372 $q (paper)
024 7 $a 10.1007/978-3-031-52038-9 $2 doi
035 $a 978-3-031-52038-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.C65
072 7 $a UMX $2 bicssc
072 7 $a COM000000 $2 bisacsh
072 7 $a UMX $2 thema
082 0 4 $a 005.13 $2 23
090 $a QA76.76.C65 $b P123 2024
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Practical aspects of declarative languages $h [electronic resource] : $b 26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings / $c edited by Martin Gebser, Ilya Sergey.
246 3 $a PADL 2024
260 $a Cham : $c 2023. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xvi, 223 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14512
505 0 $a 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.
520 $a This 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 $a Declarative programming languages $v Congresses. $3 784010
650 0 $a Declarative programming $v Congresses. $3 785736
650 1 4 $a Programming Language. $3 1365750
650 2 4 $a Computer and Information Systems Applications. $3 1365732
650 2 4 $a Knowledge Based Systems. $3 1365951
650 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Computer Engineering and Networks. $3 1365733
700 1 $a Gebser, Martin. $e editor. $1 https://orcid.org/0000-0002-8010-4752 $3 1359098
700 1 $a Sergey, Ilya. $e editor. $1 https://orcid.org/0000-0003-4250-5392 $3 1392423
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-52038-9
950 $a Computer Science (SpringerNature-11645)