| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Huaduo Wang, Gopal Gupta 0001 |
FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability.  |
PADL  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Mariusz Lester |
Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam |
Asynchronous Reactive Programming with Modal Types in Haskell. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca |
A Direct ASP Encoding for Declare. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasra Dodampegama, Mohan Sridharan |
Explanation and Knowledge Acquisition in Ad Hoc Teamwork. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners |
Marketplace Logistics via Answer Set Programming. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari |
Rethinking Answer Set Programming Templates. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu 0002, Joaquín Arias, Gopal Gupta 0001 |
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari |
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux |
Hardware Implementation of OCaml Using a Synchronous Functional Language. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Supun Abeysinghe, Tiark Rompf |
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Parth Padalkar, Huaduo Wang, Gopal Gupta 0001 |
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. |
PADL |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Libby |
RICE: An Optimizing Curry Compiler. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Niek Mulleners, Johan Jeuring, Bastiaan Heeren |
Program Synthesis Using Example Propagation. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos |
UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor |
Formalizing and Reasoning About Supply Chain Contracts Between Agents. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Haya Majid Qureshi, Wolfgang Faber 0001 |
Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub |
Solving Vehicle Equipment Specification Problems with Answer Set Programming. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai-Oliver Prott, Finn Teegen, Jan Christiansen |
Embedding Functional Logic Programming in Haskell via a Compiler Plugin. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramsha Ali, Mohammed M. S. El-Kholany, Martin Gebser |
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper). |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Birthe van den Berg, Tom Schrijvers, Peter Dedecker |
sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper). |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Multiple Query Satisfiability of Constrained Horn Clauses. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Zhao 0001, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
Automatic Rollback Suggestions for Incremental Datalog Evaluation. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anssi Yli-Jyrä, Masood Feyzbakhsh Rankooh, Tomi Janhunen |
Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker 0001 |
SwitchLog: A Logic Programming Language for Network Switches. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Brodo, Roberto Bruni, Moreno Falaschi |
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Daniela Inclezan (eds.) |
Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari |
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper). |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Ilya Sergey (eds.) |
Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama |
Linear Algebraic Abduction with Partial Evaluation. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Carolina Silva, Manuel Barbosa, Mário Florido |
Execution Time Program Verification with Tight Bounds. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu 0002, Gopal Gupta 0001 |
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Misaki Kojima, Naoki Nishida 0001 |
From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi |
Timed Concurrent Language for Argumentation: An Interleaving Approach. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Michael Morak, Lukás Chrpa |
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Riley Evans, Samantha Frohlich, Meng Wang 0002 |
sf CircuitFlow: A Domain Specific Language for Dataflow Programming. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Tardivo, Enrico Pontelli |
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Burghardt, Denis Hirn, Torsten Grust |
Functional Programming on Top of SQL Engines. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen |
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li 0010, Kinjal Basu 0002, Gopal Gupta 0001 |
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro, Gopal Gupta 0001 |
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima Tajelipirbazari, Cagri Uluc Yildirimoglu, Orkunt Sabuncu, Ali Can Arici, Idil Helin Ozen, Volkan Patoglu, Esra Erdem 0001 |
Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser |
Decomposition-Based Job-Shop Scheduling with Constrained Clustering. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca |
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca |
Modelling the Outlier Detection Problem in ASP(Q). |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Balduccini |
People, Ideas, and the Path Ahead. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | James Cheney, Simona Perri (eds.) |
Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Forti 0002, Antonio Brogi |
Green Application Placement in the Cloud-IoT Continuum. |
PADL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Young, Mark Grebe, Andy Gill |
On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages. |
PADL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-En Chuang, Grant Iraci, Lukasz Ziarek |
Synchronous Message-Passing with Priority. |
PADL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau |
A Family of Unification-Oblivious Program Transformations and Their Applications. |
PADL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek |
Putting Gradual Types to Work. |
PADL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón |
Declarative Debugging of XML Queries. |
PADL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan José González-Abril, Germán Vidal |
Causal-Consistent Reversible Debugging: Improving CauDEr. |
PADL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Lightweight Declarative Server-Side Web Programming. |
PADL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli |
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. |
PADL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | José F. Morales 0001, Dominic A. Orchard (eds.) |
Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings |
PADL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Arnel Zamayla |
Data Validation Meets Answer Set Programming. |
PADL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Padhiyar, K. C. Sivaramakrishnan |
ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs. |
PADL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Eriksson, Masoumeh Parsa |
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek |
RTMLton: An SML Runtime for Real-Time Systems. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Brik, Jeffrey Xu |
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramy Shahin, Marsha Chechik |
Variability-Aware Datalog. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheung Chi Chan, James Cheney |
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau, Eduardo Blanco 0002 |
Interactive Text Graph Mining with a Prolog-based Dialog Engine. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanh Hai Nguyen 0002, Enrico Pontelli, Tran Cao Son |
On Repairing Web Services Workflows. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kinjal Basu 0002, Farhad Shakerin, Gopal Gupta 0001 |
AQuA: ASP-Based Visual Question Answering. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Komendantskaya, Yanhong Annie Liu (eds.) |
Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Shakerin, Gopal Gupta 0001 |
Whitebox Induction of Default Rules Using High-Utility Itemset Mining. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinh T. Nguyen 0001, Yuanlin Zhang 0002, Kwanghee Jung, Wanli Xing, Tommy Dang |
VRASP: A Virtual Reality Environment for Learning Answer Set Programming. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David Janin |
A Timed IO Monad. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Elsman, Niels Hallenberg |
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Erwig, Prashant Kumar, Alan Fern |
Explanations for Dynamic Programming. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran |
Exploiting Database Management Systems and Treewidth for Counting. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristoffer Just Arndal Andersen, Ilya Sergey |
Distributed Protocol Combinators. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Moa Johansson (eds.) |
Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau |
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Nguyen 0001, Tran Cao Son, Enrico Pontelli |
Natural Language Generation from Ontologies. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Serrano 0001, Victor Cacciari Miraldo |
Classes of Arbitrary Kind. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Arias, Manuel Carro |
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond |
Proof-Carrying Plans. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Improving Residuation in Declarative Programs. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Hippen, Yuliya Lierler |
Automatic Program Rewriting in Non-Ground Answer Set Programs. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dhruva Pendharkar, Gopal Gupta 0001 |
An ASP Based Approach to Answering Questions for Natural Language Text. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammed Kerem Kahraman, Esra Erdem 0001 |
Personalized Course Schedule Planning Using Answer Set Programming. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben P. Pieters, Tom Schrijvers |
Faster Coroutine Pipelines: A Reconstruction. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler |
Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Palmkvist, David Broman |
Creating Domain-Specific Languages by Composing Syntactical Constructs. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Asp Bock |
Static Partitioning of Spreadsheets for Parallel Execution. |
PADL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik |
An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau |
On k-colored Lambda Terms and Their Skeletons. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Crary |
Hygienic Source-Code Generation Using Functors - (Extended Abstract). |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic |
Three Is a Crowd: SAT, SMT and CLP on a Chessboard. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Germano, Francesco Calimeri, Eliana Palermiti |
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanh Hai Nguyen 0002, Tran Cao Son, Enrico Pontelli |
Automatic Web Services Composition for Phylotastic. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Kevin W. Hamlen, Nicola Leone (eds.) |
Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Weronika T. Adrian, Marco Manna |
Navigating Online Semantic Resources for Entity Set Expansion. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri |
A REST-Based Development Framework for ASP: Tools and Application. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo |
Exploiting Term Hiding to Reduce Run-Time Checking Overhead. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license