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

Utgivningsdatum:2024-01-10
Mått:155 x 235 x 17 mm
Vikt:372 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:223
Förlag:Springer International Publishing AG
ISBN:9783031520372

Utforska kategorier

Innehållsförteckning

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 024 kr

Logics in Artificial Intelligence

Michael Morak, Martin Gebser, Gerhard Friedrich, Wolfgang Faber

E-bok

2021

1 292 kr

Answer Set Solving in Practice

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Häftad, 2012

334 kr

Answer Set Solving in Practice

Torsten Schaub, Benjamin Kaufmann, Roland Kaminski, Martin Gebser

E-bok

2022

710 kr

Practical Aspects of Declarative Languages

Ilya Sergey, Martin Gebser

E-bok

2024

894 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Del 14512

Fake

Ele Fountain, Klaus Amann

Häftad, 2024

101 kr

Practical Aspects of Declarative Languages

Ilya Sergey, Martin Gebser

E-bok

2024

894 kr

Del 12548

Practical Aspects of Declarative Languages

José F. Morales, Dominic Orchard

Häftad, 2021

572 kr

Practical Aspects of Declarative Languages

Kostis Sagonas

Häftad, 2013

527 kr

Practical Aspects of Declarative Languages

Veronica Dahl, Philip Wadler

Häftad, 2002

572 kr

Practical Aspects of Declarative Languages

Claudio Russo, Neng-Fa Zhou

Häftad, 2011

572 kr

Del 9131

Practical Aspects of Declarative Languages

Enrico Pontelli, Tran Cao Son

Häftad, 2015

459 kr

Practical Aspects of Declarative Languages

I. V. Ramakrishnan, I.V. Ramakrishnan

Häftad, 2001

571 kr

Practical Aspects of Declarative Languages

Ricardo Rocha, John Launchbury

Häftad, 2011

572 kr

Practical Aspects of Declarative Languages

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

AvMartin Gebser,Ilya Sergey

Häftad, Engelska, 2024

Del 14512 i serien Lecture Notes in Computer Science

741 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

572 kr

572 kr

572 kr

741 kr

829 kr

741 kr

662 kr

572 kr

459 kr

459 kr

Beskrivning

Produktinformation

Utgivningsdatum:2024-01-10
Mått:155 x 235 x 17 mm
Vikt:372 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:223
Förlag:Springer International Publishing AG
ISBN:9783031520372

Utforska kategorier

Innehållsförteckning

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 024 kr

Logics in Artificial Intelligence

Michael Morak, Martin Gebser, Gerhard Friedrich, Wolfgang Faber

E-bok

2021

1 292 kr

Answer Set Solving in Practice

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Häftad, 2012

334 kr

Answer Set Solving in Practice

Torsten Schaub, Benjamin Kaufmann, Roland Kaminski, Martin Gebser

E-bok

2022

710 kr

Practical Aspects of Declarative Languages

Ilya Sergey, Martin Gebser

E-bok

2024

894 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr