Travelled to:1 × Austria
1 × Canada
1 × Italy
1 × The Netherlands
3 × USA
Collaborated with:∅ L.F.d.Cerro D.Longin P.Balbiani H.J.Ohlbach S.Doutre L.Perrussel N.Troquard R.Echahed B.Gaudou P.Bieber D.Fauthoux O.Gasquet F.Massacci
Talks about:logic (6) dynam (4) modal (3) proposit (2) revisit (2) belief (2) assign (2) termgraph (1) framework (1) techniqu (1)
Person: Andreas Herzig
DBLP: Herzig:Andreas
Contributed to:
2014
2013
201020062004
20011996
19901988Wrote 11 papers:
- KR-2014-DoutreHP #framework #logic
- A Dynamic Logic Framework for Abstract Argumentation (SD, AH, LP).
- KR-2014-Herzig #logic
- Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (AH).
- LICS-2013-BalbianiHT #logic
- Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (PB, AH, NT), pp. 143–152.
- ICGT-2010-BalbianiEH #graph grammar #logic
- A Dynamic Logic for Termgraph Rewriting (PB, RE, AH), pp. 59–74.
- KR-2006-GaudouHL
- Grounding and the Expression of Belief (BG, AH, DL), pp. 221–229.
- KR-2004-HerzigL #revisited
- C&L Intention Revisited (AH, DL), pp. 527–535.
- IJCAR-2001-CerroFGHLM #logic #proving
- Lotrec : The Generic Tableau Prover for Modal and Description Logics (LFdC, DF, OG, AH, DL, FM), pp. 453–458.
- KR-1996-Herzig #revisited
- The PMA Revisited (AH), pp. 40–50.
- CADE-1990-OhlbachH #compilation #logic #tutorial
- Tutorial on Compilation techniques for Logics (HJO, AH), p. 683.
- CADE-1988-BieberCH #named #prolog
- MOLOG: a Modal PROLOG (PB, LFdC, AH), pp. 762–763.
- CADE-1988-CerroH #deduction #linear
- Linear Modal Deductions (LFdC, AH), pp. 487–499.