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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.093 0 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.479 174 155 437 646 400 421 1.026 995 411 488 217 109
2026/2027596 200 396 0 0 0 0 0 0 0 0 0 0
Totale 15.252