Andreas Herzig
Identifiers
- name variant Andreas Herzig 0.60 · backfill
Papers (8)
- Frame-validity games and lower bounds on the complexity of modal axioms cs.LO · 2018 · author #3
- Strategically knowing how cs.AI · 2017 · author #2
- Simple epistemic planning: generalised gossiping cs.AI · 2016 · author #2
- DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE cs.LO · 2014 · author #2
- Tableaux for Dynamic Logic of Propositional Assignments cs.LO · 2014 · author #2
- An Ordinal View of Independence with Application to Plausible Reasoning cs.AI · 2013 · author #3
- Alternative axiomatics and complexity of deliberative STIT theories cs.LO · 2007 · author #2
- Metatheory of actions: beyond consistency cs.AI · 2006 · author #1
Mentions
Frequent Coauthors
- Philippe Balbiani 3 shared papers
- Nicolas Troquard 2 shared papers
- David Fern\'andez-Duque 1 shared papers
- Didier Dubois 1 shared papers
- Faustine Maffre 1 shared papers
- Fran\c{c}ois Schwarzentruber 1 shared papers
- Fr\'ed\'eric Maris 1 shared papers
- Henri Prade 1 shared papers
- Ivan Varzinczak 1 shared papers
- Luis Farinas del Cerro 1 shared papers
- Martin C. Cooper 1 shared papers
- Petar Iliev 1 shared papers
- Pierre R\'egnier 1 shared papers
- Raul Fervari 1 shared papers
- Tiago de Lima 1 shared papers
- Yanjing Wang 1 shared papers
- Yanjun Li 1 shared papers