Nos partenaires

CNRS

Rechercher





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

Publications

Robert Trypuz

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.

 


Conférences et workshops internationaux / International conference papers

  • Robert Trypuz, Emiliano Lorini, Laure Vieu. Solving Bratman's video game puzzle in two formalisms. Dans : ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA 2007), Donostia (San Sebastian), 28/11/2007-30/11/2007, Xabier Arrazola, Jesus Mari Larrazabal (Eds.), University of the Basque Country Press, p. 411-426, novembre 2007.
    BibTeX

  • Robert Trypuz, Laure Vieu. An Ontology of the Aspectual Classes of Actions. Dans : ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA 2007), Donostia (San Sebastian), 28/11/2007-30/11/2007, Xabier Arrazola, Jesus Mari Larrazabal (Eds.), University of the Basque Country Press, p. 393-409, novembre 2007.
    BibTeX

  • Nicolas Troquard, Robert Trypuz, Laure Vieu. Towards an ontology of agency and action : From STIT to OntoSTIT+. Dans : International Conference on Formal Ontology in Information Systems (FOIS 2006), Baltimore, Maryland, USA, 09/11/2006-11/11/2006, Vol. 150, Brandon Bennett, Christiane Fellbaum (Eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, p. 179-190, novembre 2006 (Best paper award).
    Résumé Accès : https://www.irit.fr/ACTIVITES/LILaC/Pers/Troquard/PUBLICATIONS/PAPERS/TrTrVi06ontostit.pdf
    BibTeX

Conférences sans actes publiés / Conference papers without published proceedings
  • Robert Trypuz, Alessandro Oltramari, Laure Vieu. Ontology of actions and mental entities. Dans : Workshop on Concepts, Actions and Objects: Functional and Neural Perspectives (CAOs 2007), University of Trento, Center for Mind/Brain Sciences, Rovereto, Italy, 20/04/2007-22/04/2007.
    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