pith. sign in

Andreas Herzig

Identifiers

  • name variant Andreas Herzig 0.60 · backfill

Papers (8)

  1. Frame-validity games and lower bounds on the complexity of modal axioms cs.LO · 2018 · author #3
  2. Strategically knowing how cs.AI · 2017 · author #2
  3. Simple epistemic planning: generalised gossiping cs.AI · 2016 · author #2
  4. DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE cs.LO · 2014 · author #2
  5. Tableaux for Dynamic Logic of Propositional Assignments cs.LO · 2014 · author #2
  6. An Ordinal View of Independence with Application to Plausible Reasoning cs.AI · 2013 · author #3
  7. Alternative axiomatics and complexity of deliberative STIT theories cs.LO · 2007 · author #2
  8. Metatheory of actions: beyond consistency cs.AI · 2006 · author #1

Mentions

  • 1411.7825 #2 · backfill · confidence 0.70 Andreas Herzig
  • 1406.2161 #2 · backfill · confidence 0.70 Andreas Herzig
  • 1302.6803 #3 · backfill · confidence 0.70 Andreas Herzig
  • 0704.3238 #2 · backfill · confidence 0.70 Andreas Herzig

Frequent Coauthors