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 |