Partenaires
Accueil du site > Séminaires > Les anciens séminaires > A. Herzig (IRIT, CNRS) - The dynamic logic of propositional control
A. Herzig (IRIT, CNRS) - The dynamic logic of propositional control
Along the lines of Coalition Logic of Propositional Control (CLPC), we propose a dynamic logic of propositional control DLPC. It extends classical propositional logic by a variety of modal operators of assignment, and modal operators of transfer of control over a propositional variable. We also present an epistemic extension. We establish the relationship of these logics with the existing CLPC and with its extension by control transfer DCLPC. We study their complexity and their proof theory.
Dans la même rubrique :
- Les séminaires de janvier à mai 2007
- Les séminaires de 2006
- Les séminaires de 2005
- Les séminaires de 2004
- Les séminaires de 2003
- Les séminaires de 2002
- Les séminaires de 2001
- T. de Lima (CRIL, Universtié d’Artois) - Le problème du décor en logique modale
- Philippe Besnard (IRIT CNRS) - La formalisation de l’argumentation se réduirait à la théorie des graphes ?
- Ulrich Junker (ILOG) - Explications et Préférences pour l’Analyse des Règles de Metier
- Elise Bonzon (IRIT) - Modélisation des interactions entre agents rationnels : les jeux booléens
- Vincent Dubois - Espaces de versions et ensembles approximatifs : présentation des espaces de version approximatifs
- Mohand Ou Idir Khnemmoudj (LIPN - Paris 13) - Contributions à la résolution de CSP, Max-CSP et WCSP
- David Mercier (LGI2A - Bethune) - Fusion de décisions postales dans le cadre du modèle des croyances transférables
- Farid Nouioua (LIPN - Paris 13) - Quelle est la cause de l’accident ? : une approche non monotone à base de normes
- Didier Dubois (IRIT) - Incertitude en représentation des connaissances et raisonnement.
- Salem Benferhat - Interventions et dynamique des croyances dans les réseaux causaux
- Thanh Ha Dang (LIP6 - Paris 6) - Induction d’arbres de décision flous en présence de données imparfaites
- Ramon Pino Pérez (Mérida - Venezuela) - Opérateurs de Confluence
- Roger Nkambou (Montréal) - Fouille de données éducationnelles : un tour d’horizon avec le tuteur intelligent CanadarmTutor