TROQUARD, NICOLAS
TROQUARD, NICOLAS
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 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 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 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
Almost Certain Termination for ALC Weakening
2022-01-01 Confalonieri, R; Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N
Alternative axiomatics and complexity of deliberative STIT theories
2008-01-01 Balbiani, P; Herzig, A; Troquard, N
An Ontological Modelling of Prototype Theories
2023-01-01 Porello, Daniele; Righetti, Guendalina; Troquard, Nicolas; Confalonieri, Roberto; Kutz, Oliver
Asymmetric Hybrids: Dialogues for Computational Concept Combination
2021-01-01 Righetti, G; Porello, D; Troquard, N; Kutz, O; Hedblom, Mm; Galliani, P
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract)
2022-01-01 Righetti, G; Porello, D; Troquard, N; Kutz, O; Hedblom, Mm; Galliani, P
Careful Autonomous Agents in Environments With Multiple Common Resources
2022-01-01 Condurache, R; Dima, C; Jitaru, M; Oualhadj, Y; Troquard, N
Concept Combination in Weighted Logic
2021-01-01 Righetti, G; Masolo, C; Troquard, N; Kutz, O; Porello, D
Dynamic logic of propositional assignments: A well-behaved variant of PDL
2013-01-01 Balbiani, P; Herzig, A; Troquard, N
EKAW-C 2022: Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022
2022-01-01 Symeonidou, D; Yu, R; Ceolin, D; Poveda-Villalón, M; Audrito, D; Di Caro, L; Grasso, F; Nai, R; Sulis, E; Ekaputra, Fj; Kutz, O; Troquard, N
Embedding alternating-time temporal logic in strategic STIT logic of agency
2006-01-01 Broersen, J; Herzig, A; Troquard, N
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 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 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 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 | |
| Almost Certain Termination for ALC Weakening | 1-gen-2022 | Confalonieri, R; Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N | |
| Alternative axiomatics and complexity of deliberative STIT theories | 1-gen-2008 | Balbiani, P; Herzig, A; Troquard, N | |
| An Ontological Modelling of Prototype Theories | 1-gen-2023 | Porello, Daniele; Righetti, Guendalina; Troquard, Nicolas; Confalonieri, Roberto; Kutz, Oliver | |
| Asymmetric Hybrids: Dialogues for Computational Concept Combination | 1-gen-2021 | Righetti, G; Porello, D; Troquard, N; Kutz, O; Hedblom, Mm; Galliani, P | |
| Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract) | 1-gen-2022 | Righetti, G; Porello, D; Troquard, N; Kutz, O; Hedblom, Mm; Galliani, P | |
| Careful Autonomous Agents in Environments With Multiple Common Resources | 1-gen-2022 | Condurache, R; Dima, C; Jitaru, M; Oualhadj, Y; Troquard, N | |
| Concept Combination in Weighted Logic | 1-gen-2021 | Righetti, G; Masolo, C; Troquard, N; Kutz, O; Porello, D | |
| Dynamic logic of propositional assignments: A well-behaved variant of PDL | 1-gen-2013 | Balbiani, P; Herzig, A; Troquard, N | |
| EKAW-C 2022: Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022 | 1-gen-2022 | Symeonidou, D; Yu, R; Ceolin, D; Poveda-Villalón, M; Audrito, D; Di Caro, L; Grasso, F; Nai, R; Sulis, E; Ekaputra, Fj; Kutz, O; Troquard, N | |
| Embedding alternating-time temporal logic in strategic STIT logic of agency | 1-gen-2006 | Broersen, J; Herzig, A; Troquard, N |