IRIS
GIORDANO, Laura
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.567
NA - Nord America 3.282
AS - Asia 728
Continente sconosciuto - Info sul continente non disponibili 20
SA - Sud America 6
AF - Africa 2
Totale 7.605
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.261
IE - Irlanda 1.250
SE - Svezia 696
DE - Germania 514
UA - Ucraina 465
CN - Cina 274
FI - Finlandia 272
IT - Italia 233
SG - Singapore 229
HK - Hong Kong 162
GB - Regno Unito 40
FR - Francia 34
IR - Iran 24
BE - Belgio 22
CA - Canada 21
IN - India 21
EU - Europa 20
RO - Romania 15
TR - Turchia 12
BR - Brasile 6
RU - Federazione Russa 6
NL - Olanda 4
KR - Corea 3
SI - Slovenia 3
AT - Austria 2
DK - Danimarca 2
EG - Egitto 2
LT - Lituania 2
PL - Polonia 2
AE - Emirati Arabi Uniti 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
ES - Italia 1
LU - Lussemburgo 1
MD - Moldavia 1
SA - Arabia Saudita 1
VN - Vietnam 1
Totale 7.605
Salva come PNG Salva come JPEG
Città #
Dublin 1.249
Jacksonville 852
Dearborn 406
Wilmington 305
Chandler 240
Lawrence 167
Princeton 167
Hong Kong 162
Singapore 159
Ann Arbor 156
Andover 138
Beijing 124
San Mateo 110
Ashburn 85
Bremen 41
Houston 38
Piemonte 38
Woodbridge 31
Nanjing 27
Philadelphia 27
Fairfield 26
Norwalk 25
Brussels 22
Hefei 22
Strasbourg 22
Kunming 20
Boardman 19
Zanjan 16
Horia 15
Helsinki 13
Turin 12
Genoa 11
Livigno 11
Torino 11
Grafing 10
Milan 10
Santa Clara 10
Toronto 10
Dallas 9
Kocaeli 9
Jinan 8
Ottawa 8
Seattle 8
Düsseldorf 7
Monmouth Junction 7
Rivoli 7
Guangzhou 6
Nanchang 6
Rio de Janeiro 6
Mülheim 5
Palermo 5
Rome 5
Shanghai 5
Zhengzhou 5
Ardabil 4
Cirié 4
Hebei 4
Leawood 4
Novara 4
Sacramento 4
Alserio 3
Augusta 3
Bergamo 3
Cassano Magnago 3
Chengdu 3
Des Moines 3
Frankfurt am Main 3
Grugliasco 3
Hangzhou 3
Shaoxing 3
Simi Valley 3
Wuhan 3
Xian 3
Agnadello 2
Bologna 2
Borgomanero 2
Cambridge 2
Castellazzo Bormida 2
Changsha 2
Chieri 2
Copenhagen 2
Forlì 2
Fuzhou 2
Gattico 2
Henderson 2
London 2
Los Angeles 2
Manfredonia 2
Mappano 2
Menlo Park 2
Montreal 2
Mumbai 2
New York 2
Nottingham 2
Romainville 2
San Diego 2
Shenyang 2
West Jordan 2
Aci Catena 1
Alessandria 1
Totale 5.028
Salva come PNG Salva come JPEG
Nome #
Modeling, verifying and reasoning about web services 129
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. 82
Intelligenza Artificiale in ambito forense all’Università del Piemonte Orientale: supporto alle decisioni in ambito penale , rappresentazione della conoscenza e ragionamento nell’analisi forense. 79
A Multi-engine Theorem Prover for a Description Logic of Typicality 74
Generalized stable models, truth maintenance and conflict resolution 72
Translating a modal language with embedded implication into Horn clauses logic 72
Advances in the GINSENG project 72
Intelligenza Artificiale in Medicina presso il Dipartimento di Scienze e Innovazione Tecnologica dell’Università del Piemonte Orientale 70
An abductive characterization of the TMS 68
Verifying Business Process Compliance by Reasoning about Actions 68
A multimodal logic to define modules in logic programming 67
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach 66
Extending ALC with the Power-Set Construct 66
A conditional Logic for Iterated Belief Revision. 65
A Framework for Modal Logic Programming 64
A conditional logic for belief revision 64
ASP and ontologies for reasoning on business processes 64
Local definitions with static scope rules in logic programming 63
Dealing with concurrent actions in modal action logic 63
A minimal model semantics for nonmonotonic reasoning 63
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. 63
Business Processes Veri fication with Temporal Answer Set Programming 63
A Hybrid Approach to the Verification of Computer Interpretable Guidelines 62
Truth maintenance systems and belief revision 61
A minimal model semantics for rational closure 61
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming 61
Defining variants of default logic: A modal approach 60
A Modal Extension of Logic Programming 60
Extending negation as failure by abduction: a 3-valued stable model semantics 60
A modal extension of logic programming: Modularity, beliefs and hypothetical reasoning 60
Business process compliance verification: combining Action Theories with CPNs 59
A temporal approach to the specification and verification of Interaction Protocols 59
Conditional logic programming 58
Ramification and causality in a modal action logic 58
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo 58
A MODAL RECONSTRUCTION OF BLOCKS AND MODULES IN LOGIC PROGRAMMING 57
Belief Revision and the Ramsey Test: a Solution 57
Non-classical logics for knowledge representation and reasoning 57
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 57
Strengthening the rational closure for description logics: An overview 57
Negation as failure in intuitionistic logic programming 56
Structured prolog: A language for structured logic programming 56
Adopting model checking techniques for clinical guidelines verification 56
A logical characterization for truth maintenance systems with dependency-directed backtracking 55
An Abductive Proof Procedure for Conditional Logic Programming 54
Applying AI model-checking techniques to clinical guidelines 54
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology 54
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results. 53
ALC+T: Reasoning About Typicality in Description Logics 53
Automatic Checking of the Correctness of Clinical Guidelines in GLARE 53
Reasoning in a rational extension of SROEL(∏, x) 53
Reasoning about Actions in a Multiagent Domain 52
A language for handling hypothetical updates and inconsistency. 52
Towards a Second Generation of Computer Interpretable Guidelines 52
Business process verification with constraint temporal answer set programming 52
Towards a Rational Closure for Expressive Description Logics: The Case of SHIQ 52
Extending Horn clause logic with implication goals 51
Structuring logic programs: a modal approach. 50
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning 50
Reasoning About Typicality in ALC and EL 50
Semantic characterization of rational closure: From propositional logic to description logics 50
Encoding a Preferential Extension of the Description Logic in SROIQ 50
Reasoning about exceptions in ontologies: A skeptical preferential approach (Extended Abstract) 50
Reasoning about exceptions in ontologies: an approximation of the multipreference semantics 50
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014: Preface 50
On cumulative defaults logics 49
ALC + T: a Preferential Extension of Description Logics 49
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure 49
ASP for reasoning about actions with an EL^bot knowledge base 49
Modeling, verifying and reasoning about web services 48
Reasoning about actions with temporal answer sets 48
Minimal models for rational closure in SHIQ 48
Achieving completeness in bounded model checking of action theories in ASP 47
Reasoning in a rational extension of SROEL 47
On a plausible concept-wise multipreference semantics and its relations with self-organising maps 47
A modal reconstruction of Rational Closure 46
Nonmonotonic Extensions of Low Complexity DLs: Complexity Results and Proof Methods 46
ASP for minimal entailment in a rational extension of SROEL 46
A semantics for Eshghi and Kowalski’s abductive procedure 46
A constructive conditional logic for access control: a preliminary report 45
Tableau calculus for preference-based conditional logics: PCL and its extensions 45
Towards a conditional logic of actions and causation 45
Automated Deduction for Logics of Default Reasoning (Extended Abstract) 44
Temporal Deontic Action Logic for the Verification of Compliance to Norms in ASP 44
A modal framework for structuring logic programs 44
A conditional constructive logic for access control and its sequent calculus 43
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic DL-Lite_core 43
Rational closure in SHIQ 43
A NonMonotonic Description Logic for Reasoning About Typicality 43
Enriched modeling and reasoning on business processes with ontologies and answer set programming 43
Iterated Belief Revision and Conditional Logic, 42
Hypothetical updates, priority and inconsistency in a logic programming language 42
Reasoning About Web Services in a Temporal Action Logic 41
Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T 41
Verifying Compliance of Business Processes with Temporal Answer Sets 41
Power (set) alc 41
Reasoning about exceptions in ontologies: From the lexicographic closure to the skeptical closure 41
Power (Set) ALC (Extended Abstract) 41
RAT-OWL: Reasoning with rational closure in description logics of typicality 41
Verifying Agents' Conformance with Multiparty Protocols 40
Totale 5.485
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.189
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 48.189
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.043 0 0 0 0 0 247 321 79 191 33 165 7
2020/20211.084 150 7 151 4 133 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/2025241 29 20 100 41 27 24 0 0 0 0 0 0
Totale 7.790