IRIS
TROQUARD, NICOLAS
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.474
NA - Nord America 3.010
AS - Asia 2.105
SA - Sud America 285
Continente sconosciuto - Info sul continente non disponibili 106
AF - Africa 54
OC - Oceania 1
Totale 10.035
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 3.398
US - Stati Uniti d'America 2.907
SG - Singapore 738
IT - Italia 656
CN - Cina 567
VN - Vietnam 267
BR - Brasile 205
HK - Hong Kong 164
FR - Francia 94
GB - Regno Unito 67
TR - Turchia 65
KR - Corea 62
CA - Canada 52
DE - Germania 49
IN - India 47
BD - Bangladesh 40
NL - Olanda 39
IQ - Iraq 34
MX - Messico 34
UA - Ucraina 27
AR - Argentina 26
JP - Giappone 26
SE - Svezia 26
PL - Polonia 24
ZA - Sudafrica 24
ES - Italia 21
FI - Finlandia 17
PK - Pakistan 16
EC - Ecuador 11
CL - Cile 10
CO - Colombia 10
ID - Indonesia 10
VE - Venezuela 10
AT - Austria 9
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
JM - Giamaica 5
KG - Kirghizistan 5
PT - Portogallo 5
SA - Arabia Saudita 5
UZ - Uzbekistan 5
KZ - Kazakistan 4
NP - Nepal 4
AL - Albania 3
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
EG - Egitto 3
LB - Libano 3
LT - Lituania 3
MY - Malesia 3
PH - Filippine 3
SC - Seychelles 3
BE - Belgio 2
BO - Bolivia 2
DZ - Algeria 2
EE - Estonia 2
GE - Georgia 2
GT - Guatemala 2
HN - Honduras 2
LU - Lussemburgo 2
LV - Lettonia 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
BS - Bahamas 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 9.929
Salva come PNG Salva come JPEG
Città #
Moscow 823
Council Bluffs 760
San Jose 373
Rome 368
Singapore 351
Ashburn 341
Hong Kong 159
Boardman 133
The Dalles 127
New York 107
Chicago 96
Ho Chi Minh City 89
Beijing 81
Phoenix 81
Staranzano 79
Shanghai 72
Lauterbourg 69
Hanoi 67
Milan 62
Los Angeles 58
Hefei 56
Seoul 56
Dallas 52
Santa Clara 51
Istanbul 50
Amsterdam 37
Denver 37
São Paulo 37
Orem 30
Montreal 25
Tavernier 25
L’Aquila 24
Stockholm 23
Tokyo 23
Poplar 20
Warsaw 20
Kyiv 18
Munich 18
Atlanta 17
Houston 17
Brooklyn 16
Johannesburg 16
Da Nang 15
Baghdad 14
Haiphong 14
Manchester 14
Chennai 13
Boston 12
Buenos Aires 12
Mexico City 12
Padua 12
Corpus Christi 11
Guangzhou 11
Latrobe 11
Rio de Janeiro 10
Helsinki 9
Shenzhen 9
Ankara 8
Toronto 8
Brno 7
New Delhi 7
Querétaro 7
Reading 7
Santiago 7
Turku 7
Hải Dương 6
London 6
Princeton 6
San Francisco 6
Seattle 6
Thái Nguyên 6
Wuxi 6
Xi'an 6
Amman 5
Bishkek 5
Buffalo 5
Charlotte 5
Dongguan 5
Erbil 5
Frankfurt am Main 5
Lahore 5
Mumbai 5
Philadelphia 5
Riyadh 5
Belo Horizonte 4
Bismarck 4
Bolzano 4
Caracas 4
Dhaka 4
Guayaquil 4
Kingston 4
Nairobi 4
Newark 4
Ninh Bình 4
Nuremberg 4
Paris 4
Perugia 4
Port Charlotte 4
Porto Alegre 4
Pune 4
Totale 5.368
Salva come PNG Salva come JPEG
Nome #
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks 176
Knowledge Engineering and Knowledge Management: 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings 170
A formal theory for conceptualizing artefacts and tool manipulations 162
A resource-sensitive logic of agency 161
A Semantic Approach to Decidability in Epistemic Planning 160
Embedding alternating-time temporal logic in strategic STIT logic of agency 156
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 153
EKAW-C 2022: Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022 150
Alternative axiomatics and complexity of deliberative STIT theories 148
A Logic of Games and Propositional Control 147
A dynamic logic of normative systems 145
A normal simulation of coalition logic and an epistemic extension 145
Almost Certain Termination for ALC Weakening 144
A Semantic Approach to Decidability in Epistemic Planning 139
A logic of propositional control for truthful implementations 138
Dynamic logic of propositional assignments: A well-behaved variant of PDL 137
Reasoning about coalitional agency and ability in the logics of "bringing-it-about" 134
A toothful of concepts: Towards a theory of weighted concept combination 134
A resource-sensitive account of the use of artifacts 127
Rich Coalitional Resource Games 126
Non-normal modalities in variants of Linear Logic 125
Two Approaches to Ontology Aggregation Based on Axiom Weakening 124
Grounding power on actions and mental attitudes 123
Knowing how to play: Uniform choices in logics of agency 122
Succinctness and Complexity of ALC with Counting Perceptrons 122
Building an ontology of computational complexity 122
Synthesis of Resource-Aware Controllers Against Rational Agents 121
Non-Normal Modal Description Logics 121
Rational Synthesis in the Commons with Careless and Careful Agents 119
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention 119
Learning and Practice of the Property Specification Language 117
An Ontological Modelling of Prototype Theories 116
What groups do, can do, and know they can do: An analysis in normal modal logics 116
Action Theories 116
Knowledge and control 115
Making Axiom Weakening Work in SROIQ 115
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract) 115
Perceptron Connectives in Knowledge Representation 115
IA, la grande méchante? 115
Nash equilibria and their elimination in resource games 114
Perceptron Operators That Count 114
Logical Operators for Ontological Modeling 114
Resource separation in dynamic logic of propositional assignments 114
A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers 113
Weighted Description Logic for Classification Problems 113
Tracking and managing deemed abilities 113
Reasoning About Social Choice Functions 112
On Representing Humans' Soft-Ethics Preferences As Dispositions 111
From Coalition Logic to STIT 111
Individual resource games and resource redistributions 111
Asymmetric Hybrids: Dialogues for Computational Concept Combination 110
On Knowledge Dependence in Weighted Description Logic 110
A Dynamic Logic of Institutional Actions 110
On Help and Interpersonal Control 110
Resource Separation in Dynamic Logic of Propositional Assignments 109
Careful Autonomous Agents in Environments With Multiple Common Resources 108
Pink panthers and toothless tigers: three problems in classification 108
Repairing Ontologies via Axiom Weakening 108
Coalition games over Kripke semantics: expressiveness and complexity 107
The complexity of rational synthesis for concurrent games 106
In a Nutshell: Perceptron Connectives in Knowledge Representation 104
Concept Combination in Weighted Logic 104
A simple logic of tool manipulation 103
The mouse and the ball: Towards a cognitively-based and ontologically-grounded logic of agency 102
Towards Knowledge-driven Distillation and Explanation of Black-box Models 101
Alternating-time dynamic logic 101
Modelling and Mining Knowledge About Computational Complexity 101
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog 99
A computationally grounded dynamic logic of agency, with an application to legal actions 99
Modeling manufacturing resources: An ontological approach 99
Learning Ontologies with Epistemic Reasoning: The EL Case 99
Propositional Dynamic Logic 98
Towards even more irresistible axiom weakening 97
Coalitional Agency and Evidence-Based Ability 97
Rational verification in iterated electric boolean bames 96
Improving the accuracy of black-box language models with ontologies: A preliminary roadmap 94
Three Traditions in the Logic of Action: Bringing them Together 94
A STIT-extension of ATL 89
Reasoning about choice 83
Towards an ontology of agency and action : From STIT to OntoSTIT+ 81
Delegation and mental states 79
Model Checking Strategic Equilibria 79
Operationalising Normative Rules in Autonomous Robotic Systems Through Context-Oriented Programming 79
On satisfiability in ATL with strategy contexts 73
Towards a logic of agency and actions with duration 73
Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring 70
Individual ethics and dispositions in the digital world 54
Verifying Quantized Graph Neural Networks is PSPACE-complete 51
Totale 10.035
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.875
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 35.875
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/20267.442 320 231 119 593 531 3.555 502 191 741 217 193 249
2026/20271.238 250 335 414 239 0 0 0 0 0 0 0 0
Totale 10.035