Publications

Publications de

Communications dans un congrès
  • 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/07-22/04/07.

    BibTeX

  • 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/07-30/11/07, 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/07-30/11/07, 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+ (regular paper)

    Dans : International Conference on Formal Ontology in Information Systems (FOIS 2006), Baltimore, Maryland, USA, 09/11/06-11/11/06, 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/publis/LILAC/TTV-FOIS06.pdf
    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/06-04/09/06.

    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/06-04/09/06.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par