IRIS
GIORDANO, Laura
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.510
NA - Nord America 3.224
AS - Asia 486
Continente sconosciuto - Info sul continente non disponibili 20
SA - Sud America 6
AF - Africa 2
Totale 7.248
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.208
IE - Irlanda 1.250
SE - Svezia 696
DE - Germania 504
UA - Ucraina 465
CN - Cina 269
FI - Finlandia 267
IT - Italia 205
HK - Hong Kong 158
GB - Regno Unito 40
FR - Francia 32
IR - Iran 24
IN - India 21
EU - Europa 20
BE - Belgio 17
CA - Canada 16
RO - Romania 15
TR - Turchia 10
BR - Brasile 6
RU - Federazione Russa 4
KR - Corea 3
NL - Olanda 3
SI - Slovenia 3
AT - Austria 2
DK - Danimarca 2
EG - Egitto 2
CH - Svizzera 1
CZ - Repubblica Ceca 1
ES - Italia 1
LU - Lussemburgo 1
PL - Polonia 1
SG - Singapore 1
Totale 7.248
Salva come PNG Salva come JPEG
Città #
Dublin 1.249
Jacksonville 852
Dearborn 406
Wilmington 305
Chandler 240
Lawrence 167
Princeton 167
Hong Kong 158
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
Hefei 22
Strasbourg 22
Kunming 20
Boardman 18
Brussels 17
Zanjan 16
Horia 15
Livigno 11
Torino 11
Grafing 10
Kocaeli 9
Genoa 8
Helsinki 8
Jinan 8
Seattle 8
Düsseldorf 7
Monmouth Junction 7
Rivoli 7
Toronto 7
Turin 7
Guangzhou 6
Milan 6
Nanchang 6
Ottawa 6
Rio de Janeiro 6
Mülheim 5
Palermo 5
Shanghai 5
Zhengzhou 5
Ardabil 4
Cirié 4
Hebei 4
Leawood 4
Novara 4
Rome 4
Sacramento 4
Alserio 3
Augusta 3
Cassano Magnago 3
Chengdu 3
Des Moines 3
Grugliasco 3
Hangzhou 3
Shaoxing 3
Simi Valley 3
Wuhan 3
Xian 3
Agnadello 2
Borgomanero 2
Cambridge 2
Castellazzo Bormida 2
Changsha 2
Chieri 2
Copenhagen 2
Dallas 2
Forlì 2
Frankfurt am Main 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
Belvedere Spinello 1
Berlin 1
Totale 4.816
Salva come PNG Salva come JPEG
Nome #
Modeling, verifying and reasoning about web services 111
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. 79
Generalized stable models, truth maintenance and conflict resolution 72
Translating a modal language with embedded implication into Horn clauses logic 71
A Multi-engine Theorem Prover for a Description Logic of Typicality 70
Advances in the GINSENG project 68
An abductive characterization of the TMS 67
Verifying Business Process Compliance by Reasoning about Actions 67
A multimodal logic to define modules in logic programming 65
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach 64
Extending ALC with the Power-Set Construct 64
Intelligenza Artificiale in ambito forense all’Università del Piemonte Orientale: supporto alle decisioni in ambito penale , rappresentazione della conoscenza e ragionamento nell’analisi forense. 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
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
Business Processes Veri fication with Temporal Answer Set Programming 60
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming 60
Intelligenza Artificiale in Medicina presso il Dipartimento di Scienze e Innovazione Tecnologica dell’Università del Piemonte Orientale 59
Defining variants of default logic: A modal approach 59
Extending negation as failure by abduction: a 3-valued stable model semantics 59
A Hybrid Approach to the Verification of Computer Interpretable Guidelines 59
ASP and ontologies for reasoning on business processes 59
A Modal Extension of Logic Programming 58
A minimal model semantics for rational closure 58
A temporal approach to the specification and verification of Interaction Protocols 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
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo 56
Structured prolog: A language for structured logic programming 55
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 55
Strengthening the rational closure for description logics: An overview 55
A MODAL RECONSTRUCTION OF BLOCKS AND MODULES IN LOGIC PROGRAMMING 54
Adopting model checking techniques for clinical guidelines verification 54
An Abductive Proof Procedure for Conditional Logic Programming 53
Applying AI model-checking techniques to clinical guidelines 53
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology 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
ALC+T: Reasoning About Typicality in Description Logics 52
Automatic Checking of the Correctness of Clinical Guidelines in GLARE 52
Reasoning about Actions in a Multiagent Domain 51
Reasoning in a rational extension of SROEL(∏, x) 51
Business process verification with constraint temporal answer set programming 51
Extending Horn clause logic with implication goals 50
Towards a Second Generation of Computer Interpretable Guidelines 50
Towards a Rational Closure for Expressive Description Logics: The Case of SHIQ 50
A language for handling hypothetical updates and inconsistency. 49
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning 49
Reasoning About Typicality in ALC and EL 49
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014: Preface 49
Structuring logic programs: a modal approach. 48
On cumulative defaults logics 48
ALC + T: a Preferential Extension of Description Logics 48
Semantic characterization of rational closure: From propositional logic to description logics 48
Reasoning about exceptions in ontologies: A skeptical preferential approach (Extended Abstract) 48
Reasoning about exceptions in ontologies: an approximation of the multipreference semantics 48
Modeling, verifying and reasoning about web services 47
Encoding a Preferential Extension of the Description Logic in SROIQ 47
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure 47
Reasoning about actions with temporal answer sets 46
Minimal models for rational closure in SHIQ 46
A semantics for Eshghi and Kowalski’s abductive procedure 46
Nonmonotonic Extensions of Low Complexity DLs: Complexity Results and Proof Methods 45
Reasoning in a rational extension of SROEL 45
ASP for reasoning about actions with an EL^bot knowledge base 45
A modal reconstruction of Rational Closure 44
Achieving completeness in bounded model checking of action theories in ASP 44
ASP for minimal entailment in a rational extension of SROEL 44
Tableau calculus for preference-based conditional logics: PCL and its extensions 44
On a plausible concept-wise multipreference semantics and its relations with self-organising maps 44
Towards a conditional logic of actions and causation 44
Automated Deduction for Logics of Default Reasoning (Extended Abstract) 43
A constructive conditional logic for access control: a preliminary report 43
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic DL-Lite_core 42
Temporal Deontic Action Logic for the Verification of Compliance to Norms in ASP 42
Iterated Belief Revision and Conditional Logic, 41
A conditional constructive logic for access control and its sequent calculus 41
Rational closure in SHIQ 41
A NonMonotonic Description Logic for Reasoning About Typicality 41
A modal framework for structuring logic programs 41
Hypothetical updates, priority and inconsistency in a logic programming language 41
Enriched modeling and reasoning on business processes with ontologies and answer set programming 41
Reasoning About Web Services in a Temporal Action Logic 40
Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T 40
Verifying Compliance of Business Processes with Temporal Answer Sets 40
RAT-OWL: Reasoning with rational closure in description logics of typicality 40
Verifying Agents' Conformance with Multiparty Protocols 39
Reasoning about Actions with Temporal Answer Set 39
Power (Set) ALC (Extended Abstract) 39
Preferential vs Rational Description Logics: which one for Reasoning About Typicality? 39
Totale 5.269
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.121
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 37.121
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20197 0 0 0 0 0 0 0 0 0 0 0 7
2019/20201.466 4 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/2024441 41 34 36 12 128 1 165 12 3 9 0 0
Totale 7.430