Publications of
Robert Trypuz, Alessandro Oltramari, Laure Vieu
Ontology of actions and mental entities
In : 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.
Robert Trypuz, Emiliano Lorini, Laure Vieu
Solving Bratman’s video game puzzle in two formalisms
In : 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, pp. 411-426, November 2007.
An Ontology of the Aspectual Classes of Actions
In : 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, pp. 393-409, November 2007.
Nicolas Troquard, Robert Trypuz, Laure Vieu
Towards an ontology of agency and action : From STIT to OntoSTIT+ (regular paper)
In : 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, pp. 179-190, November 2006 (Best paper award).
Abstract URL : https://www.irit.fr/publis/LILAC/TTV-FOIS06.pdf
BibTeXNicolas Troquard, Robert Trypuz, Laure Vieu
Ontology of Agency, from modal logics to first-order theories
In : Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 01/09/06-04/09/06.
Andreas Herzig, Emiliano Lorini, Nicolas Troquard, Robert Trypuz
The hidden faces of Intention: using STIT to discover them
In : Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 01/09/06-04/09/06.