publicações selecionadas Raisonnement automatique en logique modale et algorithmes d´unification Algorithmes d´unification pour des logiques modales
theses/dissertations advising Updating logical belief bases and minimal change Interaction rationnelle et évolution des croyances dans le dialogue: une logique basée sur la notion de topique An automatic tableaux-based prover for modal logics: implementation and study of strategies Emotions: from psychological theories to logical formalization and implementation in a BDI agent What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic Modèles logiques pour le raisonnement sur les actiosn Déduction automatique en logique multi-modale par traduction A logic for planning in partially observable environments Independent agents in branching time Semantical and pragmatical structures for the modelling of coherence in dialogues
