IRIS
TROQUARD, NICOLAS
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.341
AS - Asia 2.078
NA - Nord America 1.936
SA - Sud America 284
AF - Africa 51
OC - Oceania 1
Totale 8.691
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 3.398
US - Stati Uniti d'America 1.841
SG - Singapore 727
CN - Cina 565
IT - Italia 534
VN - Vietnam 266
BR - Brasile 205
HK - Hong Kong 162
FR - Francia 93
GB - Regno Unito 67
TR - Turchia 65
KR - Corea 59
IN - India 47
CA - Canada 46
DE - Germania 46
NL - Olanda 38
BD - Bangladesh 35
IQ - Iraq 34
MX - Messico 34
AR - Argentina 26
UA - Ucraina 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
KG - Kirghizistan 5
SA - Arabia Saudita 5
UZ - Uzbekistan 5
JM - Giamaica 4
KZ - Kazakistan 4
NP - Nepal 4
PT - Portogallo 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
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.691
Salva come PNG Salva come JPEG
Città #
Moscow 823
Rome 361
Singapore 349
Ashburn 326
San Jose 267
Council Bluffs 222
Hong Kong 159
Boardman 131
The Dalles 125
Chicago 96
Ho Chi Minh City 89
New York 82
Beijing 81
Shanghai 72
Lauterbourg 69
Hanoi 66
Milan 59
Hefei 56
Los Angeles 56
Seoul 56
Dallas 50
Istanbul 50
Santa Clara 38
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 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
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
Dongguan 5
Erbil 5
Lahore 5
Mumbai 5
Riyadh 5
Belo Horizonte 4
Bismarck 4
Bolzano 4
Buffalo 4
Caracas 4
Charlotte 4
Dhaka 4
Frankfurt am Main 4
Guayaquil 4
Nairobi 4
Ninh Bình 4
Nuremberg 4
Paris 4
Philadelphia 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
Dubai 3
Totale 4.421
Salva come PNG Salva come JPEG
Nome #
Knowledge Engineering and Knowledge Management: 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings 161
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks 156
A formal theory for conceptualizing artefacts and tool manipulations 151
A resource-sensitive logic of agency 147
A Semantic Approach to Decidability in Epistemic Planning 145
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 141
Embedding alternating-time temporal logic in strategic STIT logic of agency 137
EKAW-C 2022: Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022 137
Alternative axiomatics and complexity of deliberative STIT theories 136
A Logic of Games and Propositional Control 134
Almost Certain Termination for ALC Weakening 131
A dynamic logic of normative systems 130
A normal simulation of coalition logic and an epistemic extension 129
A logic of propositional control for truthful implementations 124
Reasoning about coalitional agency and ability in the logics of "bringing-it-about" 122
A Semantic Approach to Decidability in Epistemic Planning 122
Dynamic logic of propositional assignments: A well-behaved variant of PDL 122
A toothful of concepts: Towards a theory of weighted concept combination 120
Succinctness and Complexity of ALC with Counting Perceptrons 113
Non-normal modalities in variants of Linear Logic 112
Grounding power on actions and mental attitudes 112
Rich Coalitional Resource Games 111
A resource-sensitive account of the use of artifacts 111
Knowing how to play: Uniform choices in logics of agency 110
Non-Normal Modal Description Logics 110
Two Approaches to Ontology Aggregation Based on Axiom Weakening 109
Synthesis of Resource-Aware Controllers Against Rational Agents 108
Building an ontology of computational complexity 108
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention 108
Rational Synthesis in the Commons with Careless and Careful Agents 106
What groups do, can do, and know they can do: An analysis in normal modal logics 105
An Ontological Modelling of Prototype Theories 104
Logical Operators for Ontological Modeling 103
Making Axiom Weakening Work in SROIQ 103
Perceptron Connectives in Knowledge Representation 102
Tracking and managing deemed abilities 102
Action Theories 101
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract) 101
Resource separation in dynamic logic of propositional assignments 101
Individual resource games and resource redistributions 101
Learning and Practice of the Property Specification Language 100
Knowledge and control 100
IA, la grande méchante? 100
From Coalition Logic to STIT 100
Perceptron Operators That Count 99
Careful Autonomous Agents in Environments With Multiple Common Resources 99
Weighted Description Logic for Classification Problems 99
A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers 98
On Knowledge Dependence in Weighted Description Logic 98
Reasoning About Social Choice Functions 98
Nash equilibria and their elimination in resource games 97
Asymmetric Hybrids: Dialogues for Computational Concept Combination 97
On Representing Humans' Soft-Ethics Preferences As Dispositions 97
A Dynamic Logic of Institutional Actions 96
On Help and Interpersonal Control 96
Resource Separation in Dynamic Logic of Propositional Assignments 95
Pink panthers and toothless tigers: three problems in classification 94
Coalition games over Kripke semantics: expressiveness and complexity 94
Repairing Ontologies via Axiom Weakening 94
The mouse and the ball: Towards a cognitively-based and ontologically-grounded logic of agency 92
Concept Combination in Weighted Logic 91
In a Nutshell: Perceptron Connectives in Knowledge Representation 90
Modeling manufacturing resources: An ontological approach 90
The complexity of rational synthesis for concurrent games 90
A simple logic of tool manipulation 89
A computationally grounded dynamic logic of agency, with an application to legal actions 88
Towards Knowledge-driven Distillation and Explanation of Black-box Models 88
Propositional Dynamic Logic 86
Learning Ontologies with Epistemic Reasoning: The EL Case 85
Rational verification in iterated electric boolean bames 85
Towards even more irresistible axiom weakening 84
Alternating-time dynamic logic 84
Coalitional Agency and Evidence-Based Ability 83
Three Traditions in the Logic of Action: Bringing them Together 82
Modelling and Mining Knowledge About Computational Complexity 80
Improving the accuracy of black-box language models with ontologies: A preliminary roadmap 79
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog 78
A STIT-extension of ATL 73
Reasoning about choice 69
Model Checking Strategic Equilibria 68
Delegation and mental states 66
Towards a logic of agency and actions with duration 62
On satisfiability in ATL with strategy contexts 61
Towards an ontology of agency and action : From STIT to OntoSTIT+ 59
Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring 57
Individual ethics and dispositions in the digital world 38
Operationalising Normative Rules in Autonomous Robotic Systems Through Context-Oriented Programming 34
Verifying Quantized Graph Neural Networks is PSPACE-complete 29
Totale 8.797
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.337
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 31.337
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
Totale 8.797