IRIS
TROQUARD, NICOLAS
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 343
NA - Nord America 210
EU - Europa 150
AF - Africa 1
OC - Oceania 1
Totale 705
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 209
CN - Cina 182
SG - Singapore 105
IT - Italia 75
TR - Turchia 48
NL - Olanda 30
DE - Germania 18
CZ - Repubblica Ceca 6
FI - Finlandia 3
FR - Francia 3
PL - Polonia 3
BD - Bangladesh 2
KG - Kirghizistan 2
PT - Portogallo 2
SK - Slovacchia (Repubblica Slovacca) 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
AT - Austria 1
AZ - Azerbaigian 1
CA - Canada 1
EE - Estonia 1
GB - Regno Unito 1
HU - Ungheria 1
IE - Irlanda 1
LV - Lettonia 1
MA - Marocco 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
RU - Federazione Russa 1
UA - Ucraina 1
Totale 705
Salva come PNG Salva come JPEG
Città #
Boardman 130
Singapore 82
Shanghai 72
Milan 55
Istanbul 48
Amsterdam 30
L’Aquila 13
Guangzhou 11
Santa Clara 11
Los Angeles 10
Shenzhen 9
Brno 6
Munich 6
Wuxi 6
Xi'an 6
Dongguan 4
Quanzhou 4
Beijing 3
Helsinki 3
Nuremberg 3
Bishkek 2
Dhaka 2
Foshan 2
Huzhou 2
Jiaxing 2
Jinhua 2
Kitzingen 2
Auckland 1
Baku 1
Bratislava 1
Dongyang 1
Dubai 1
Dublin 1
Falkenstein 1
Haining 1
Hangzhou 1
Islamabad 1
Košice 1
Lisbon 1
Nanjing 1
Newark 1
Ningbo 1
Oakland 1
Paris 1
Rabat 1
Riga 1
Rome 1
Saarbrücken 1
Sopron 1
Taizhou 1
Tallinn 1
Vienna 1
Wuhan 1
Yerevan 1
Totale 553
Salva come PNG Salva come JPEG
Nome #
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 28
EKAW-C 2022: Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022 22
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention 21
Knowledge Engineering and Knowledge Management: 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings 20
An Ontological Modelling of Prototype Theories 18
A dynamic logic of normative systems 17
A formal theory for conceptualizing artefacts and tool manipulations 17
A logic of propositional control for truthful implementations 17
Dynamic logic of propositional assignments: A well-behaved variant of PDL 17
A normal simulation of coalition logic and an epistemic extension 16
Alternative axiomatics and complexity of deliberative STIT theories 16
Two Approaches to Ontology Aggregation Based on Axiom Weakening 16
Individual resource games and resource redistributions 16
Concept Combination in Weighted Logic 15
A Semantic Approach to Decidability in Epistemic Planning 15
Succinctness and Complexity of ALC with Counting Perceptrons 14
A Logic of Games and Propositional Control 14
Resource Separation in Dynamic Logic of Propositional Assignments 14
Grounding power on actions and mental attitudes 14
Almost Certain Termination for ALC Weakening 14
Embedding alternating-time temporal logic in strategic STIT logic of agency 13
Nash equilibria and their elimination in resource games 13
Perceptron Operators That Count 13
Logical Operators for Ontological Modeling 13
Knowledge and control 13
On Knowledge Dependence in Weighted Description Logic 13
Careful Autonomous Agents in Environments With Multiple Common Resources 13
A toothful of concepts: Towards a theory of weighted concept combination 13
What groups do, can do, and know they can do: An analysis in normal modal logics 13
Non-Normal Modal Description Logics 13
Towards even more irresistible axiom weakening 13
A resource-sensitive logic of agency 13
Repairing Ontologies via Axiom Weakening 13
Tracking and managing deemed abilities 13
Asymmetric Hybrids: Dialogues for Computational Concept Combination 12
Rich Coalitional Resource Games 12
Reasoning about coalitional agency and ability in the logics of "bringing-it-about" 12
Modeling manufacturing resources: An ontological approach 12
Pink panthers and toothless tigers: three problems in classification 12
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract) 12
Weighted Description Logic for Classification Problems 12
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks 11
Knowing how to play: Uniform choices in logics of agency 11
Non-normal modalities in variants of Linear Logic 11
A Semantic Approach to Decidability in Epistemic Planning 11
Making Axiom Weakening Work in SROIQ 11
Towards Knowledge-driven Distillation and Explanation of Black-box Models 11
Rational Synthesis in the Commons with Careless and Careful Agents 11
Perceptron Connectives in Knowledge Representation 11
From Coalition Logic to STIT 11
The complexity of rational synthesis for concurrent games 11
Reasoning About Social Choice Functions 11
Synthesis of Resource-Aware Controllers Against Rational Agents 10
The mouse and the ball: Towards a cognitively-based and ontologically-grounded logic of agency 10
Learning Ontologies with Epistemic Reasoning: The EL Case 9
Resource separation in dynamic logic of propositional assignments 9
Totale 766
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.931
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 5.931
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/2025647 13 120 280 69 92 73 0 0 0 0 0 0
Totale 766