This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, held in Rennes, France, during January 2026.The 11 full papers and one short paper included in this book were carefully reviewed and selected from 24 submissions. The accepted papers span a range of topics related to functional and logic programming, including some novel applications of Answer Set Programming, language extensions, runtime monitoring, program transformations, type-checking, and applications of declarative programming techniques to artificial intelligence and machine learning, among others.

Produktinformation

Utgivningsdatum2026-01-12
Mått155 x 235 x 13 mm
Vikt359 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor219
FörlagSpringer Nature Switzerland AG
ISBN9783032159809

Tillhör följande kategorier

.- Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning..- A One-Pass CPS Transform with Simulation on the Nose.- Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic .- Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi.- Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut..- Multi-Configurable Search Rules in Prolog and Application to Testing..- An Efficient Compiler for the IDP-Z3 Knowledge Base System..- A Functional Logic Perspective on Indentation-Sensitive Parsing..- Using Prolog to Translate Set Theory and B to SAT..- REGAL: Extracting implicit rules in text using LLMs with logic program feedback..- Declarative Debugging for Modern Networks..- Solving hard combinatorial optimization problems with PyQASP.

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 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 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops, Häftad

Del 15401

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi

Häftad, 2025

969 kr

Du kanske också är intresserad av

Del 12548

Practical Aspects of Declarative Languages

José F. Morales, Dominic Orchard

Häftad, 2021

749 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

749 kr

Practical Aspects of Declarative Languages

Andy Gill, Terrance Swift

Häftad, 2008

749 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

749 kr

Practical Aspects of Declarative Languages

Ricardo Rocha, John Launchbury

Häftad, 2011

749 kr

Practical Aspects of Declarative Languages

Enrico Pontelli, Santos C. Vitor

Häftad, 2000

749 kr

Practical Aspects of Declarative Languages

Bharat Jayaraman

Häftad, 2004

749 kr

Practical Aspects of Declarative Languages

Gopal Gupta

Häftad, 1999

749 kr

Del 16401 i serien Lecture Notes in Computer Science

Practical Aspects of Declarative Languages

28th International Symposium, PADL 2026, Rennes, France, January 12–13, 2026, Proceedings

Häftad, Engelska, 2026

AvNada Amin,Joaquín Arias

869 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

749 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

969 kr

Skickas inom 10-15 vardagar

Häftad

1 089 kr

Skickas inom 10-15 vardagar

Häftad

969 kr

Skickas inom 10-15 vardagar

Häftad

969 kr

Skickas inom 10-15 vardagar

Häftad

749 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

Utgivningsdatum2026-01-12
Mått155 x 235 x 13 mm
Vikt359 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor219
FörlagSpringer Nature Switzerland AG
ISBN9783032159809

Tillhör följande kategorier

.- Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning..- A One-Pass CPS Transform with Simulation on the Nose.- Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic .- Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi.- Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut..- Multi-Configurable Search Rules in Prolog and Application to Testing..- An Efficient Compiler for the IDP-Z3 Knowledge Base System..- A Functional Logic Perspective on Indentation-Sensitive Parsing..- Using Prolog to Translate Set Theory and B to SAT..- REGAL: Extracting implicit rules in text using LLMs with logic program feedback..- Declarative Debugging for Modern Networks..- Solving hard combinatorial optimization problems with PyQASP.