researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Filter by Tag
[+]
OR
AND
NOT
1
C++
Haskell
Java
Meta-Environment
Prolog
XML
XML Schema
analysis
compiler
constraints
data-flow
functional programming
logic
logic programming
meta-model
meta-objects
modeling
programming
rule-based
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
Andy Gill
C. R. Ramakrishnan
Emmanuel Chailloux
Enrico Pontelli
Francesco Ricca
Gopal Gupta
Joaquín Arias
John Peterson
Konstantinos F. Sagonas
Manuel Carro
Manuel V. Hermenegildo
Marcello Balduccini
Michael Hanus
Paul Hudak
Paul Tarau
Paulo Moura
Ricardo Rocha
Tran Cao Son
Vítor Santos Costa
Zoltan Somogyi
Filter by Top terms
[+]
OR
AND
NOT
1
answer
aspects
constraint
declarative
functional
implementation
international
january
language
languages
logic
padl
practical
proceedings
programming
programs
prolog
set
symposium
using
PADL (PADL)
Editions
Publications
Viewing Publication 1 - 100 from 486
2024
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures
Supun Abeysinghe
,
Tiark Rompf
.
PADL 2023
:
64-81
[doi]
Rethinking Answer Set Programming Templates
Mario Alviano
,
Giovambattista Ianni
,
Francesco Pacenza
,
Jessica Zangari
.
PADL 2023
:
82-99
[doi]
Marketplace Logistics via Answer Set Programming
Mario Alviano
,
Danilo Amendola
,
Luis Angel Rodriguez Reiners
.
PADL 2023
:
54-63
[doi]
Asynchronous Reactive Programming with Modal Types in Haskell
Patrick Bahr
,
Emil Houlborg
,
Gregers Thomas Skat Rørdam
.
PADL 2023
:
18-36
[doi]
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures
Teodoro Baldazzi
,
Luigi Bellomarini
,
Marco Favorito
,
Emanuel Sallinger
.
PADL 2023
:
169-185
[doi]
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning
Francesco Calimeri
,
Giovambattista Ianni
,
Francesco Pacenza
,
Simona Perri
,
Jessica Zangari
.
PADL 2023
:
1-17
[doi]
A Direct ASP Encoding for Declare
Francesco Chiariello
,
Valeria Fionda
,
Antonio Ielo
,
Francesco Ricca
.
PADL 2023
:
116-133
[doi]
Explanation and Knowledge Acquisition in Ad Hoc Teamwork
Hasra Dodampegama
,
Mohan Sridharan
.
PADL 2023
:
186-203
[doi]
Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic
Martin Mariusz Lester
.
PADL 2023
:
100-115
[doi]
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks
Parth Padalkar
,
Huaduo Wang
,
Gopal Gupta 0001
.
PADL 2023
:
134-150
[doi]
Hardware Implementation of OCaml Using a Synchronous Functional Language
Loïc Sylvestre
,
Jocelyn Sérot
,
Emmanuel Chailloux
.
PADL 2023
:
151-168
[doi]
FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability
Huaduo Wang
,
Gopal Gupta 0001
.
PADL 2023
:
37-53
[doi]
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
Yankai Zeng
,
Abhiramon Rajasekharan
,
Parth Padalkar
,
Kinjal Basu 0002
,
Joaquín Arias
,
Gopal Gupta 0001
.
PADL 2023
:
204-222
[doi]
2023
Automatic Rollback Suggestions for Incremental Datalog Evaluation
David Zhao 0001
,
Pavle Subotic
,
Mukund Raghothaman
,
Bernhard Scholz
.
PADL 2023
:
295-312
[doi]
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper)
Ramsha Ali
,
Mohammed M. S. El-Kholany
,
Martin Gebser
.
PADL 2023
:
85-95
[doi]
Multiple Query Satisfiability of Constrained Horn Clauses
Emanuele De Angelis
,
Fabio Fioravanti
,
Alberto Pettorossi
,
Maurizio Proietti
.
PADL 2023
:
125-143
[doi]
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper)
Denise Angilica
,
Giovambattista Ianni
,
Francesco Pacenza
,
Jessica Zangari
.
PADL 2023
:
96-106
[doi]
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
Linda Brodo
,
Roberto Bruni
,
Moreno Falaschi
.
PADL 2023
:
107-124
[doi]
Formalizing and Reasoning About Supply Chain Contracts Between Agents
Dylan Flynn
,
Chasity Nadeau
,
Jeannine Shantz
,
Marcello Balduccini
,
Tran Cao Son
,
Edward R. Griffor
.
PADL 2023
:
144-160
[doi]
Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
Martin Gebser
,
Ilya Sergey
, editors,
Volume 14512 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Michael Hanus
,
Daniela Inclezan
, editors,
Volume 13880 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting
Misaki Kojima
,
Naoki Nishida 0001
.
PADL 2023
:
161-179
[doi]
RICE: An Optimizing Curry Compiler
Steven Libby
.
PADL 2023
:
3-19
[doi]
SwitchLog: A Logic Programming Language for Network Switches
Vaibhav Mehta
,
Devon Loehr
,
John Sonchack
,
David Walker
.
PADL 2023
:
180-196
[doi]
Program Synthesis Using Example Propagation
Niek Mulleners
,
Johan Jeuring
,
Bastiaan Heeren
.
PADL 2023
:
20-36
[doi]
Embedding Functional Logic Programming in Haskell via a Compiler Plugin
Kai-Oliver Prott
,
Finn Teegen
,
Jan Christiansen
.
PADL 2023
:
37-55
[doi]
Linear Algebraic Abduction with Partial Evaluation
Tuan Nguyen Quoc
,
Katsumi Inoue
,
Chiaki Sakama
.
PADL 2023
:
197-215
[doi]
Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL
Haya Majid Qureshi
,
Wolfgang Faber 0001
.
PADL 2023
:
216-231
[doi]
Execution Time Program Verification with Tight Bounds
Ana Carolina Silva
,
Manuel Barbosa
,
Mário Florido
.
PADL 2023
:
56-72
[doi]
Solving Vehicle Equipment Specification Problems with Answer Set Programming
Raito Takeuchi
,
Mutsunori Banbara
,
Naoyuki Tamura
,
Torsten Schaub
.
PADL 2023
:
232-249
[doi]
sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper)
Birthe van den Berg
,
Tom Schrijvers
,
Peter Dedecker
.
PADL 2023
:
73-82
[doi]
UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper)
Sarat Chandra Varanasi
,
Baoluo Meng
,
Christopher C. Alexander
,
Szabolcs Borgyos
.
PADL 2023
:
250-260
[doi]
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming
Zesheng Xu
,
Joaquín Arias
,
Elmer Salazar
,
Zhuo Chen
,
Sarat Chandra Varanasi
,
Kinjal Basu 0002
,
Gopal Gupta 0001
.
PADL 2023
:
261-278
[doi]
Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling
Anssi Yli-Jyrä
,
Masood Feyzbakhsh Rankooh
,
Tomi Janhunen
.
PADL 2023
:
279-294
[doi]
2022
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
Wolfgang Faber 0001
,
Michael Morak
,
Lukás Chrpa
.
PADL 2022
:
42-56
[doi]
Green Application Placement in the Cloud-IoT Continuum
Stefano Forti 0002
,
Antonio Brogi
.
PADL 2022
:
208-217
[doi]
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming
Joaquín Arias
,
Manuel Carro
,
Gopal Gupta
.
PADL 2022
:
117-134
[doi]
People, Ideas, and the Path Ahead
Marcello Balduccini
.
PADL 2022
:
3-12
[doi]
Modelling the Outlier Detection Problem in ASP(Q)
Pierpaolo Bellusci
,
Giuseppe Mazzotta
,
Francesco Ricca
.
PADL 2022
:
15-23
[doi]
Timed Concurrent Language for Argumentation: An Interleaving Approach
Stefano Bistarelli
,
Maria Chiara Meo
,
Carlo Taticchi
.
PADL 2022
:
101-116
[doi]
Functional Programming on Top of SQL Engines
Tobias Burghardt
,
Denis Hirn
,
Torsten Grust
.
PADL 2022
:
59-78
[doi]
Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings
James Cheney
,
Simona Perri
, editors,
Volume 13165 of
Lecture Notes in Computer Science
, Springer,
2022.
[doi]
Decomposition-Based Job-Shop Scheduling with Constrained Clustering
Mohammed M. S. El-Kholany
,
Konstantin Schekotihin
,
Martin Gebser
.
PADL 2022
:
165-180
[doi]
sf CircuitFlow: A Domain Specific Language for Dataflow Programming
Riley Evans
,
Samantha Frohlich
,
Meng Wang 0002
.
PADL 2022
:
79-98
[doi]
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
Tomi Janhunen
.
PADL 2022
:
135-153
[doi]
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
Kristian Reale
,
Francesco Calimeri
,
Nicola Leone
,
Francesco Ricca
.
PADL 2022
:
154-161
[doi]
Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding
Nima Tajelipirbazari
,
Cagri Uluc Yildirimoglu
,
Orkunt Sabuncu
,
Ali Can Arici
,
Idil Helin Ozen
,
Volkan Patoglu
,
Esra Erdem 0001
.
PADL 2022
:
24-41
[doi]
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs
Fabio Tardivo
,
Enrico Pontelli
.
PADL 2022
:
191-207
[doi]
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
Sarat Chandra Varanasi
,
Joaquín Arias
,
Elmer Salazar
,
Fang Li 0010
,
Kinjal Basu 0002
,
Gopal Gupta
.
PADL 2022
:
181-190
[doi]
2021
Declarative Debugging of XML Queries
Jesús Manuel Almendros-Jiménez
,
Antonio Becerra-Terón
.
PADL 2021
:
161-177
[doi]
Data Validation Meets Answer Set Programming
Mario Alviano
,
Carmine Dodaro
,
Arnel Zamayla
.
PADL 2021
:
90-106
[doi]
Synchronous Message-Passing with Priority
Cheng-En Chuang
,
Grant Iraci
,
Lukasz Ziarek
.
PADL 2021
:
37-53
[doi]
Causal-Consistent Reversible Debugging: Improving CauDEr
Juan José González-Abril
,
Germán Vidal
.
PADL 2021
:
145-160
[doi]
Lightweight Declarative Server-Side Web Programming
Michael Hanus
.
PADL 2021
:
107-123
[doi]
Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
José F. Morales
,
Dominic A. Orchard
, editors,
Volume 12548 of
Lecture Notes in Computer Science
, Springer,
2021.
[doi]
ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs
Sumit Padhiyar
,
K. C. Sivaramakrishnan
.
PADL 2021
:
127-144
[doi]
Putting Gradual Types to Work
Bhargav Shivkumar
,
Enrique Naudon
,
Lukasz Ziarek
.
PADL 2021
:
54-70
[doi]
A Family of Unification-Oblivious Program Transformations and Their Applications
Paul Tarau
.
PADL 2021
:
3-19
[doi]
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States
Fabio Tardivo
,
Loc Pham
,
Tran Cao Son
,
Enrico Pontelli
.
PADL 2021
:
73-89
[doi]
On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages
David Young
,
Mark Grebe
,
Andy Gill
.
PADL 2021
:
20-36
[doi]
2020
AQuA: ASP-Based Visual Question Answering
Kinjal Basu 0002
,
Farhad Shakerin
,
Gopal Gupta
.
PADL 2020
:
57-72
[doi]
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report
Alex Brik
,
Jeffrey Xu
.
PADL 2020
:
73-81
[doi]
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming
Sheung Chi Chan
,
James Cheney
.
PADL 2020
:
20-36
[doi]
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML
Martin Elsman
,
Niels Hallenberg
.
PADL 2020
:
95-112
[doi]
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams
Johannes Eriksson
,
Masoumeh Parsa
.
PADL 2020
:
196-212
[doi]
Explanations for Dynamic Programming
Martin Erwig
,
Prashant Kumar
,
Alan Fern
.
PADL 2020
:
179-195
[doi]
Exploiting Database Management Systems and Treewidth for Counting
Johannes Klaus Fichte
,
Markus Hecher
,
Patrick Thier
,
Stefan Woltran
.
PADL 2020
:
151-167
[doi]
A Timed IO Monad
David Janin
.
PADL 2020
:
131-147
[doi]
Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings
Ekaterina Komendantskaya
,
Yanhong Annie Liu
, editors,
Volume 12007 of
Lecture Notes in Computer Science
, Springer,
2020.
[doi]
On Repairing Web Services Workflows
Thanh Hai Nguyen
,
Enrico Pontelli
,
Tran Cao Son
.
PADL 2020
:
37-53
[doi]
VRASP: A Virtual Reality Environment for Learning Answer Set Programming
Vinh T. Nguyen
,
Yuanlin Zhang 0002
,
Kwanghee Jung
,
Wanli Xing
,
Tommy Dang
.
PADL 2020
:
82-91
[doi]
Variability-Aware Datalog
Ramy Shahin
,
Marsha Chechik
.
PADL 2020
:
213-221
[doi]
Whitebox Induction of Default Rules Using High-Utility Itemset Mining
Farhad Shakerin
,
Gopal Gupta
.
PADL 2020
:
168-176
[doi]
RTMLton: An SML Runtime for Real-Time Systems
Bhargav Shivkumar
,
Jeffrey C. Murphy
,
Lukasz Ziarek
.
PADL 2020
:
113-130
[doi]
Interactive Text Graph Mining with a Prolog-based Dialog Engine
Paul Tarau
,
Eduardo Blanco 0002
.
PADL 2020
:
3-19
[doi]
2019
Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
José Júlio Alferes
,
Moa Johansson
, editors,
Volume 11372 of
Lecture Notes in Computer Science
, Springer,
2019.
[doi]
Distributed Protocol Combinators
Kristoffer Just Arndal Andersen
,
Ilya Sergey
.
PADL 2019
:
169-186
[doi]
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
Joaquín Arias
,
Manuel Carro
.
PADL 2019
:
98-114
[doi]
Static Partitioning of Spreadsheets for Parallel Execution
Alexander Asp Bock
.
PADL 2019
:
221-237
[doi]
Improving Residuation in Declarative Programs
Michael Hanus
.
PADL 2019
:
82-97
[doi]
Automatic Program Rewriting in Non-Ground Answer Set Programs
Nicholas Hippen
,
Yuliya Lierler
.
PADL 2019
:
19-36
[doi]
Personalized Course Schedule Planning Using Answer Set Programming
Muhammed Kerem Kahraman
,
Esra Erdem 0001
.
PADL 2019
:
37-45
[doi]
Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs
Yuliya Lierler
.
PADL 2019
:
1-18
[doi]
Natural Language Generation from Ontologies
Van Nguyen
,
Tran Cao Son
,
Enrico Pontelli
.
PADL 2019
:
64-81
[doi]
Creating Domain-Specific Languages by Composing Syntactical Constructs
Viktor Palmkvist
,
David Broman
.
PADL 2019
:
187-203
[doi]
An ASP Based Approach to Answering Questions for Natural Language Text
Dhruva Pendharkar
,
Gopal Gupta
.
PADL 2019
:
46-63
[doi]
Faster Coroutine Pipelines: A Reconstruction
Ruben P. Pieters
,
Tom Schrijvers
.
PADL 2019
:
133-149
[doi]
Proof-Carrying Plans
Christopher Schwaab
,
Ekaterina Komendantskaya
,
Alasdair Hill
,
Frantisek Farka
,
Ronald P. A. Petrick
,
Joe B. Wells
,
Kevin Hammond
.
PADL 2019
:
204-220
[doi]
Classes of Arbitrary Kind
Alejandro Serrano
,
Victor Cacciari Miraldo
.
PADL 2019
:
150-168
[doi]
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers
Paul Tarau
.
PADL 2019
:
115-132
[doi]
2018
An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic
Kritika Anand
,
Pavan Kumar Chittimalli
,
Ravindra Naik
.
PADL 2018
:
80-96
[doi]
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs
Florian Biermann
,
Wensheng Dou
,
Peter Sestoft
.
PADL 2018
:
20-35
[doi]
Optimizing Answer Set Computation via Heuristic-Based Decomposition
Francesco Calimeri
,
Davide Fuscà
,
Simona Perri
,
Jessica Zangari
.
PADL 2018
:
135-151
[doi]
Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings
Francesco Calimeri
,
Kevin W. Hamlen
,
Nicola Leone
, editors,
Volume 10702 of
Lecture Notes in Computer Science
, Springer,
2018.
[doi]
Hygienic Source-Code Generation Using Functors - (Extended Abstract)
Karl Crary
.
PADL 2018
:
53-60
[doi]
Probabilistic Functional Logic Programming
Sandra Dylus
,
Jan Christiansen
,
Finn Teegen
.
PADL 2018
:
3-19
[doi]
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report
Stefano Germano
,
Francesco Calimeri
,
Eliana Palermiti
.
PADL 2018
:
152-160
[doi]
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell
Gordon Stewart
,
Samuel Merten
,
Logan Leland
.
PADL 2018
:
36-52
[doi]
Exploiting Term Hiding to Reduce Run-Time Checking Overhead
Nataliia Stulova
,
José F. Morales
,
Manuel V. Hermenegildo
.
PADL 2018
:
99-115
[doi]
On k-colored Lambda Terms and Their Skeletons
Paul Tarau
.
PADL 2018
:
116-131
[doi]
Sign in
or
sign up
to see more results.