IRIS
GIORDANO, Laura
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.543
NA - Nord America 3.243
AS - Asia 601
Continente sconosciuto - Info sul continente non disponibili 20
SA - Sud America 6
AF - Africa 2
Totale 7.415
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.223
IE - Irlanda 1.250
SE - Svezia 696
DE - Germania 514
UA - Ucraina 465
FI - Finlandia 272
CN - Cina 270
IT - Italia 216
HK - Hong Kong 162
SG - Singapore 109
GB - Regno Unito 40
FR - Francia 34
IR - Iran 24
IN - India 21
CA - Canada 20
EU - Europa 20
BE - Belgio 19
RO - Romania 15
TR - Turchia 10
BR - Brasile 6
RU - Federazione Russa 5
KR - Corea 3
NL - Olanda 3
SI - Slovenia 3
AT - Austria 2
DK - Danimarca 2
EG - Egitto 2
LT - Lituania 2
AE - Emirati Arabi Uniti 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
ES - Italia 1
LU - Lussemburgo 1
PL - Polonia 1
VN - Vietnam 1
Totale 7.415
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
Ann Arbor 156
Andover 138
Beijing 124
San Mateo 110
Ashburn 85
Singapore 61
Bremen 41
Houston 38
Piemonte 38
Woodbridge 31
Nanjing 27
Philadelphia 27
Fairfield 26
Norwalk 25
Hefei 22
Strasbourg 22
Kunming 20
Boardman 19
Brussels 19
Zanjan 16
Horia 15
Helsinki 13
Turin 12
Livigno 11
Torino 11
Grafing 10
Dallas 9
Kocaeli 9
Toronto 9
Genoa 8
Jinan 8
Milan 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
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
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
Anzio 1
Asti 1
Baotou 1
Totale 4.909
Salva come PNG Salva come JPEG
Nome #
Modeling, verifying and reasoning about web services 118
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. 79
Intelligenza Artificiale in ambito forense all’Università del Piemonte Orientale: supporto alle decisioni in ambito penale , rappresentazione della conoscenza e ragionamento nell’analisi forense. 74
Generalized stable models, truth maintenance and conflict resolution 72
Translating a modal language with embedded implication into Horn clauses logic 71
Advances in the GINSENG project 70
A Multi-engine Theorem Prover for a Description Logic of Typicality 70
Verifying Business Process Compliance by Reasoning about Actions 68
An abductive characterization of the TMS 67
Intelligenza Artificiale in Medicina presso il Dipartimento di Scienze e Innovazione Tecnologica dell’Università del Piemonte Orientale 65
A multimodal logic to define modules in logic programming 65
Extending ALC with the Power-Set Construct 65
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach 64
ASP and ontologies for reasoning on business processes 63
Local definitions with static scope rules in logic programming 62
A Framework for Modal Logic Programming 62
Dealing with concurrent actions in modal action logic 62
A conditional logic for belief revision 62
Business Processes Veri fication with Temporal Answer Set Programming 62
A conditional Logic for Iterated Belief Revision. 61
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. 61
Truth maintenance systems and belief revision 60
A minimal model semantics for nonmonotonic reasoning 60
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming 60
Defining variants of default logic: A modal approach 59
Extending negation as failure by abduction: a 3-valued stable model semantics 59
A temporal approach to the specification and verification of Interaction Protocols 59
A Hybrid Approach to the Verification of Computer Interpretable Guidelines 59
A Modal Extension of Logic Programming 58
A minimal model semantics for rational closure 58
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo 58
A modal extension of logic programming: Modularity, beliefs and hypothetical reasoning 57
Ramification and causality in a modal action logic 57
Business process compliance verification: combining Action Theories with CPNs 57
Negation as failure in intuitionistic logic programming 56
Conditional logic programming 56
Belief Revision and the Ramsey Test: a Solution 56
Non-classical logics for knowledge representation and reasoning 56
Adopting model checking techniques for clinical guidelines verification 56
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 56
Strengthening the rational closure for description logics: An overview 56
A MODAL RECONSTRUCTION OF BLOCKS AND MODULES IN LOGIC PROGRAMMING 55
Structured prolog: A language for structured logic programming 55
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
An Abductive Proof Procedure for Conditional Logic Programming 53
ALC+T: Reasoning About Typicality in Description Logics 53
Automatic Checking of the Correctness of Clinical Guidelines in GLARE 53
A logical characterization for truth maintenance systems with dependency-directed backtracking 52
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results. 52
Reasoning in a rational extension of SROEL(∏, x) 52
Reasoning about Actions in a Multiagent Domain 51
Towards a Second Generation of Computer Interpretable Guidelines 51
Business process verification with constraint temporal answer set programming 51
Towards a Rational Closure for Expressive Description Logics: The Case of SHIQ 51
Extending Horn clause logic with implication goals 50
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning 50
Reasoning About Typicality in ALC and EL 50
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014: Preface 50
Structuring logic programs: a modal approach. 49
A language for handling hypothetical updates and inconsistency. 49
Reasoning about exceptions in ontologies: A skeptical preferential approach (Extended Abstract) 49
Reasoning about exceptions in ontologies: an approximation of the multipreference semantics 49
On cumulative defaults logics 48
Modeling, verifying and reasoning about web services 48
ALC + T: a Preferential Extension of Description Logics 48
Semantic characterization of rational closure: From propositional logic to description logics 48
Encoding a Preferential Extension of the Description Logic in SROIQ 48
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure 48
Reasoning about actions with temporal answer sets 47
Minimal models for rational closure in SHIQ 47
ASP for reasoning about actions with an EL^bot knowledge base 47
Nonmonotonic Extensions of Low Complexity DLs: Complexity Results and Proof Methods 46
Reasoning in a rational extension of SROEL 46
A semantics for Eshghi and Kowalski’s abductive procedure 46
On a plausible concept-wise multipreference semantics and its relations with self-organising maps 46
Achieving completeness in bounded model checking of action theories in ASP 45
ASP for minimal entailment in a rational extension of SROEL 45
A modal reconstruction of Rational Closure 44
Automated Deduction for Logics of Default Reasoning (Extended Abstract) 44
Tableau calculus for preference-based conditional logics: PCL and its extensions 44
Towards a conditional logic of actions and causation 44
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic DL-Lite_core 43
A constructive conditional logic for access control: a preliminary report 43
Temporal Deontic Action Logic for the Verification of Compliance to Norms in ASP 43
A conditional constructive logic for access control and its sequent calculus 42
Rational closure in SHIQ 42
A NonMonotonic Description Logic for Reasoning About Typicality 42
A modal framework for structuring logic programs 42
Enriched modeling and reasoning on business processes with ontologies and answer set programming 42
Iterated Belief Revision and Conditional Logic, 41
Reasoning About Web Services in a Temporal Action Logic 41
Verifying Compliance of Business Processes with Temporal Answer Sets 41
Hypothetical updates, priority and inconsistency in a logic programming language 41
RAT-OWL: Reasoning with rational closure in description logics of typicality 41
Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T 40
Reasoning about Actions with Temporal Answer Set 40
Power (set) alc 40
Reasoning about exceptions in ontologies: From the lexicographic closure to the skeptical closure 40
Power (Set) ALC (Extended Abstract) 40
Totale 5.352
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.527
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 43.527
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.462 0 0 137 16 266 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/202549 29 20 0 0 0 0 0 0 0 0 0 0
Totale 7.598