TROQUARD, NICOLAS
TROQUARD, NICOLAS
Istituto di Scienze e Tecnologie della Cognizione - ISTC
A formal theory for conceptualizing artefacts and tool manipulations
2014 Troquard, Nicolas; Troquard, Nicolas
A resource-sensitive account of the use of artifacts
2014 Porello, Daniele; Troquard, Nicolas
Logical operators for ontological modeling
2014 Borgo, Stefano; Porello, Daniele; Troquard, Nicolas
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"
2014 Troquard; Nicolas
Three Traditions in the Logic of Action: Bringing them Together
2014 Herzig, Andreas; de Lima, Tiago; Lorini, Emiliano; Troquard, Nicolas
A simple logic of tool manipulation
2013 Troquard; Nicolas
Dynamic logic of propositional assignments: a well-behaved variant of PDL
2013 Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
Reasoning about choice
2013 Van Der Hoek, Wiebe; Troquard, Nicolas; Wooldridge, Michael J.
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
2012 Herzig, Andreas; de Lima, Tiago; Lorini, Emiliano; Troquard, Nicolas
Coalitional Agency and Evidence-Based Ability
2012 Troquard; Nicolas
On satisfiability in ATL with strategy contexts
2012 Troquard, Nicolas; Walther, Dirk
A dynamic logic of institutional actions
2011 Herzig, Andreas ; Lorini, Emiliano ; Troquard, Nicolas
Learning and Practice of the Property Specification Language
2011 Troquard, Nicolas; Troquard, Nicolas
A Normal Simulation of Coalition Logic and an Epistemic Extension
2007 Broersen; Jan;Herzig; Andreas;Troquard; Nicolas
Delegation and mental states
2007 Lorini, Emiliano; Troquard, Nicolas; Herzig, Andreas; Castelfranchi, Cristiano
Embedding alternating-time temporal logic in strategic STIT logic of agency
2006 Broersen, Jan; Herzig, Andreas; Troquard, Nicolas
From Coalition Logic to STIT
2006 Broersen, Jan; Herzig, Andreas; Troquard, Nicolas
Knowing How to Play: Uniform Choices in Logics of Agency
2006 Herzig; Andreas;Troquard; Nicolas
Ontology of Agency. From modal logics to first-order theories
2006 Troquard, N; Trypuz, R; Vieu, L
Towards a logic of agency and actions with duration
2006 Troquard, N; Vieu, L
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A formal theory for conceptualizing artefacts and tool manipulations | 1-gen-2014 | Troquard, Nicolas; Troquard, Nicolas | |
| A resource-sensitive account of the use of artifacts | 1-gen-2014 | Porello, Daniele; Troquard, Nicolas | |
| Logical operators for ontological modeling | 1-gen-2014 | Borgo, Stefano; Porello, Daniele; Troquard, Nicolas | |
| Reasoning about coalitional agency and ability in the logics of "bringing-it-about" | 1-gen-2014 | Troquard; Nicolas | |
| Three Traditions in the Logic of Action: Bringing them Together | 1-gen-2014 | Herzig, Andreas; de Lima, Tiago; Lorini, Emiliano; Troquard, Nicolas | |
| A simple logic of tool manipulation | 1-gen-2013 | Troquard; Nicolas | |
| Dynamic logic of propositional assignments: a well-behaved variant of PDL | 1-gen-2013 | Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas | |
| Reasoning about choice | 1-gen-2013 | Van Der Hoek, Wiebe; Troquard, Nicolas; Wooldridge, Michael J. | |
| A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions | 1-gen-2012 | Herzig, Andreas; de Lima, Tiago; Lorini, Emiliano; Troquard, Nicolas | |
| Coalitional Agency and Evidence-Based Ability | 1-gen-2012 | Troquard; Nicolas | |
| On satisfiability in ATL with strategy contexts | 1-gen-2012 | Troquard, Nicolas; Walther, Dirk | |
| A dynamic logic of institutional actions | 1-gen-2011 | Herzig, Andreas ; Lorini, Emiliano ; Troquard, Nicolas | |
| Learning and Practice of the Property Specification Language | 1-gen-2011 | Troquard, Nicolas; Troquard, Nicolas | |
| A Normal Simulation of Coalition Logic and an Epistemic Extension | 1-gen-2007 | Broersen; Jan;Herzig; Andreas;Troquard; Nicolas | |
| Delegation and mental states | 1-gen-2007 | Lorini, Emiliano; Troquard, Nicolas; Herzig, Andreas; Castelfranchi, Cristiano | |
| Embedding alternating-time temporal logic in strategic STIT logic of agency | 1-gen-2006 | Broersen, Jan; Herzig, Andreas; Troquard, Nicolas | |
| From Coalition Logic to STIT | 1-gen-2006 | Broersen, Jan; Herzig, Andreas; Troquard, Nicolas | |
| Knowing How to Play: Uniform Choices in Logics of Agency | 1-gen-2006 | Herzig; Andreas;Troquard; Nicolas | |
| Ontology of Agency. From modal logics to first-order theories | 1-gen-2006 | Troquard, N; Trypuz, R; Vieu, L | |
| Towards a logic of agency and actions with duration | 1-gen-2006 | Troquard, N; Vieu, L |