Seguir
Nicolas Troquard
Nicolas Troquard
Gran Sasso Science Institute - GSSI
Email confirmado em gssi.it - Página inicial
Título
Citado por
Citado por
Ano
Knowing how to play: uniform choices in logics of agency
A Herzig, N Troquard
5th international joint conference on Autonomous agents and multiagent …, 2006
1152006
Alternative axiomatics and complexity of deliberative STIT theories
P Balbiani, A Herzig, N Troquard
Journal of Philosophical Logic 37, 387-406, 2008
1072008
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
972013
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
862006
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
812011
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
722017
From Coalition Logic to STIT
J Broersen, A Herzig, N Troquard
Electronic Notes in Theoretical Computer Science 157 (4), 23-35, 2006
612006
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
592007
A STIT-extension of ATL
J Broersen, A Herzig, N Troquard
Logics in Artificial Intelligence, 69-81, 2006
512006
Knowledge and control
W van der Hoek, N Troquard, M Wooldridge
10th International Conference on Autonomous Agents and Multiagent Systems, 2011
442011
A toothful of concepts: Towards a theory of weighted concept combination
D Porello, O Kutz, G Righetti, N Troquard, P Galliani, C Masolo
412019
Reasoning about social choice functions
N Troquard, W van der Hoek, M Wooldridge
Journal of philosophical logic 40, 473-498, 2011
412011
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
352009
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
312014
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
292018
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
262014
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
252019
Propositional dynamic logic
N Troquard, P Balbiani
252007
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
Perceptron connectives in knowledge representation
P Galliani, G Righetti, O Kutz, D Porello, N Troquard
Knowledge Engineering and Knowledge Management: 22nd International …, 2020
232020
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20