TROQUARD, NICOLAS
TROQUARD, NICOLAS
Istituto di Scienze e Tecnologie della Cognizione - ISTC
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.004 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. |