TROQUARD, NICOLAS

TROQUARD, NICOLAS  

Mostra records
Risultati 1 - 20 di 55 (tempo di esecuzione: 0.019 secondi).
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 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
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention 1-gen-2024 Troquard, Nicolas