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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202133 0 0 0 0 0 0 0 0 0 0 0 33
2021/20221.127 34 3 224 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.465 174 155 437 646 400 421 1.026 995 411 488 217 95
Totale 14.642