BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Herzig:Andreas

Contributed to:

KR 20142014
LICS 20132013
ICGT 20102010
KR 20062006
KR 20042004
IJCAR 20012001
KR 19961996
CADE 19901990
CADE 19881988

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.