TROQUARD, NICOLAS
TROQUARD, NICOLAS
A computationally grounded dynamic logic of agency, with an application to legal actions
2012-01-01 Herzig, A; De Lima, T; Lorini, E; Troquard, N
A Dynamic Logic of Institutional Actions
2011-01-01 Herzig, A; Lorini, E; Troquard, N
A dynamic logic of normative systems
2011-01-01 Herzig, A; Lorini, E; Moisan, F; Troquard, N
A formal theory for conceptualizing artefacts and tool manipulations
2014-01-01 Troquard, N
A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers
2022-01-01 Righetti, G; Kutz, O; Porello, D; Troquard, Nicolas; N,
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks
2024-01-01 Nunn, Pierre; Sälzer, Marco; Schwarzentruber, François; Troquard, Nicolas
A Logic of Games and Propositional Control
2009-01-01 Troquard, N; van der Hoek, W; Wooldridge, M
A logic of propositional control for truthful implementations
2009-01-01 Troquard, N; van der Hoek, W; Wooldridge, M
A normal simulation of coalition logic and an epistemic extension
2007-01-01 Broersen, J; Herzig, A; Troquard, N
A resource-sensitive account of the use of artifacts
2014-01-01 Porello, D; Troquard, N
A resource-sensitive logic of agency
2014-01-01 Porello, D; Troquard, N
A Semantic Approach to Decidability in Epistemic Planning
2023-01-01 Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas
A Semantic Approach to Decidability in Epistemic Planning
2023-01-01 Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas
A simple logic of tool manipulation
2013-01-01 Troquard, N
A STIT-extension of ATL
2006-01-01 Broersen, J; Herzig, A; Troquard, N
A toothful of concepts: Towards a theory of weighted concept combination
2019-01-01 Porello, D; Kutz, O; Righetti, G; Troquard, N; Galliani, P; Masolo, C
Action Theories
2018-01-01 Herzig, A; Lorini, E; Troquard, N
Almost Certain Termination for ALC Weakening
2022-01-01 Confalonieri, R; Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N
Alternating-time dynamic logic
2010-01-01 Troquard, N; Walther, D
Alternative axiomatics and complexity of deliberative STIT theories
2008-01-01 Balbiani, P; Herzig, A; Troquard, N
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A computationally grounded dynamic logic of agency, with an application to legal actions | 1-gen-2012 | Herzig, A; De Lima, T; Lorini, E; Troquard, N | |
| A Dynamic Logic of Institutional Actions | 1-gen-2011 | Herzig, A; Lorini, E; Troquard, N | |
| A dynamic logic of normative systems | 1-gen-2011 | Herzig, A; Lorini, E; Moisan, F; Troquard, N | |
| A formal theory for conceptualizing artefacts and tool manipulations | 1-gen-2014 | Troquard, N | |
| A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers | 1-gen-2022 | Righetti, G; Kutz, O; Porello, D; Troquard, Nicolas; N, | |
| A Logic for Reasoning about Aggregate-Combine Graph Neural Networks | 1-gen-2024 | Nunn, Pierre; Sälzer, Marco; Schwarzentruber, François; Troquard, Nicolas | |
| A Logic of Games and Propositional Control | 1-gen-2009 | Troquard, N; van der Hoek, W; Wooldridge, M | |
| A logic of propositional control for truthful implementations | 1-gen-2009 | Troquard, N; van der Hoek, W; Wooldridge, M | |
| A normal simulation of coalition logic and an epistemic extension | 1-gen-2007 | Broersen, J; Herzig, A; Troquard, N | |
| A resource-sensitive account of the use of artifacts | 1-gen-2014 | Porello, D; Troquard, N | |
| A resource-sensitive logic of agency | 1-gen-2014 | Porello, D; Troquard, N | |
| A Semantic Approach to Decidability in Epistemic Planning | 1-gen-2023 | Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas | |
| A Semantic Approach to Decidability in Epistemic Planning | 1-gen-2023 | Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas | |
| A simple logic of tool manipulation | 1-gen-2013 | Troquard, N | |
| A STIT-extension of ATL | 1-gen-2006 | Broersen, J; Herzig, A; Troquard, N | |
| A toothful of concepts: Towards a theory of weighted concept combination | 1-gen-2019 | Porello, D; Kutz, O; Righetti, G; Troquard, N; Galliani, P; Masolo, C | |
| Action Theories | 1-gen-2018 | Herzig, A; Lorini, E; Troquard, N | |
| Almost Certain Termination for ALC Weakening | 1-gen-2022 | Confalonieri, R; Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N | |
| Alternating-time dynamic logic | 1-gen-2010 | Troquard, N; Walther, D | |
| Alternative axiomatics and complexity of deliberative STIT theories | 1-gen-2008 | Balbiani, P; Herzig, A; Troquard, N |