Seguir
Nicolas Troquard
Nicolas Troquard
Gran Sasso Science Institute - GSSI
Dirección de correo verificada de gssi.it - Página principal
Título
Citado por
Citado por
Año
Knowing how to play: uniform choices in logics of agency
A Herzig, N Troquard
5th international joint conference on Autonomous agents and multiagent …, 2006
1082006
Alternative axiomatics and complexity of deliberative STIT theories
P Balbiani, A Herzig, N Troquard
Journal of Philosophical Logic 37, 387-406, 2008
1062008
Dynamic logic of propositional assignments: a well-behaved variant of PDL
P Balbiani, A Herzig, N Troquard
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 143-152, 2013
932013
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
J Broersen, A Herzig, N Troquard
Journal of Logic and Computation 16 (5), 559-578, 2006
802006
A dynamic logic of normative systems
A Herzig, E Lorini, F Moisan, N Troquard
Twenty-Second International Joint Conference on Artificial Intelligence, 228-233, 2011
752011
Repairing ontologies via axiom weakening
N Troquard, R Confalonieri, P Galliani, R Penaloza, D Porello, O Kutz
Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018), 1981-1988, 2017
632017
From Coalition Logic to STIT
J Broersen, A Herzig, N Troquard
Electronic Notes in Theoretical Computer Science 157 (4), 23-35, 2006
572006
A normal simulation of coalition logic and an epistemic extension
J Broersen, A Herzig, N Troquard
Theoretical Aspects of Rationality and Knowledge (TARK XI), 91-101, 2007
562007
A STIT-extension of ATL
J Broersen, A Herzig, N Troquard
Logics in Artificial Intelligence, 69-81, 2006
502006
Knowledge and control
W van der Hoek, N Troquard, M Wooldridge
10th International Conference on Autonomous Agents and Multiagent Systems, 2011
432011
Reasoning about social choice functions
N Troquard, W van der Hoek, M Wooldridge
Journal of philosophical logic 40, 473-498, 2011
382011
A toothful of concepts: Towards a theory of weighted concept combination
D Porello, O Kutz, G Righetti, N Troquard, P Galliani, C Masolo
342019
What groups do, can do, and know they can do: an analysis in normal modal logics
J Broersen, A Herzig, N Troquard
Journal of Applied Non-Classical Logics 19 (3), 261-289, 2009
332009
Reasoning about coalitional agency and ability in the logics of “bringing-it-about”
N Troquard
Autonomous Agents and Multi-Agent Systems 28, 381-407, 2014
302014
Modeling manufacturing resources: An ontological approach
EM Sanfilippo, S Benavent, S Borgo, N Guarino, N Troquard, F Romero, ...
Product Lifecycle Management to Support Industry 4.0: 15th IFIP WG 5.1 …, 2018
252018
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE
P Balbiani, A Herzig, F Schwarzentruber, N Troquard
arXiv preprint arXiv:1411.7825, 2014
252014
Two approaches to ontology aggregation based on axiom weakening
D Porello, N Troquard, O Kutz, R Penaloza, R Confalonieri, P Galliani
27th International Joint Conference on Artificial Intelligence and 23rd …, 2018
242018
On knowledge dependence in weighted description logic
P Galliani, O Kutz, D Porello, G Righetti, N Troquard
GCAI 2019. Proceedings of the 5th Global Conference on Artificial …, 2019
232019
Propositional dynamic logic
N Troquard, P Balbiani
232007
Towards an ontology of agency and action From STIT to OntoSTIT+
N Troquard, R Trypuz, L Vieu
Proceeding of the 2006 conference on Formal Ontology in Information Systems …, 2006
232006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20