IRIS
TROQUARD, NICOLAS
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.282
AS - Asia 2.011
NA - Nord America 1.582
SA - Sud America 284
AF - Africa 51
OC - Oceania 1
Totale 8.211
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 3.398
US - Stati Uniti d'America 1.495
SG - Singapore 703
CN - Cina 539
IT - Italia 484
VN - Vietnam 266
BR - Brasile 205
HK - Hong Kong 161
FR - Francia 92
TR - Turchia 65
GB - Regno Unito 62
KR - Corea 58
DE - Germania 46
IN - India 46
CA - Canada 42
NL - Olanda 37
IQ - Iraq 34
MX - Messico 33
AR - Argentina 26
UA - Ucraina 26
BD - Bangladesh 25
PL - Polonia 24
ZA - Sudafrica 24
JP - Giappone 23
SE - Svezia 23
ES - Italia 20
FI - Finlandia 17
PK - Pakistan 16
EC - Ecuador 11
CL - Cile 10
VE - Venezuela 10
AT - Austria 9
CO - Colombia 9
ID - Indonesia 8
IL - Israele 8
CZ - Repubblica Ceca 7
IE - Irlanda 7
JO - Giordania 7
TN - Tunisia 7
AE - Emirati Arabi Uniti 6
KE - Kenya 6
MA - Marocco 6
PY - Paraguay 6
KG - Kirghizistan 5
SA - Arabia Saudita 5
UZ - Uzbekistan 5
KZ - Kazakistan 4
PT - Portogallo 4
AL - Albania 3
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
EG - Egitto 3
JM - Giamaica 3
LB - Libano 3
LT - Lituania 3
MY - Malesia 3
PH - Filippine 3
BE - Belgio 2
BO - Bolivia 2
DZ - Algeria 2
EE - Estonia 2
GE - Georgia 2
HN - Honduras 2
LV - Lettonia 2
NP - Nepal 2
OM - Oman 2
PA - Panama 2
PE - Perù 2
RO - Romania 2
SK - Slovacchia (Repubblica Slovacca) 2
SY - Repubblica araba siriana 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
AD - Andorra 1
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
BB - Barbados 1
BG - Bulgaria 1
CH - Svizzera 1
CR - Costa Rica 1
CY - Cipro 1
HU - Ungheria 1
KH - Cambogia 1
LK - Sri Lanka 1
MD - Moldavia 1
MK - Macedonia 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
PR - Porto Rico 1
PS - Palestinian Territory 1
RS - Serbia 1
SN - Senegal 1
SR - Suriname 1
TG - Togo 1
TH - Thailandia 1
Totale 8.211
Salva come PNG Salva come JPEG
Città #
Moscow 823
Rome 353
Singapore 347
Ashburn 311
San Jose 226
Hong Kong 158
Boardman 131
The Dalles 125
Chicago 94
Ho Chi Minh City 89
Beijing 78
Shanghai 72
Lauterbourg 69
Hanoi 66
Milan 57
Hefei 56
Seoul 56
Los Angeles 54
New York 53
Dallas 50
Istanbul 50
Amsterdam 37
São Paulo 37
Orem 29
Santa Clara 29
Montreal 23
Stockholm 23
Denver 20
Poplar 20
Tokyo 20
Warsaw 20
Kyiv 18
Munich 18
L’Aquila 17
Atlanta 16
Brooklyn 16
Johannesburg 16
Da Nang 15
Baghdad 14
Haiphong 14
Manchester 14
Chennai 13
Buenos Aires 12
Boston 11
Guangzhou 11
Mexico City 11
Houston 10
Rio de Janeiro 10
Helsinki 9
Shenzhen 9
Ankara 8
Phoenix 8
Brno 7
New Delhi 7
Querétaro 7
Reading 7
Santiago 7
Turku 7
Council Bluffs 6
Hải Dương 6
London 6
San Francisco 6
Thái Nguyên 6
Wuxi 6
Xi'an 6
Amman 5
Bishkek 5
Erbil 5
Lahore 5
Mumbai 5
Riyadh 5
Toronto 5
Belo Horizonte 4
Bismarck 4
Bolzano 4
Caracas 4
Dhaka 4
Dongguan 4
Frankfurt am Main 4
Guayaquil 4
Nairobi 4
Ninh Bình 4
Nuremberg 4
Paris 4
Porto Alegre 4
Pune 4
Quanzhou 4
Seattle 4
Tashkent 4
Augusta 3
Baie-D'Urfé 3
Baku 3
Brasília 3
Bến Tre 3
Cali 3
Charlotte 3
Dubai 3
Dublin 3
Jerusalem 3
Karachi 3
Totale 4.066
Salva come PNG Salva come JPEG
Nome #
Knowledge Engineering and Knowledge Management: 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings 155
A resource-sensitive logic of agency 143
A formal theory for conceptualizing artefacts and tool manipulations 139
Embedding alternating-time temporal logic in strategic STIT logic of agency 135
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks 134
Alternative axiomatics and complexity of deliberative STIT theories 134
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 133
EKAW-C 2022: Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022 132
A Semantic Approach to Decidability in Epistemic Planning 128
A dynamic logic of normative systems 126
A Logic of Games and Propositional Control 125
Almost Certain Termination for ALC Weakening 125
A logic of propositional control for truthful implementations 121
A Semantic Approach to Decidability in Epistemic Planning 121
Reasoning about coalitional agency and ability in the logics of "bringing-it-about" 117
Dynamic logic of propositional assignments: A well-behaved variant of PDL 117
A normal simulation of coalition logic and an epistemic extension 117
A toothful of concepts: Towards a theory of weighted concept combination 116
Rich Coalitional Resource Games 108
A resource-sensitive account of the use of artifacts 108
Grounding power on actions and mental attitudes 108
Non-normal modalities in variants of Linear Logic 107
Non-Normal Modal Description Logics 107
Knowing how to play: Uniform choices in logics of agency 106
Succinctness and Complexity of ALC with Counting Perceptrons 105
Synthesis of Resource-Aware Controllers Against Rational Agents 105
Two Approaches to Ontology Aggregation Based on Axiom Weakening 104
An Ontological Modelling of Prototype Theories 103
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention 103
What groups do, can do, and know they can do: An analysis in normal modal logics 102
Rational Synthesis in the Commons with Careless and Careful Agents 100
Individual resource games and resource redistributions 100
Learning and Practice of the Property Specification Language 98
Making Axiom Weakening Work in SROIQ 98
Resource separation in dynamic logic of propositional assignments 98
Tracking and managing deemed abilities 98
Perceptron Connectives in Knowledge Representation 97
Perceptron Operators That Count 96
Logical Operators for Ontological Modeling 96
Knowledge and control 96
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract) 96
From Coalition Logic to STIT 96
On Knowledge Dependence in Weighted Description Logic 95
Action Theories 95
Reasoning About Social Choice Functions 95
A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers 94
Careful Autonomous Agents in Environments With Multiple Common Resources 94
A Dynamic Logic of Institutional Actions 94
Weighted Description Logic for Classification Problems 94
Asymmetric Hybrids: Dialogues for Computational Concept Combination 93
IA, la grande méchante? 93
Nash equilibria and their elimination in resource games 92
Coalition games over Kripke semantics: expressiveness and complexity 92
On Help and Interpersonal Control 92
Resource Separation in Dynamic Logic of Propositional Assignments 91
Repairing Ontologies via Axiom Weakening 91
The mouse and the ball: Towards a cognitively-based and ontologically-grounded logic of agency 89
The complexity of rational synthesis for concurrent games 89
Pink panthers and toothless tigers: three problems in classification 88
On Representing Humans' Soft-Ethics Preferences As Dispositions 87
In a Nutshell: Perceptron Connectives in Knowledge Representation 86
A computationally grounded dynamic logic of agency, with an application to legal actions 85
Modeling manufacturing resources: An ontological approach 85
Concept Combination in Weighted Logic 85
A simple logic of tool manipulation 85
Towards Knowledge-driven Distillation and Explanation of Black-box Models 84
Propositional Dynamic Logic 83
Learning Ontologies with Epistemic Reasoning: The EL Case 82
Rational verification in iterated electric boolean bames 81
Towards even more irresistible axiom weakening 81
Coalitional Agency and Evidence-Based Ability 80
Alternating-time dynamic logic 80
Building an ontology of computational complexity 78
Three Traditions in the Logic of Action: Bringing them Together 78
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog 76
Improving the accuracy of black-box language models with ontologies: A preliminary roadmap 75
Modelling and Mining Knowledge About Computational Complexity 71
A STIT-extension of ATL 70
Reasoning about choice 66
Model Checking Strategic Equilibria 65
Delegation and mental states 63
On satisfiability in ATL with strategy contexts 58
Towards a logic of agency and actions with duration 58
Towards an ontology of agency and action : From STIT to OntoSTIT+ 56
Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring 44
Individual ethics and dispositions in the digital world 27
Verifying Quantized Graph Neural Networks is PSPACE-complete 22
Totale 8.315
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.402
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 28.402
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/2024119 0 0 0 0 0 0 0 0 0 0 90 29
2024/20251.236 13 120 280 69 92 73 127 71 6 131 160 94
2025/20266.960 320 231 119 593 531 3.555 502 191 741 177 0 0
Totale 8.315