IRIS
GIORDANO, Laura
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.576
EU - Europa 5.870
AS - Asia 3.077
SA - Sud America 481
Continente sconosciuto - Info sul continente non disponibili 222
AF - Africa 89
OC - Oceania 3
Totale 16.318
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.398
RU - Federazione Russa 1.530
IE - Irlanda 1.252
SG - Singapore 993
CN - Cina 754
SE - Svezia 706
DE - Germania 617
HK - Hong Kong 535
IT - Italia 509
UA - Ucraina 487
VN - Vietnam 392
BR - Brasile 350
FI - Finlandia 280
FR - Francia 214
GB - Regno Unito 120
CA - Canada 89
IN - India 80
KR - Corea 78
AR - Argentina 61
BD - Bangladesh 46
TR - Turchia 35
IQ - Iraq 27
IR - Iran 27
BJ - Benin 26
JP - Giappone 24
MX - Messico 24
NL - Olanda 24
BE - Belgio 23
PL - Polonia 23
EC - Ecuador 20
EU - Europa 20
ID - Indonesia 20
ZA - Sudafrica 20
CR - Costa Rica 16
RO - Romania 16
AT - Austria 15
ES - Italia 15
CO - Colombia 13
VE - Venezuela 13
MA - Marocco 11
SA - Arabia Saudita 10
CL - Cile 9
PH - Filippine 9
JM - Giamaica 8
LT - Lituania 8
PK - Pakistan 8
TN - Tunisia 8
EG - Egitto 7
GP - Guadalupe 7
AE - Emirati Arabi Uniti 6
TH - Thailandia 6
CZ - Repubblica Ceca 5
GT - Guatemala 5
HN - Honduras 5
KE - Kenya 5
MD - Moldavia 5
PY - Paraguay 5
TT - Trinidad e Tobago 5
CW - ???statistics.table.value.countryCode.CW??? 4
NP - Nepal 4
PE - Perù 4
UY - Uruguay 4
UZ - Uzbekistan 4
BB - Barbados 3
DK - Danimarca 3
IL - Israele 3
JO - Giordania 3
KZ - Kazakistan 3
NI - Nicaragua 3
PR - Porto Rico 3
SI - Slovenia 3
AL - Albania 2
BA - Bosnia-Erzegovina 2
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
EE - Estonia 2
ET - Etiopia 2
HU - Ungheria 2
MY - Malesia 2
NZ - Nuova Zelanda 2
PS - Palestinian Territory 2
SV - El Salvador 2
AO - Angola 1
AU - Australia 1
AW - Aruba 1
AZ - Azerbaigian 1
BG - Bulgaria 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CG - Congo 1
CH - Svizzera 1
CY - Cipro 1
DM - Dominica 1
GD - Grenada 1
GH - Ghana 1
GY - Guiana 1
HT - Haiti 1
IS - Islanda 1
Totale 16.109
Salva come PNG Salva come JPEG
Città #
Dublin 1.250
Jacksonville 853
San Jose 810
Hong Kong 531
Singapore 427
Dearborn 406
Council Bluffs 391
Ashburn 347
Wilmington 305
Chandler 240
Beijing 218
Moscow 198
Lawrence 167
Princeton 167
Staranzano 160
Ann Arbor 156
Lauterbourg 156
Andover 138
Ho Chi Minh City 133
Los Angeles 122
Columbus 114
San Mateo 110
Buffalo 85
Dallas 82
Hanoi 80
Phoenix 72
Seoul 72
New York 59
Santa Clara 57
Houston 53
Bremen 41
Orem 41
Piemonte 38
Philadelphia 31
Woodbridge 31
Chicago 30
São Paulo 30
Nanjing 28
The Dalles 28
Redondo Beach 27
Cotonou 26
Fairfield 26
Norwalk 25
St Louis 25
Toronto 24
Turin 24
Brussels 23
Guangzhou 23
Hefei 23
Strasbourg 22
Warsaw 22
Boardman 21
Denver 21
Genoa 21
Haiphong 21
Tianjin 21
Tokyo 21
Brooklyn 20
Kunming 20
Helsinki 19
Milan 19
Montreal 18
Rio de Janeiro 18
Chennai 17
Seattle 17
Zanjan 16
Amsterdam 15
Boston 15
Horia 15
Frankfurt am Main 14
Johannesburg 14
London 14
Manchester 14
Nuremberg 14
Assago 12
Baghdad 12
Falkenstein 12
Ottawa 12
Shanghai 12
Shenzhen 12
Atlanta 11
Brasília 11
Da Nang 11
Livigno 11
San José 11
Torino 11
Grafing 10
North Bergen 10
Novara 10
Poplar 10
Hangzhou 9
Jinan 9
Kocaeli 9
Rome 9
Stockholm 9
Vienna 9
Hải Dương 8
Mumbai 8
Munich 8
San Francisco 8
Totale 9.216
Salva come PNG Salva come JPEG
Nome #
Modeling, verifying and reasoning about web services 206
Intelligenza Artificiale in ambito forense all’Università del Piemonte Orientale: supporto alle decisioni in ambito penale , rappresentazione della conoscenza e ragionamento nell’analisi forense. 167
Intelligenza Artificiale in Medicina presso il Dipartimento di Scienze e Innovazione Tecnologica dell’Università del Piemonte Orientale 166
A conditional logic for belief revision 154
Advances in the GINSENG project 144
A Multi-engine Theorem Prover for a Description Logic of Typicality 130
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014: Preface 130
Translating a modal language with embedded implication into Horn clauses logic 128
Reasoning about exceptions in ontologies: an approximation of the multipreference semantics 126
A conditional Logic for Iterated Belief Revision. 125
Extending ALC with the Power-Set Construct 123
A minimal model semantics for nonmonotonic reasoning 122
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. 122
Generalized stable models, truth maintenance and conflict resolution 121
A Framework for Modal Logic Programming 121
A multimodal logic to define modules in logic programming 121
Verifying Business Process Compliance by Reasoning about Actions 119
A Hybrid Approach to the Verification of Computer Interpretable Guidelines 119
A Modal Extension of Logic Programming 117
RAT-OWL: Reasoning with rational closure in description logics of typicality 117
An ASP approach for reasoning in a concept-Aware multipreferential lightweight DL 117
A MODAL RECONSTRUCTION OF BLOCKS AND MODULES IN LOGIC PROGRAMMING 115
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 115
A logical characterization for truth maintenance systems with dependency-directed backtracking 112
A modal extension of logic programming: Modularity, beliefs and hypothetical reasoning 112
A minimal model semantics for rational closure 112
Strengthening the rational closure for description logics: An overview 112
An abductive characterization of the TMS 110
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach 110
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology 110
ASP and ontologies for reasoning on business processes 110
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo 109
Business Processes Veri fication with Temporal Answer Set Programming 107
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps 107
Local definitions with static scope rules in logic programming 106
A temporal approach to the specification and verification of Interaction Protocols 106
Automatic Checking of the Correctness of Clinical Guidelines in GLARE 105
On a plausible concept-wise multipreference semantics and its relations with self-organising maps 105
Extending negation as failure by abduction: a 3-valued stable model semantics 103
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. 103
Business process verification with constraint temporal answer set programming 102
A language for handling hypothetical updates and inconsistency. 101
Reasoning in a rational extension of SROEL 100
ASP for reasoning about actions with an EL^bot knowledge base 100
A modal reconstruction of Rational Closure 98
A conditional constructive logic for access control and its sequent calculus 98
Reasoning about actions with temporal answer sets 98
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases 98
Defining variants of default logic: A modal approach 97
Adopting model checking techniques for clinical guidelines verification 97
Towards a Second Generation of Computer Interpretable Guidelines 97
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning 96
Achieving completeness in bounded model checking of action theories in ASP 96
Semantic characterization of rational closure: From propositional logic to description logics 96
Reasoning about applicable law in private international law in logic programming 96
Dealing with concurrent actions in modal action logic 95
User action representation and automated reasoning for the forensic analysis of mobile devices 95
On cumulative defaults logics 94
Business process compliance verification: combining Action Theories with CPNs 94
A constructive conditional logic for access control: a preliminary report 94
Enriched modeling and reasoning on business processes with ontologies and answer set programming 94
Conditional logic programming 93
Structured prolog: A language for structured logic programming 93
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality 92
Extending Horn clause logic with implication goals 92
Reasoning About Typicality in ALC and EL 92
A modal framework for structuring logic programs 92
Reasoning in a rational extension of SROEL(∏, x) 92
Towards a Rational Closure for Expressive Description Logics: The Case of SHIQ 92
A semantics for Eshghi and Kowalski’s abductive procedure 92
Non-classical logics for knowledge representation and reasoning 91
Towards a conditional interpretation of self organizing maps 91
Truth maintenance systems and belief revision 90
Belief Revision and the Ramsey Test: a Solution 90
Reasoning about exceptions in ontologies: A skeptical preferential approach (Extended Abstract) 90
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming 90
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic DL-Lite_core 89
Modeling, verifying and reasoning about web services 89
Applying AI model-checking techniques to clinical guidelines 89
Minimal models for rational closure in SHIQ 89
Reasoning about exceptions in ontologies: From the lexicographic closure to the skeptical closure 89
Weighted conditional E L knowledge bases with integer weights: An ASP approach 89
Ramification and causality in a modal action logic 88
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results. 88
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure 88
Negation as failure in intuitionistic logic programming 87
Verifying Agent Conformance with Protocols specified in a Temporal Action Logic 87
Structuring logic programs: a modal approach. 86
Temporal Deontic Action Logic for the Verification of Compliance to Norms in ASP 86
ASP for minimal entailment in a rational extension of SROEL 86
Hypothetical updates, priority and inconsistency in a logic programming language 86
ALC + T: a Preferential Extension of Description Logics 85
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: An Overview 85
An Abductive Proof Procedure for Conditional Logic Programming 84
Adding the power-set to description logics 84
Nonmonotonic Extensions of Low Complexity DLs: Complexity Results and Proof Methods 83
A constructive conditional logic for access control: a completeness result and a sequent calculus 83
Proceedings of the Workshop AI Meets Business Processes 2013 83
Encoding a Preferential Extension of the Description Logic in SROIQ 83
A framework for a modular multi-concept lexicographic closure semantics (an abridged report) 83
Totale 10.341
Salva come PNG Salva come JPEG
Categoria #
all - tutte 89.707
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 89.707
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022866 0 0 0 116 57 8 147 23 85 18 157 255
2022/20232.365 201 85 137 70 133 223 31 135 1.248 6 56 40
2023/2024560 41 34 36 12 128 1 165 12 3 9 28 91
2024/20251.628 29 20 100 41 27 130 151 71 552 190 58 259
2025/20265.479 174 155 437 646 400 421 1.026 995 411 488 217 109
2026/20271.662 200 514 562 386 0 0 0 0 0 0 0 0
Totale 16.318