IRIS
TROQUARD, NICOLAS
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 203
NA - Nord America 176
EU - Europa 97
Totale 476
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 176
SG - Singapore 104
CN - Cina 99
IT - Italia 69
DE - Germania 16
CZ - Repubblica Ceca 6
FI - Finlandia 2
FR - Francia 2
AT - Austria 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 476
Salva come PNG Salva come JPEG
Città #
Boardman 130
Singapore 81
Milan 55
Shanghai 16
L’Aquila 12
Santa Clara 11
Guangzhou 9
Brno 6
Munich 6
Shenzhen 6
Xi'an 5
Dongguan 4
Beijing 3
Nuremberg 3
Quanzhou 3
Wuxi 3
Helsinki 2
Jinhua 2
Kitzingen 2
Dongyang 1
Foshan 1
Haining 1
Huzhou 1
Jiaxing 1
Košice 1
Nanjing 1
Ningbo 1
Oakland 1
Paris 1
Saarbrücken 1
Taizhou 1
Vienna 1
Wuhan 1
Totale 373
Salva come PNG Salva come JPEG
Nome #
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning 20
EKAW-C 2022: Companion Proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, Bozen-Bolzano, Italy, September 26-29, 2022 18
Knowledge Engineering and Knowledge Management: 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings 17
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention 17
A formal theory for conceptualizing artefacts and tool manipulations 14
Dynamic logic of propositional assignments: A well-behaved variant of PDL 13
A normal simulation of coalition logic and an epistemic extension 13
Alternative axiomatics and complexity of deliberative STIT theories 13
A dynamic logic of normative systems 12
An Ontological Modelling of Prototype Theories 12
A Semantic Approach to Decidability in Epistemic Planning 12
Two Approaches to Ontology Aggregation Based on Axiom Weakening 12
Individual resource games and resource redistributions 12
Resource Separation in Dynamic Logic of Propositional Assignments 11
Concept Combination in Weighted Logic 11
A logic of propositional control for truthful implementations 10
A Logic of Games and Propositional Control 10
Towards even more irresistible axiom weakening 10
A resource-sensitive logic of agency 10
Tracking and managing deemed abilities 10
Grounding power on actions and mental attitudes 10
Almost Certain Termination for ALC Weakening 10
Embedding alternating-time temporal logic in strategic STIT logic of agency 9
Non-normal modalities in variants of Linear Logic 9
Logical Operators for Ontological Modeling 9
Careful Autonomous Agents in Environments With Multiple Common Resources 9
A toothful of concepts: Towards a theory of weighted concept combination 9
Modeling manufacturing resources: An ontological approach 9
What groups do, can do, and know they can do: An analysis in normal modal logics 9
Non-Normal Modal Description Logics 9
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract) 9
From Coalition Logic to STIT 9
Asymmetric Hybrids: Dialogues for Computational Concept Combination 8
Succinctness and Complexity of ALC with Counting Perceptrons 8
Knowledge and control 8
Reasoning about coalitional agency and ability in the logics of "bringing-it-about" 8
Making Axiom Weakening Work in SROIQ 8
Pink panthers and toothless tigers: three problems in classification 8
Repairing Ontologies via Axiom Weakening 8
Weighted Description Logic for Classification Problems 8
Nash equilibria and their elimination in resource games 7
Perceptron Operators That Count 7
A Semantic Approach to Decidability in Epistemic Planning 7
On Knowledge Dependence in Weighted Description Logic 7
Towards Knowledge-driven Distillation and Explanation of Black-box Models 7
Learning Ontologies with Epistemic Reasoning: The EL Case 7
Rational Synthesis in the Commons with Careless and Careful Agents 7
Perceptron Connectives in Knowledge Representation 7
The mouse and the ball: Towards a cognitively-based and ontologically-grounded logic of agency 7
The complexity of rational synthesis for concurrent games 7
Reasoning About Social Choice Functions 7
Knowing how to play: Uniform choices in logics of agency 6
Rich Coalitional Resource Games 6
Synthesis of Resource-Aware Controllers Against Rational Agents 6
Resource separation in dynamic logic of propositional assignments 6
Totale 532
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.941
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 3.941
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/2025413 13 120 280 0 0 0 0 0 0 0 0 0
Totale 532