.- On Bridging Prolog and Python to Enhance an Inductive Logic Program-ming System.
.- Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System.
.- The Scenic Route to Deforestation.
.- MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Em-bedded DSLs.
.- SM-based Semantics for Answer Set Programs Containing Conditional Lit-erals and Arithmetic.
.- A practical approach to handling tabular data in logic.
.- Automated Playing of Survival Video Games with Commonsense Reasoning.
.- Checking Concurrency Coding Rules.
.- A Weighted Bipolar Argumentation Framework and its ASP-based Imple-mentation.
.- Haskell Based Spreadsheets.
.- Leveraging LLM Reasoning with Dual Horn Programs.
.- ASP for Language Documentation and Reclamation: A Derivational Stem-ming Tool for Myaamia.
.- Enhancing a Hierarchical Graph Rewriting Language based on MELL CutElimination.
.- C3G: Causally Constrained Counterfactual Generation.
.- Exploring Answer Set Programming for Provenance Graph-Based CyberThreat Detection: A Novel Approach.
