CINECA IRIS Institutional Research Information System

GIORDANO, Laura
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.562
EU - Europa 1.079
AS - Asia 319
OC - Oceania 6
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 2
Totale 2.976
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.542
DK - Danimarca 253
CN - Cina 205
SE - Svezia 205
IE - Irlanda 136
UA - Ucraina 101
FI - Finlandia 83
KR - Corea 77
DE - Germania 62
FR - Francia 62
IT - Italia 61
GB - Regno Unito 46
PL - Polonia 40
VN - Vietnam 23
CA - Canada 20
BE - Belgio 8
AU - Australia 6
IN - India 6
RU - Federazione Russa 6
NL - Olanda 5
MU - Mauritius 4
SG - Singapore 4
EU - Europa 3
GR - Grecia 3
AT - Austria 2
JP - Giappone 2
RO - Romania 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BG - Bulgaria 1
BR - Brasile 1
CZ - Repubblica Ceca 1
ES - Italia 1
LU - Lussemburgo 1
SC - Seychelles 1
UZ - Uzbekistan 1
Totale 2.976
Salva come PNG Salva come JPEG
Città #
Ann Arbor 390
Chandler 202
Beijing 144
Dublin 136
Jacksonville 94
Wilmington 86
Princeton 68
Ashburn 65
Medford 47
Nyköping 42
Villeurbanne 42
Warsaw 40
Houston 33
Dearborn 32
Fairfield 29
Woodbridge 28
Boardman 23
Boston 22
Dong Ket 19
Seattle 15
Torino 13
Guangzhou 12
Ottawa 12
Tianjin 12
New York 11
Milan 9
Brussels 8
Cambridge 7
Verona 7
Falls Church 6
Redwood City 6
Toronto 6
Washington 6
Norwalk 5
Padova 5
Hefei 4
Philadelphia 4
Pisa 4
Stockholm 4
Alba 3
Des Moines 3
Edinburgh 3
Frankfurt am Main 3
Hangzhou 3
Hyderabad 3
Jinan 3
Kharkiv 3
Redmond 3
Ballabio 2
Cedar Knolls 2
Düsseldorf 2
Fremont 2
Hebei 2
Karlsruhe 2
Kunming 2
Lachine 2
Nanjing 2
Oulu 2
Paris 2
Pune 2
Selargius 2
Vienna 2
Athens 1
Brest 1
Buenos Aires 1
Buffalo 1
Castiglione D'adda 1
Chengdu 1
Chicago 1
Cleveland 1
Cormeilles-en-Parisis 1
Denver 1
Eggenstein 1
Erechim 1
Falconara Marittima 1
Fuzhou 1
Guiyang 1
Jiaxing 1
Jinhua 1
Langfang 1
Lanzhou 1
Lappeenranta 1
Leesburg 1
Liverpool 1
London 1
Luxembourg 1
Madrid 1
Mahé 1
Mountain View 1
Nanchang 1
New Delhi 1
Ningbo 1
Phoenix 1
Piraeus 1
Prague 1
Reston 1
Rodgau 1
San Mateo 1
Seoul 1
Shanghai 1
Totale 1.791
Salva come PNG Salva come JPEG
Nome #
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming 227
DYnamics in LOGic 218
A Modal Programming Language for Representing Complex Actions 201
Reasoning about communicating agents in the semantic web 198
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach 192
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 145
Business process verification with constraint temporal answer set programming 78
A Language for Handling Hypothetical Updates and Inconsistency 77
Reasoning about Typicality and Probabilities in Preferential Description Logics 77
A Multimodal Logic to define Modules in Logic Programming 70
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking 69
Dealing with Concurrent Actions in Modal Action Logics 69
Translating a Modal Language with Embedded Implications into Horn Clause Logic 66
Temporal deontic action logic for the verification of compliance to norms in ASP 66
An Abductive Proof Procedure for Conditional Logic Programming 65
A Modal Reconstruction of Blocks and Modules in Logic Programming 65
Conditional Reasoning in Logic Programming 65
A semantics for Eshghi and Kowalski’s abductive procedure 61
A Framework for Modal Logic Programming 61
A Modal Framework for Structured Logic Programs 60
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results 59
A Modal Extention of Logic Programming 57
Extending Horn Clause Logic with Implication Goals 53
Conditional Logic Programming 53
Dose-dense ABVD as first-line therapy in early-stage unfavorable Hodgkin lymphoma: results of a prospective, multicenter double-step phase II study by Fondazione Italiana Linfomi 52
Specifying and verifying systems of communicating agents in a temporal action logic 51
Truth Maintenance Systems and Belief Revision 51
Structuring logic programs: a modal approach 49
Reasoning about actions in a multiagent domain 47
Mantle Cell Lymphoma of Mucosa-Associated Lymphoid Tissue 45
Reasoning About Actions in Dynamic Linear Time Temporal Logic 43
Generalized Stable Models, Truth Maintenance and Conflict Resolution 43
Ramification and Causality in a Modal Action Logic 42
On cumulative default logics 40
null 40
Verification of action theories in ASP: a complete Bounded Model Checking approach 40
Structured prolog: A language for structured logic programming 39
Local Definitions with Static Scope Rules in Logic Programming 39
An Abductive Characterization of the TMS 38
Hypothetical updates, priority and inconsistency in a logic programming language 37
Programmazione Logica e Intelligenza Artificiale 34
Reasoning About Actions in Dynamic Linear Time Temporal Logic 27
Extending negation as failure by abduction: a 3-valued stable model semantics 26
A reconstruction of the multipreference closure. 22
Liquid biopsy of cerebrospinal fluid enables selective profiling of glioma molecular subtypes at first clinical presentation 10
Negation as Failure and Constraints through Abduction and Defaults 6
Intelligenza Artificiale in ambito forense all’Università del Piemonte Orientale: supporto alle decisioni in ambito penale , rappresentazione della conoscenza e ragionamento nell’analisi forense 1
Totale 3.174
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.804
article - articoli 0
book - libri 0
conference - conferenze 4.355
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 12.159
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201976 0 0 0 0 0 0 0 0 0 44 28 4
2019/2020617 8 10 53 66 44 76 82 36 62 55 61 64
2020/2021703 102 46 52 52 59 46 68 44 79 65 49 41
2021/2022397 3 5 12 63 8 21 23 16 7 11 127 101
2022/2023616 76 29 16 81 58 168 54 37 58 4 29 6
2023/2024158 24 36 14 5 14 42 3 17 1 2 0 0
Totale 3.174