La dynamique des croyances
(The Dynamics of Belief)
Habilitation à diriger des recherches
(Habilitation Thesis)
Herzig, Andreas
Contenu (Contents):
-
Synthèse des travaux (Summary)
-
PostScript file in French
(PostScript file in English)
-
I.
Raisonnement et incertitude (Reasoning and Uncertainty)
-
1. Ordering-based nonmonotonic reasoning.
-
II.
Mise-à-jour (Updates)
-
2. Logics for belief base updating.
-
III.
Actions (Actions)
-
3. Formalizing action and change
in modal logic I: the frame problem.
-
IV.
Fondements de la dépendance (Foundations of Dependence)
-
4. Belief change and dependence.
5. Qualitative relevance and independence: a roadmap.
-
V.
Démonstration automatique (Automated Theorem Proving)
-
6. Modal tableaux with
propagation rules and structural rules.
Bibtex-entry:
@Book{He-Habil99,
author = "Herzig, Andreas",
title = "La dynamique des croyances",
publisher = "Universit\'e Paul Sabatier",
year = 1999,
month = jan,
note = "Rapport d'habilitation"
}
https://www.irit.fr/~Andreas.Herzig