Troquard, Nicolas
Troquard, Nicolas
Istituto di Scienze e Tecnologie della Cognizione - ISTC - Sede Secondaria Trento
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.009 secondi).
Three Traditions in the Logic of Action: Bringing them Together
2014 Herzig, Andreas; de Lima, Tiago; Lorini, Emiliano; Troquard, Nicolas
Learning and Practice of the Property Specification Language
2011 Troquard, Nicolas; Troquard, Nicolas
Towards a logic of agency and actions with duration
2006 Troquard, N; Vieu, L
Towards an ontology of agency and action. From STIT to OntoSTIT+
2006 Troquard N.; Trypuz R.; Vieu L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Three Traditions in the Logic of Action: Bringing them Together | 1-gen-2014 | Herzig, Andreas; de Lima, Tiago; Lorini, Emiliano; Troquard, Nicolas | |
| Learning and Practice of the Property Specification Language | 1-gen-2011 | Troquard, Nicolas; Troquard, Nicolas | |
| Towards a logic of agency and actions with duration | 1-gen-2006 | Troquard, N; Vieu, L | |
| Towards an ontology of agency and action. From STIT to OntoSTIT+ | 1-gen-2006 | Troquard N.; Trypuz R.; Vieu L. |