Publications

Show all

2007

Trypuz, Robert; Lorini, Emiliano; Vieu, Laure

Solving Bratman's video game puzzle in two formalisms Inproceedings

Arrazola, X; Larrazabal, J M (Ed.): ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07), pp. 411–426, 2007.

Abstract | Links | BibTeX | Tagi: applied ontology, knowledge representation, OntoSTIT+

Trypuz, Robert

Formal Ontology of Action: a unifying approach PhD Thesis

Universit`a degli Studi di Trento, ICT International Doctorate School, 2007.

Abstract | Links | BibTeX | Tagi: applied ontology, knowledge representation, ontology of action, ontology of agency, OntoSTIT+

Trypuz, Robert; Vieu, Laure

An Ontology of the Aspectual Classes of Actions Inproceedings

Arrazola, X; Larrazabal, J M (Ed.): ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07), pp. 393–409, 2007.

Abstract | Links | BibTeX | Tagi: applied ontology, Aspectual Classes of Actions, knowledge representation, ontology of action, OntoSTIT+

2006

Troquard, Nicolas; Trypuz, Robert; Vieu, Laure

Towards an ontology of agency and action: From STIT to OntoSTIT+ Inproceedings

Bennett, B; Fellbaum, C (Ed.): Proceedings of the Fourth International Conference FOIS 2006, Baltimore, Maryland (USA), November 9-11, pp. 179–190, IOS Press, 2006.

Abstract | Links | BibTeX | Tagi: applied ontology, ontology action, ontology of agency, OntoSTIT+