IRIS
TROQUARD, NICOLAS
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.358
NA - Nord America 2.226
AS - Asia 2.086
SA - Sud America 284
Continente sconosciuto - Info sul continente non disponibili 106
AF - Africa 52
OC - Oceania 1
Totale 9.113
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 3.398
US - Stati Uniti d'America 2.126
SG - Singapore 728
CN - Cina 567
IT - Italia 547
VN - Vietnam 266
BR - Brasile 205
HK - Hong Kong 162
FR - Francia 93
GB - Regno Unito 67
TR - Turchia 65
KR - Corea 62
CA - Canada 49
DE - Germania 48
IN - India 47
NL - Olanda 38
BD - Bangladesh 37
IQ - Iraq 34
MX - Messico 34
UA - Ucraina 27
AR - Argentina 26
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
ID - Indonesia 10
VE - Venezuela 10
AT - Austria 9
CO - Colombia 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
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
SC - Seychelles 1
SN - Senegal 1
SR - Suriname 1
TG - Togo 1
TH - Thailandia 1
Totale 9.007
Salva come PNG Salva come JPEG
Città #
Moscow 823
Council Bluffs 469
Rome 363
Singapore 350
Ashburn 328
San Jose 269
Hong Kong 159
Boardman 133
The Dalles 126
Chicago 96
Ho Chi Minh City 89
New York 82
Beijing 81
Shanghai 72
Lauterbourg 69
Hanoi 66
Milan 60
Los Angeles 57
Hefei 56
Seoul 56
Dallas 51
Istanbul 50
Santa Clara 41
Amsterdam 37
São Paulo 37
Orem 30
Montreal 25
L’Aquila 24
Stockholm 23
Denver 20
Poplar 20
Tokyo 20
Warsaw 20
Kyiv 18
Munich 18
Atlanta 16
Brooklyn 16
Johannesburg 16
Da Nang 15
Baghdad 14
Haiphong 14
Manchester 14
Chennai 13
Buenos Aires 12
Mexico City 12
Padua 12
Boston 11
Guangzhou 11
Houston 11
Rio de Janeiro 10
Helsinki 9
Phoenix 9
Shenzhen 9
Ankara 8
Brno 7
New Delhi 7
Querétaro 7
Reading 7
Santiago 7
Turku 7
Hải Dương 6
London 6
San Francisco 6
Thái Nguyên 6
Toronto 6
Wuxi 6
Xi'an 6
Amman 5
Bishkek 5
Charlotte 5
Dongguan 5
Erbil 5
Lahore 5
Mumbai 5
Philadelphia 5
Riyadh 5
Belo Horizonte 4
Bismarck 4
Bolzano 4
Buffalo 4
Caracas 4
Dhaka 4
Frankfurt am Main 4
Guayaquil 4
Kingston 4
Nairobi 4
Newark 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
Totale 4.690
Salva come PNG Salva come JPEG
Nome #
Knowledge Engineering and Knowledge Management: 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings 162
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks 160
A formal theory for conceptualizing artefacts and tool manipulations 154
A resource-sensitive logic of agency 149
A Semantic Approach to Decidability in Epistemic Planning 148
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 144
EKAW-C 2022: Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022 143
Embedding alternating-time temporal logic in strategic STIT logic of agency 141
Alternative axiomatics and complexity of deliberative STIT theories 138
A Logic of Games and Propositional Control 137
Almost Certain Termination for ALC Weakening 134
A dynamic logic of normative systems 133
A normal simulation of coalition logic and an epistemic extension 133
A logic of propositional control for truthful implementations 127
A Semantic Approach to Decidability in Epistemic Planning 126
Dynamic logic of propositional assignments: A well-behaved variant of PDL 125
Reasoning about coalitional agency and ability in the logics of "bringing-it-about" 124
A toothful of concepts: Towards a theory of weighted concept combination 123
Succinctness and Complexity of ALC with Counting Perceptrons 115
Non-normal modalities in variants of Linear Logic 115
A resource-sensitive account of the use of artifacts 115
Grounding power on actions and mental attitudes 115
Rich Coalitional Resource Games 114
Knowing how to play: Uniform choices in logics of agency 113
Non-Normal Modal Description Logics 113
Building an ontology of computational complexity 112
Synthesis of Resource-Aware Controllers Against Rational Agents 111
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention 111
Two Approaches to Ontology Aggregation Based on Axiom Weakening 110
Rational Synthesis in the Commons with Careless and Careful Agents 109
What groups do, can do, and know they can do: An analysis in normal modal logics 108
An Ontological Modelling of Prototype Theories 107
Logical Operators for Ontological Modeling 106
Making Axiom Weakening Work in SROIQ 106
Action Theories 106
Perceptron Connectives in Knowledge Representation 106
Tracking and managing deemed abilities 105
Perceptron Operators That Count 104
Knowledge and control 104
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract) 104
IA, la grande méchante? 104
From Coalition Logic to STIT 104
Resource separation in dynamic logic of propositional assignments 104
Weighted Description Logic for Classification Problems 104
Individual resource games and resource redistributions 104
Learning and Practice of the Property Specification Language 103
A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers 103
Nash equilibria and their elimination in resource games 101
On Representing Humans' Soft-Ethics Preferences As Dispositions 101
Reasoning About Social Choice Functions 101
Asymmetric Hybrids: Dialogues for Computational Concept Combination 100
On Knowledge Dependence in Weighted Description Logic 100
Careful Autonomous Agents in Environments With Multiple Common Resources 100
A Dynamic Logic of Institutional Actions 100
On Help and Interpersonal Control 100
Resource Separation in Dynamic Logic of Propositional Assignments 99
Pink panthers and toothless tigers: three problems in classification 97
Coalition games over Kripke semantics: expressiveness and complexity 97
Repairing Ontologies via Axiom Weakening 97
The complexity of rational synthesis for concurrent games 96
Concept Combination in Weighted Logic 95
In a Nutshell: Perceptron Connectives in Knowledge Representation 94
The mouse and the ball: Towards a cognitively-based and ontologically-grounded logic of agency 94
Modeling manufacturing resources: An ontological approach 93
A simple logic of tool manipulation 93
Towards Knowledge-driven Distillation and Explanation of Black-box Models 91
A computationally grounded dynamic logic of agency, with an application to legal actions 90
Learning Ontologies with Epistemic Reasoning: The EL Case 89
Propositional Dynamic Logic 89
Alternating-time dynamic logic 89
Rational verification in iterated electric boolean bames 88
Coalitional Agency and Evidence-Based Ability 88
Towards even more irresistible axiom weakening 87
Three Traditions in the Logic of Action: Bringing them Together 85
Modelling and Mining Knowledge About Computational Complexity 85
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog 82
Improving the accuracy of black-box language models with ontologies: A preliminary roadmap 82
A STIT-extension of ATL 76
Reasoning about choice 74
Model Checking Strategic Equilibria 70
Delegation and mental states 68
On satisfiability in ATL with strategy contexts 66
Towards an ontology of agency and action : From STIT to OntoSTIT+ 64
Towards a logic of agency and actions with duration 64
Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring 62
Operationalising Normative Rules in Autonomous Robotic Systems Through Context-Oriented Programming 52
Individual ethics and dispositions in the digital world 44
Verifying Quantized Graph Neural Networks is PSPACE-complete 34
Totale 9.113
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.180
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 33.180
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/2027316 250 66 0 0 0 0 0 0 0 0 0 0
Totale 9.113