PADL 2025
| title | author | length |
|---|---|---|
| ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia | Daniela Inclezan, Hunter Lockwood, Anita Baral, Jitendra Sharma, Pratiksha Shrestha | 29m |
ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia (Video, 27th International Symposium on Practical Aspects of… | ||
| Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A(…) | Fang Li, Fei Zuo, Gopal Gupta | 22m |
Claims an ASP encoding of provenance graphs that supports nonmonotonic reasoning and encodes reachability, temporal and causal dependencies to do attack-path… | ||
| Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination | Kento Takyu, Kazunori Ueda | 26m |
Extends Elemental (LMNtal-based) with an M API that implements graph cloning/division inspired by MELL promotion boxes, including a concrete primitive M_Copy… | ||
| On Bridging Prolog and Python to Enhance an Inductive Logic Programming System | Vitor Santos Costa, Miguel Areias | 28m |
A Prolog–Python bridge implements a C++ middle layer and SWIG type maps plus C glue to convert terms bidirectionally, exporting C++ classes (up_term… | ||
| Can Logic Programming Be Liberated from Predicates and Backtracking? (Lightning talk) | Michael Hanus | 22m |
Claims a systematic method that transforms Prolog predicates into Curry functions and a tool that compiles those into Haskell or Go, with a Curry package… | ||
| A practical approach to handling tabular data in logic | Robin De Vogelaere, Kylian Van Dessel, Joost Vennekens | 25m |
KeBAP (Knowledge‑Base API for Python) converts CSVs and other tables into FO(.) structures and produces IDP specs for IDP-Z3 for FO(.); it derives types (ints… | ||
| SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic | Zachary Hansen, Yuliya Lierler | 27m |
Proposes an SM-based semantics for answer set programs with conditional literals and integer arithmetic that avoids grounding by extending the toar translation… | ||
| Invited Talk: Bridging Safety and Performance | Umut A. Acar | 57m |
Claims that safe, declarative parallel programs match optimized imperative code by combining a proof-backed memory model and automatic runtime management. A… | ||
| Enhancing network diagnosis with reflection in Prolog (extended abstract) | Anduo Wang | 26m |
Claims that adding reflection to Prolog lets automated diagnosis both catch and explain BGP oscillations, demonstrated by a runnable XSB prototype that… | ||
| MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs | Felipe Gorostiaga, Martin Ceresa, César Sánchez | 21m |
Mola implements a meta-interpreter factory for stream runtime verification: HLoLA specs become stringly-typed trees, a theory engineer role binds symbols to… | ||
| Leveraging LLM Reasoning with Dual Horn Programs | Paul Tarau | 33m |
Claims that Dual Horn programs produce constructive falsifications with actual variable bindings and that a compilation to Horn clauses preserves performance… | ||
| Logic Programming with Extensible Types (Lightning talk) | Ivan Perez, Ángel Herranz, Julio Mariño | 15m |
Claim: Haskell code gains logic programming by a compile time extensible types par transformation that turns algebraic types into term types with optional… | ||
| Checking Concurrency Coding Rules | Lars-Åke Fredlund, Ángel Herranz, Julio Mariño | 32m |
Combines execution tracing with declarative rule checks to catch concurrency faults: traces are collected with bitman into a Prolog fact store, unit tests are… | ||
| The Scenic Route to Deforestation | Steven Libby, Vincent Robinson | 28m |
Proves that foldr/build deforestation is correct for Curry in most cases by translating Curry to cumin then to the deterministic Salt language and using free… | ||
| Automated Playing of Survival Video Games with Commonsense Reasoning (short paper) | Dan Nguyen, Bryant Hargreaves, Keegan Kimbrell, Gopal Gupta | 22m |
An agent for Don't Starve converts in-game Lua JSON into predicate facts, applies about 22 rules and 8 assumptions encoded in answer set programming, and uses… | ||
| A Weighted Bipolar Argumentation Framework and its ASP-based Implementation | Yan Yan, Junru Li, Fangzhou Liu, Zerong Wang, Zhizheng Zhang | 23m |
Proposes a formal Weighted Bipolar Argumentation Framework that treats attacks and supports equally, assigns weights to both arguments and relations, and… | ||
| Invited Talk: Solvers, unite! A simple unified semantics for reasoning with assurance(…) | Y. Annie Liu | 58m |
Invited Talk: Solvers, unite! A simple unified semantics for reasoning with assurance and agreement (Video, 27th International Symposium on Practical Aspects… | ||
| Invited Talk: Solvers, unite! A simple unified semantics for reasoning with assurance(…) | Y. Annie Liu | 58m |
Invited Talk: Solvers, unite! A simple unified semantics for reasoning with assurance and agreement (Video, 27th International Symposium on Practical Aspects… | ||
| Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System | Jim Newton | 30m |
Claims a practical method to type-check heterogeneously typed sequences by inventing rational type expressions and compiling them to symbolic finite automata… | ||
| Haskell Based Spreadsheets | Ignacio Ballesteros, Julio Mariño | 28m |
Prototype reimplements spreadsheets so each cell is a Haskell subset as cell language compiled into a single Haskell program via Template Haskell, with… | ||
| nothing matches | ||