Abstract is missing.
- On Bridging Prolog and Python to Enhance an Inductive Logic Programming SystemVítor Manuel de Morais Santos Costa, Miguel Areias 0001. 1-17 [doi]
- Type-Checking Heterogeneous Sequences in a Simple Embeddable Type SystemJim E. Newton. 18-34 [doi]
- The Scenic Route to Deforestation - An Exercise in Applying Parametricity in CurryVincent Robinson, Steven Libby. 35-52 [doi]
- MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLsFelipe Gorostiaga, Martín Ceresa, César Sánchez 0001. 53-70 [doi]
- SM-Based Semantics for Answer Set Programs Containing Conditional Literals and ArithmeticZachary Hansen, Yuliya Lierler. 71-87 [doi]
- A Practical Approach to Handling Tabular Data in LogicRobin De Vogelaere, Kylian Van Dessel, Joost Vennekens. 88-103 [doi]
- Automated Playing of Survival Video Games with Commonsense ReasoningBryant Hargreaves, Dan N. Nguyen, Keegan Krimbell, Gopal Gupta 0001. 104-112 [doi]
- Checking Concurrency Coding RulesLars-Åke Fredlund, Ángel Herranz, Julio Mariño. 113-129 [doi]
- A Weighted Bipolar Argumentation Framework and Its ASP-Based ImplementationYan Yan, Junru Li, Fangzhou Liu, Zerong Wang, Zhizheng Zhang 0002. 130-145 [doi]
- Haskell Based SpreadsheetsIgnacio Ballesteros, Luis Eduardo Bueso de Barrio, Julio Mariño. 146-162 [doi]
- Leveraging LLM Reasoning with Dual Horn ProgramsPaul Tarau. 163-178 [doi]
- ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for MyaamiaDaniela Inclezan, Hunter Lockwood, Anita Baral, Jitendra Sharma, Pratiksha Shrestha. 179-195 [doi]
- Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut EliminationKento Takyu, Kazunori Ueda. 196-214 [doi]
- C3G: Causally Constrained Counterfactual GenerationSopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta 0001. 215-232 [doi]
- Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel ApproachFang Li 0010, Fei Zuo, Gopal Gupta 0001. 233-247 [doi]