Torsten Schaub
where else to find them
github:tortinator
linkedin:torsten-schaub-1b51681b
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Mutsunori Banbaraonce
- Naoyuki Tamuraonce
- Raito Takeuchionce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| ASP: Theory, Practice, and Beyond | Satisfiability: Theory, Practice, and Beyond 2023 | 2023-04-17 |
Answer Set Programming is a rule‑based modeling language with a grounding+solving pipeline (Gringo→Clingo) that enforces stable model semantics via the logic… | ||
| Solving Vehicle Equipment Specification Problems with Answer Set Programming | PADL 2023 | 2023-01-16 |
System named aspcafe converts OVF instances into ASP facts and solves mono- and multi-objective CAFE problems using clingo and asprin. Basic encoding models… | ||
| nothing matches | ||