default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th PADL 2025: Denver, CO, USA
- Esra Erdem
, Germán Vidal:
Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings. Lecture Notes in Computer Science 15537, Springer 2025, ISBN 978-3-031-84923-7 - Vítor Manuel de Morais Santos Costa, Miguel Areias:
On Bridging Prolog and Python to Enhance an Inductive Logic Programming System. 1-17 - Jim E. Newton:
Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System. 18-34 - Vincent Robinson, Steven Libby:
The Scenic Route to Deforestation - An Exercise in Applying Parametricity in Curry. 35-52 - Felipe Gorostiaga, Martín Ceresa, César Sánchez:
MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs. 53-70 - Zachary Hansen, Yuliya Lierler:
SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic. 71-87 - Robin De Vogelaere, Kylian Van Dessel, Joost Vennekens:
A Practical Approach to Handling Tabular Data in Logic. 88-103 - Bryant Hargreaves, Dan N. Nguyen, Keegan Krimbell, Gopal Gupta:
Automated Playing of Survival Video Games with Commonsense Reasoning. 104-112 - Lars-Åke Fredlund, Ángel Herranz, Julio Mariño:
Checking Concurrency Coding Rules. 113-129 - Yan Yan, Junru Li, Fangzhou Liu, Zerong Wang, Zhizheng Zhang:
A Weighted Bipolar Argumentation Framework and Its ASP-Based Implementation. 130-145 - Ignacio Ballesteros, Luis Eduardo Bueso de Barrio, Julio Mariño:
Haskell Based Spreadsheets. 146-162 - Paul Tarau:
Leveraging LLM Reasoning with Dual Horn Programs. 163-178 - Daniela Inclezan, Hunter Lockwood, Anita Baral, Jitendra Sharma, Pratiksha Shrestha:
ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia. 179-195 - Kento Takyu, Kazunori Ueda:
Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut Elimination. 196-214 - Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta:
C3G: Causally Constrained Counterfactual Generation. 215-232 - Fang Li, Fei Zuo, Gopal Gupta:
Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach. 233-247
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-07 00:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
