IRIS
TROQUARD, NICOLAS
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.838
AS - Asia 1.393
NA - Nord America 1.004
SA - Sud America 177
AF - Africa 21
OC - Oceania 1
Totale 4.434
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 1.473
US - Stati Uniti d'America 942
SG - Singapore 516
CN - Cina 452
BR - Brasile 142
HK - Hong Kong 135
IT - Italia 107
TR - Turchia 62
KR - Corea 57
VN - Vietnam 49
DE - Germania 43
GB - Regno Unito 37
CA - Canada 34
NL - Olanda 34
IN - India 25
UA - Ucraina 22
MX - Messico 21
PL - Polonia 20
AR - Argentina 18
IQ - Iraq 18
SE - Svezia 18
FR - Francia 17
JP - Giappone 16
ES - Italia 14
BD - Bangladesh 13
FI - Finlandia 13
ZA - Sudafrica 12
PK - Pakistan 11
AT - Austria 8
CZ - Repubblica Ceca 6
ID - Indonesia 6
AE - Emirati Arabi Uniti 5
IL - Israele 5
VE - Venezuela 5
EC - Ecuador 4
JO - Giordania 4
TN - Tunisia 4
AL - Albania 3
CL - Cile 3
IE - Irlanda 3
KG - Kirghizistan 3
MA - Marocco 3
PT - Portogallo 3
SA - Arabia Saudita 3
BE - Belgio 2
EE - Estonia 2
JM - Giamaica 2
KE - Kenya 2
LB - Libano 2
LT - Lituania 2
LV - Lettonia 2
PY - Paraguay 2
SK - Slovacchia (Repubblica Slovacca) 2
UZ - Uzbekistan 2
AD - Andorra 1
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BO - Bolivia 1
CH - Svizzera 1
CR - Costa Rica 1
GE - Georgia 1
HN - Honduras 1
HU - Ungheria 1
KH - Cambogia 1
KZ - Kazakistan 1
MK - Macedonia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
RS - Serbia 1
SR - Suriname 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 4.434
Salva come PNG Salva come JPEG
Città #
Moscow 410
Singapore 248
Ashburn 169
Hong Kong 135
Boardman 130
The Dalles 125
Shanghai 72
Beijing 68
Hefei 56
Milan 56
Seoul 56
Istanbul 50
Los Angeles 50
Dallas 49
New York 37
Amsterdam 34
São Paulo 25
Ho Chi Minh City 24
Santa Clara 24
Montreal 19
Munich 18
Poplar 18
Stockholm 18
Kyiv 17
Warsaw 16
Atlanta 15
Denver 15
Brooklyn 14
L’Aquila 14
Tokyo 14
Buenos Aires 11
Guangzhou 11
Orem 11
Boston 9
Chicago 9
Hanoi 9
Johannesburg 9
Shenzhen 9
Ankara 8
Helsinki 8
Mexico City 8
Chennai 7
Houston 7
Querétaro 7
Baghdad 6
Brno 6
Manchester 6
Phoenix 6
San Francisco 6
Wuxi 6
Xi'an 6
Rio de Janeiro 5
Toronto 5
Turku 5
Bismarck 4
Bolzano 4
Dongguan 4
Lahore 4
London 4
Nuremberg 4
Porto Alegre 4
Quanzhou 4
Amman 3
Baie-D'Urfé 3
Belo Horizonte 3
Bishkek 3
Brasília 3
Charlotte 3
Da Nang 3
Dhaka 3
Dublin 3
Erbil 3
Jerusalem 3
Mumbai 3
Pune 3
Riyadh 3
San Jose 3
Santa Fe 3
Seattle 3
São José do Rio Preto 3
Buffalo 2
Cajamar 2
Calgary 2
Caracas 2
Detroit 2
Dubai 2
Feira de Santana 2
Fortaleza 2
Foshan 2
Frankfurt am Main 2
Guarulhos 2
Haiphong 2
Harrisburg 2
Helena 2
Huzhou 2
Itaboraí 2
Jaipur 2
Jiaxing 2
Jinhua 2
Karachi 2
Totale 2.302
Salva come PNG Salva come JPEG
Nome #
Knowledge Engineering and Knowledge Management: 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings 94
A resource-sensitive logic of agency 91
EKAW-C 2022: Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022 87
Alternative axiomatics and complexity of deliberative STIT theories 82
A dynamic logic of normative systems 80
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 80
A Semantic Approach to Decidability in Epistemic Planning 80
Almost Certain Termination for ALC Weakening 80
A normal simulation of coalition logic and an epistemic extension 79
A formal theory for conceptualizing artefacts and tool manipulations 78
A Logic of Games and Propositional Control 76
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks 75
A logic of propositional control for truthful implementations 75
A Semantic Approach to Decidability in Epistemic Planning 71
A toothful of concepts: Towards a theory of weighted concept combination 67
A resource-sensitive account of the use of artifacts 65
Embedding alternating-time temporal logic in strategic STIT logic of agency 64
An Ontological Modelling of Prototype Theories 64
Succinctness and Complexity of ALC with Counting Perceptrons 62
Dynamic logic of propositional assignments: A well-behaved variant of PDL 62
Grounding power on actions and mental attitudes 62
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention 62
Rich Coalitional Resource Games 61
Non-Normal Modal Description Logics 61
Repairing Ontologies via Axiom Weakening 61
Perceptron Operators That Count 60
Knowing how to play: Uniform choices in logics of agency 60
Synthesis of Resource-Aware Controllers Against Rational Agents 60
Reasoning about coalitional agency and ability in the logics of "bringing-it-about" 60
On Knowledge Dependence in Weighted Description Logic 59
Individual resource games and resource redistributions 59
Making Axiom Weakening Work in SROIQ 58
Pink panthers and toothless tigers: three problems in classification 57
Concept Combination in Weighted Logic 57
Two Approaches to Ontology Aggregation Based on Axiom Weakening 57
Tracking and managing deemed abilities 56
The complexity of rational synthesis for concurrent games 56
Asymmetric Hybrids: Dialogues for Computational Concept Combination 55
Careful Autonomous Agents in Environments With Multiple Common Resources 55
Modeling manufacturing resources: An ontological approach 55
Knowledge and control 54
Resource Separation in Dynamic Logic of Propositional Assignments 54
Towards even more irresistible axiom weakening 54
Perceptron Connectives in Knowledge Representation 54
Reasoning About Social Choice Functions 54
Nash equilibria and their elimination in resource games 53
Non-normal modalities in variants of Linear Logic 53
Rational Synthesis in the Commons with Careless and Careful Agents 53
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract) 52
Learning Ontologies with Epistemic Reasoning: The EL Case 52
What groups do, can do, and know they can do: An analysis in normal modal logics 51
From Coalition Logic to STIT 51
Weighted Description Logic for Classification Problems 51
Logical Operators for Ontological Modeling 50
Resource separation in dynamic logic of propositional assignments 50
Towards Knowledge-driven Distillation and Explanation of Black-box Models 49
Learning and Practice of the Property Specification Language 47
A Dynamic Logic of Institutional Actions 47
The mouse and the ball: Towards a cognitively-based and ontologically-grounded logic of agency 47
A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers 45
A computationally grounded dynamic logic of agency, with an application to legal actions 44
A simple logic of tool manipulation 44
Action Theories 43
On Representing Humans' Soft-Ethics Preferences As Dispositions 43
Coalition games over Kripke semantics: expressiveness and complexity 42
Coalitional Agency and Evidence-Based Ability 41
Alternating-time dynamic logic 41
In a Nutshell: Perceptron Connectives in Knowledge Representation 39
On Help and Interpersonal Control 38
Building an ontology of computational complexity 37
Propositional Dynamic Logic 37
Improving the accuracy of black-box language models with ontologies: A preliminary roadmap 36
Three Traditions in the Logic of Action: Bringing them Together 35
IA, la grande méchante? 34
A STIT-extension of ATL 34
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog 32
Rational verification in iterated electric boolean bames 32
Modelling and Mining Knowledge About Computational Complexity 32
Delegation and mental states 27
Model Checking Strategic Equilibria 27
Reasoning about choice 27
On satisfiability in ATL with strategy contexts 23
Towards a logic of agency and actions with duration 22
Towards an ontology of agency and action : From STIT to OntoSTIT+ 21
Totale 4.535
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.745
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 22.745
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/20263.180 320 231 119 593 531 1.386 0 0 0 0 0 0
Totale 4.535