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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021262 0 0 0 0 0 0 0 0 0 32 197 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.020 174 155 437 646 400 421 1.026 995 411 355 0 0
Totale 14.197