國立高雄大學圖資館 |

登入

回首頁 到查詢結果 [ subject:"Theory of Computation." ]

Practical aspects of declarative languages26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Practical aspects of declarative languagesedited by Martin Gebser, Ilya Sergey.
其他題名:	26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings /
其他題名:	PADL 2024
其他作者:	Gebser, Martin.
團體作者:
出版者:	Cham :Springer Nature Switzerland :2023.
面頁冊數:	xvi, 223 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Declarative programming languagesCongresses.
電子資源:	https://doi.org/10.1007/978-3-031-52038-9
ISBN:	9783031520389$q(electronic bk.)

Practical aspects of declarative languages26th 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 ;4891..

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$q(electronic bk.)

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

455750
Declarative programming languages
--Congresses.

LC Class. No.: QA76.76.C65

Dewey Class. No.: 005.13

Practical aspects of declarative languages26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings /
LDR:02905nmm a2200349 a 4500 001 654777
003 DE-He213
005 20240109064609.0
006 m d
007 cr nn 008maaau
008 240524s2023 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
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 455750
650 0 $a Declarative programming $v Congresses. $3 442912
650 1 4 $a Programming Language. $3 913494
650 2 4 $a Computer and Information Systems Applications. $3 913125
650 2 4 $a Knowledge Based Systems. $3 913337
650 2 4 $a Theory of Computation. $3 274475
650 2 4 $a Computer Engineering and Networks. $3 913124
700 1 $a Gebser, Martin. $3 965800
700 1 $a Sergey, Ilya. $3 924240
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-52038-9
950 $a Computer Science (SpringerNature-11645)