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.

Produktinformation

Utgivningsdatum2024-01-10
Mått155 x 235 x 17 mm
Vikt372 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor223
FörlagSpringer International Publishing AG
ISBN9783031520372

Tillhör följande kategorier

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.

Mer från samma författare

Del 12678

Logics in Artificial Intelligence

Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak

Häftad, 2021

1 329 kr

Answer Set Solving in Practice

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Häftad, 2012

599 kr

Logic Programming and Nonmonotonic Reasoning

Wolfgang Faber, Martin Gebser, Yanhong Annie Liu

Häftad, 2026

1 159 kr

Mer från samma serie

Del 16477

Passive and Active Measurement

Simone Ferlin-Reiter, Romain Fontugne, Johanna Ullrich

Häftad, 2026

1 409 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

739 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

719 kr

Compiler Construction

Albert Cohen

Häftad, 2014

709 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

719 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

739 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

739 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

739 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 209 kr

Du kanske också är intresserad av

Del 14512

Fake

Ele Fountain, Klaus Amann

Häftad, 2024

129 kr

Del 12548

Practical Aspects of Declarative Languages

José F. Morales, Dominic Orchard

Häftad, 2021

739 kr

Practical Aspects of Declarative Languages

Kostis Sagonas

Häftad, 2013

689 kr

Practical Aspects of Declarative Languages

Claudio Russo, Neng-Fa Zhou

Häftad, 2011

739 kr

Del 13880

Practical Aspects of Declarative Languages

Michael Hanus, Daniela Inclezan

Häftad, 2023

1 079 kr

Del 9131

Practical Aspects of Declarative Languages

Enrico Pontelli, Tran Cao Son

Häftad, 2015

599 kr

Practical Aspects of Declarative Languages

I. V. Ramakrishnan, I.V. Ramakrishnan

Häftad, 2001

739 kr

Practical Aspects of Declarative Languages

Ricardo Rocha, John Launchbury

Häftad, 2011

739 kr

Practical Aspects of Declarative Languages

Enrico Pontelli, Santos C. Vitor

Häftad, 2000

739 kr

Practical Aspects of Declarative Languages

Bharat Jayaraman

Häftad, 2004

739 kr

Del 14512 i serien Lecture Notes in Computer Science

Practical Aspects of Declarative Languages

26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings

Häftad, Engelska, 2024

AvMartin Gebser,Ilya Sergey

959 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (10)

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

959 kr

Skickas inom 10-15 vardagar

Häftad

1 079 kr

Skickas inom 10-15 vardagar

Häftad

959 kr

Skickas inom 10-15 vardagar

Häftad

859 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2024-01-10
Mått155 x 235 x 17 mm
Vikt372 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor223
FörlagSpringer International Publishing AG
ISBN9783031520372

Tillhör följande kategorier

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.