Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Nicolas Troquard

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers

Conférences sans actes publiés / Conference papers without published proceedings
  • Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard. Trois traditions en logiques d'action: vers une unification. Dans : Sixièmes Journées de l'Intelligence artificielle / Artificial Intelligence Fondamentale (JIAF 2012), Toulouse, 22/05/2012-24/05/2012.
    BibTeX

  • Andreas Herzig, Nicolas Troquard. Dynamic languages of propositional control for protocol specification. Dans : Workshop "Logics in Security" at ESSLLI 2010, Copenhague, 09/08/2010-13/08/2010, Dov Gabbay, Leendert van der Torre (Eds.).
    Résumé
    BibTeX

  • Nicolas Troquard. Some clarifications in logics of agency. Dans : 12th ESSLLI Student Session, Dublin, Ireland, 16/08/2007-17/08/2007, Ville Nurmi, Dmitry Sustretov (Eds.).
    BibTeX

  • Nicolas Troquard, Robert Trypuz, Laure Vieu. Ontology of Agency, from modal logics to first-order theories. Dans : Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 01/09/2006-04/09/2006.
    BibTeX

  • Andreas Herzig, Emiliano Lorini, Nicolas Troquard, Robert Trypuz. The hidden faces of Intention: using STIT to discover them. Dans : Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 01/09/2006-04/09/2006.
    BibTeX

  • Nicolas Troquard. Logical modeling of interaction. Dans : Doctorial Consortium of the Tenth International Conference on Knowledge Representation and Reasoning (KR'06), Lake District, England. UK, 01/06/2006.
    BibTeX

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses