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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021639 0 0 0 0 0 19 170 16 172 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.630 29 20 100 41 27 130 151 72 553 190 58 259
2025/20262.041 175 155 444 650 404 213 0 0 0 0 0 0
Totale 11.220