pith. sign in

Susana Hahn

Identifiers

  • name variant Susana Hahn 0.60 · backfill

Papers (2)

  1. Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics cs.LO · 2026 · author #2
  2. Meta-Programming for Linear-time Temporal Answer Set Programming cs.AI · 2026 · author #1

Mentions

  • 2605.30618 #2 · arxiv_oai · confidence 0.70 Susana Hahn
  • 2605.29965 #1 · arxiv_oai · confidence 0.70 Susana Hahn

Frequent Coauthors