IRIS
GIORDANO, Laura
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.187
NA - Nord America 4.042
AS - Asia 2.217
SA - Sud America 381
AF - Africa 65
Continente sconosciuto - Info sul continente non disponibili 20
Totale 10.912
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.977
IE - Irlanda 1.251
SG - Singapore 826
SE - Svezia 703
DE - Germania 599
HK - Hong Kong 510
UA - Ucraina 484
CN - Cina 447
RU - Federazione Russa 339
BR - Brasile 307
IT - Italia 282
FI - Finlandia 280
VN - Vietnam 177
GB - Regno Unito 80
KR - Corea 74
FR - Francia 46
IN - India 43
AR - Argentina 38
CA - Canada 36
IR - Iran 27
BJ - Benin 26
BD - Bangladesh 25
BE - Belgio 23
TR - Turchia 23
PL - Polonia 21
EU - Europa 20
MX - Messico 18
ZA - Sudafrica 17
ID - Indonesia 16
EC - Ecuador 15
RO - Romania 15
AT - Austria 14
NL - Olanda 14
ES - Italia 12
IQ - Iraq 12
JP - Giappone 9
SA - Arabia Saudita 8
EG - Egitto 7
LT - Lituania 7
VE - Venezuela 6
CO - Colombia 5
AE - Emirati Arabi Uniti 4
MA - Marocco 4
PY - Paraguay 4
CL - Cile 3
CR - Costa Rica 3
CZ - Repubblica Ceca 3
IL - Israele 3
PK - Pakistan 3
SI - Slovenia 3
TN - Tunisia 3
BA - Bosnia-Erzegovina 2
DK - Danimarca 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
CY - Cipro 1
DM - Dominica 1
DO - Repubblica Dominicana 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
KZ - Kazakistan 1
LU - Lussemburgo 1
MD - Moldavia 1
ML - Mali 1
PA - Panama 1
PS - Palestinian Territory 1
SK - Slovacchia (Repubblica Slovacca) 1
UY - Uruguay 1
Totale 10.912
Salva come PNG Salva come JPEG
Città #
Dublin 1.250
Jacksonville 852
Hong Kong 509
Dearborn 406
Singapore 331
Wilmington 305
Chandler 240
Beijing 214
Ashburn 175
Lawrence 167
Princeton 167
Ann Arbor 156
Andover 138
Moscow 123
San Mateo 110
Los Angeles 102
Buffalo 84
Seoul 71
Ho Chi Minh City 66
Dallas 56
Houston 46
Bremen 41
Piemonte 38
Hanoi 31
New York 31
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
Tianjin 13
Assago 12
Boston 12
Johannesburg 12
London 12
Nuremberg 12
Seattle 12
Chicago 11
Council Bluffs 11
Genoa 11
Livigno 11
Montreal 11
Torino 11
Grafing 10
Novara 10
Ottawa 10
Poplar 10
Toronto 10
Chennai 9
Haiphong 9
Kocaeli 9
The Dalles 9
Tokyo 9
Amsterdam 8
Denver 8
Jinan 8
Munich 8
Phoenix 8
Rome 8
Vienna 8
Brasília 7
Brooklyn 7
Düsseldorf 7
Falkenstein 7
Frankfurt am Main 7
Guangzhou 7
Hải Dương 7
Manchester 7
Monmouth Junction 7
Rivoli 7
Salvador 7
Stockholm 7
Baghdad 6
Belo Horizonte 6
Biên Hòa 6
Mexico City 6
Nanchang 6
Ankara 5
Columbus 5
Dhaka 5
Mülheim 5
Ninh Bình 5
Orem 5
Palermo 5
Totale 6.614
Salva come PNG Salva come JPEG
Nome #
Modeling, verifying and reasoning about web services 161
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 102
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. 97
A Multi-engine Theorem Prover for a Description Logic of Typicality 96
Generalized stable models, truth maintenance and conflict resolution 95
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014: Preface 95
A conditional logic for belief revision 94
A conditional Logic for Iterated Belief Revision. 92
A minimal model semantics for nonmonotonic reasoning 92
Extending ALC with the Power-Set Construct 92
A Framework for Modal Logic Programming 91
A multimodal logic to define modules in logic programming 91
Translating a modal language with embedded implication into Horn clauses logic 88
ASP and ontologies for reasoning on business processes 86
Verifying Business Process Compliance by Reasoning about Actions 85
An abductive characterization of the TMS 83
Reasoning about exceptions in ontologies: an approximation of the multipreference semantics 83
Automatic Checking of the Correctness of Clinical Guidelines in GLARE 82
Strengthening the rational closure for description logics: An overview 82
Local definitions with static scope rules in logic programming 81
A minimal model semantics for rational closure 81
A Hybrid Approach to the Verification of Computer Interpretable Guidelines 81
A Modal Extension of Logic Programming 80
A MODAL RECONSTRUCTION OF BLOCKS AND MODULES IN LOGIC PROGRAMMING 80
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach 80
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 80
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology 80
A logical characterization for truth maintenance systems with dependency-directed backtracking 78
Dealing with concurrent actions in modal action logic 77
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. 77
Business Processes Veri fication with Temporal Answer Set Programming 77
Extending negation as failure by abduction: a 3-valued stable model semantics 76
A modal extension of logic programming: Modularity, beliefs and hypothetical reasoning 76
A modal reconstruction of Rational Closure 76
Conditional logic programming 75
A temporal approach to the specification and verification of Interaction Protocols 75
Minimal models for rational closure in SHIQ 75
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo 75
Defining variants of default logic: A modal approach 74
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning 74
Adopting model checking techniques for clinical guidelines verification 74
RAT-OWL: Reasoning with rational closure in description logics of typicality 74
Truth maintenance systems and belief revision 73
A language for handling hypothetical updates and inconsistency. 73
Reasoning about exceptions in ontologies: A skeptical preferential approach (Extended Abstract) 73
Belief Revision and the Ramsey Test: a Solution 72
Business process verification with constraint temporal answer set programming 72
On a plausible concept-wise multipreference semantics and its relations with self-organising maps 72
Non-classical logics for knowledge representation and reasoning 71
Business process compliance verification: combining Action Theories with CPNs 71
Applying AI model-checking techniques to clinical guidelines 71
Achieving completeness in bounded model checking of action theories in ASP 71
Reasoning about actions with temporal answer sets 71
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming 71
ASP for reasoning about actions with an EL^bot knowledge base 70
Negation as failure in intuitionistic logic programming 69
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
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic DL-Lite_core 67
Towards a Second Generation of Computer Interpretable Guidelines 67
An ASP approach for reasoning in a concept-Aware multipreferential lightweight DL 67
On cumulative defaults logics 66
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results. 66
Reasoning About Typicality in ALC and EL 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
A modal framework for structuring logic programs 65
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases 65
Adding the power-set to description logics 64
An Abductive Proof Procedure for Conditional Logic Programming 63
A constructive conditional logic for access control: a preliminary report 63
ASP for minimal entailment in a rational extension of SROEL 63
Hypothetical updates, priority and inconsistency in a logic programming language 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
Verifying Agent Conformance with Protocols specified in a Temporal Action Logic 60
Enriched modeling and reasoning on business processes with ontologies and answer set programming 60
Reasoning about applicable law in private international law in logic programming 60
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps 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 semantics for Eshghi and Kowalski’s abductive procedure 59
A constructive conditional logic for access control: a completeness result and a sequent calculus 58
A tableau calculus for a nonmonotonic extension of EL^ bot 58
NEGATION AS FAILURE AND CONSTRAINTS THROUGH ABDUCTION AND DEFAULTS 57
Iterated Belief Revision and Conditional Logic, 57
On-the-fly Automata Construction for Dynamic Linear Time Temporal Logic 57
Totale 7.414
Salva come PNG Salva come JPEG
Categoria #
all - tutte 68.886
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 68.886
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/20261.923 175 155 444 650 404 95 0 0 0 0 0 0
Totale 11.102