Tomi Janhunen
where else to find them
no profile links on file
what they talk about
where they keep going back
- PADL2 editions2022–2023
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance ... | PADL 2023 | 2023-01-16 |
Defines miscoverage as the optimization objective for preventive maintenance, gives six concrete pruning constraints that identify prunable schedules (lagging… | ||
| Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo | PADL 2022 | 2022-01-17 |
Claims a practical pipeline that encodes main program plus any number of oracle modules under stable‑unstable semantics into a single disjunctive program… | ||
| nothing matches | ||