東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

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.
團體作者:	PADL (Symposium)
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	xvi, 223 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
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 ;14512..

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:

1066490
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:02905nmm a2200349 a 4500 001 2337239
003 DE-He213
005 20240109064609.0
006 m d
007 cr nn 008maaau
008 240523s2023 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 PADL (Symposium) $n (26th : $d 2024 : $c London, England) $3 3672081
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 1066490
650 0 $a Declarative programming $v Congresses. $3 892804
650 1 4 $a Programming Language. $3 3538935
650 2 4 $a Computer and Information Systems Applications. $3 3538505
650 2 4 $a Knowledge Based Systems. $3 3538738
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Computer Engineering and Networks. $3 3538504
700 1 $a Gebser, Martin. $3 3672082
700 1 $a Sergey, Ilya. $3 3594900
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14512. $3 3672083
856 4 0 $u https://doi.org/10.1007/978-3-031-52038-9
950 $a Computer Science (SpringerNature-11645)