SM-based Semantics for Answer Set Programs Containing Conditional Literals and ArithmeticInternational Symposium on Practical Aspects of Declarative Languages (PADL), 2025 |
Optimising Dynamic Traffic Distribution for Urban Networks with Answer
Set ProgrammingTheory and Practice of Logic Programming (TPLP), 2024 |