 Unit Testing in ASP Revisited: Language and Test-Driven Development
EnvironmentTheory and Practice of Logic Programming (TPLP), 2024 |
 Unifying Framework for Optimizations in non-boolean FormalismsTheory and Practice of Logic Programming (TPLP), 2022 |
 An Abstract View on Optimizations in Propositional FrameworksAnnals of Mathematics and Artificial Intelligence (AMAI), 2022 |
 Constraint Answer Set Programming: Integrational and Translational (or
SMT-based) ApproachesTheory and Practice of Logic Programming (TPLP), 2021 |
 Manipulation of Articulated Objects using Dual-arm Robots via Answer Set
ProgrammingTheory and Practice of Logic Programming (TPLP), 2020 |
