IRIS Institutional Research Information System

Giunchiglia, Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.923
EU - Europa 7.694
AS - Asia 4.160
SA - Sud America 832
AF - Africa 191
Continente sconosciuto - Info sul continente non disponibili 152
OC - Oceania 66
AN - Antartide 1
Totale 23.019
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.648
RU - Federazione Russa 4.026
SG - Singapore 1.638
DE - Germania 800
CN - Cina 751
BR - Brasile 672
SE - Svezia 553
VN - Vietnam 496
IT - Italia 493
HK - Hong Kong 456
UA - Ucraina 452
FI - Finlandia 306
GB - Regno Unito 268
IN - India 241
FR - Francia 223
NL - Olanda 167
CA - Canada 158
IE - Irlanda 138
ZA - Sudafrica 78
MX - Messico 64
AU - Australia 63
AR - Argentina 61
KR - Corea 57
JP - Giappone 55
TR - Turchia 48
BD - Bangladesh 45
ID - Indonesia 42
ES - Italia 39
IQ - Iraq 37
AE - Emirati Arabi Uniti 36
BE - Belgio 34
PL - Polonia 34
LT - Lituania 32
EU - Europa 31
IR - Iran 31
PK - Pakistan 31
PH - Filippine 28
IL - Israele 23
VE - Venezuela 22
MA - Marocco 21
CH - Svizzera 20
EG - Egitto 19
PE - Perù 19
SA - Arabia Saudita 18
TW - Taiwan 18
RO - Romania 17
AT - Austria 16
CO - Colombia 16
EC - Ecuador 16
LB - Libano 16
TH - Thailandia 14
MY - Malesia 13
KE - Kenya 11
PT - Portogallo 11
PY - Paraguay 11
DZ - Algeria 10
GR - Grecia 10
JO - Giordania 10
CZ - Repubblica Ceca 9
UZ - Uzbekistan 9
HN - Honduras 8
SC - Seychelles 8
TN - Tunisia 8
TT - Trinidad e Tobago 8
CL - Cile 7
JM - Giamaica 7
LK - Sri Lanka 7
NI - Nicaragua 7
CR - Costa Rica 6
DK - Danimarca 6
ET - Etiopia 6
GE - Georgia 6
HR - Croazia 6
UG - Uganda 6
AL - Albania 5
AZ - Azerbaigian 5
BG - Bulgaria 5
EE - Estonia 5
GH - Ghana 5
NP - Nepal 5
UY - Uruguay 5
CY - Cipro 4
DO - Repubblica Dominicana 4
NO - Norvegia 4
OM - Oman 4
SK - Slovacchia (Repubblica Slovacca) 4
SV - El Salvador 4
HU - Ungheria 3
KZ - Kazakistan 3
LY - Libia 3
NG - Nigeria 3
NZ - Nuova Zelanda 3
PR - Porto Rico 3
BO - Bolivia 2
BW - Botswana 2
CI - Costa d'Avorio 2
CM - Camerun 2
CW - ???statistics.table.value.countryCode.CW??? 2
LA - Repubblica Popolare Democratica del Laos 2
PS - Palestinian Territory 2
Totale 22.868
Salva come PNG Salva come JPEG
Città #
San Jose 1.049
Chandler 934
Jacksonville 916
Singapore 862
Council Bluffs 825
Ashburn 544
Hong Kong 429
Dallas 358
Moscow 307
Wilmington 268
Boardman 248
Beijing 221
The Dalles 179
Helsinki 165
Hefei 136
Los Angeles 133
Dublin 131
Dong Ket 129
Ho Chi Minh City 127
Kronberg 126
Dearborn 121
Woodbridge 109
New York 107
Lauterbourg 106
Seattle 94
Redwood City 89
Ann Arbor 83
Hanoi 83
Phoenix 74
Houston 72
Fuzhou 68
Santa Clara 65
São Paulo 65
Brooklyn 64
Toronto 56
Buffalo 54
Rome 54
Milan 52
Munich 50
Honolulu 49
Tokyo 46
Chicago 43
Melbourne 41
San Mateo 41
Shanghai 40
Augusta 37
North Easton 36
Frankfurt am Main 32
Atlanta 31
Denver 31
Pune 31
Miami 29
Manchester 28
Rio de Janeiro 28
Brussels 27
Garland 27
London 27
Mountain View 27
Johannesburg 26
Des Moines 25
Montreal 25
Trento 25
Mumbai 22
Chennai 21
Boston 20
Orem 20
Warsaw 20
Cape Town 19
Da Nang 19
Falkenstein 19
Guangzhou 19
Stockholm 19
Pretoria 18
Princeton 18
San Francisco 18
Leawood 17
Ankara 16
Mexico City 16
Norwalk 16
Poplar 16
Beirut 15
Monmouth Junction 15
Cairo 14
Dhaka 14
Nuremberg 14
Pittsburgh 14
Brasília 13
Shenzhen 13
The Bronx 13
Tianjin 13
Amsterdam 12
Haiphong 12
Hanover 12
Istanbul 12
Ottawa 12
Philadelphia 12
Seoul 12
Arequipa 11
Belo Horizonte 11
Biên Hòa 11
Totale 10.893
Salva come PNG Salva come JPEG
Nome #
Introduction to Contextual Reasoning. An Artificial Intelligence Perspective 1.579
Logiche Multi-Contestuali, ovvero Ragionamento Contestuale=Località+Compatibilità 403
Towards an Agent Oriented approach to Software Engineering 264
Verso una scienza epistemologica del senso comune. Il progetto scientifico di John McCarthy 263
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case) 257
A Model Based Decision Procedure for Common Sense Temporal Reasoning 254
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 238
A New Method for Testing Decision Procedures in Modal and Terminological Logics 234
A Many Sorted Natural Deduction 232
A General Purpose Reasoner for Abstraction 226
Calculating Criticalities 225
A Knowledge Level Software Engineering Methodology for Agent Oriented Software 224
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 224
A Foundation for Metareasoning. Part II: The model theory 222
Agent-Oriented Software Development: A Case Study 221
A Local Models Semantics for Propositional Attitudes 217
A semantics for abstraction 216
A Large Scale Taxonomy Mapping Evaluation 216
C-OWL: Contextualizing Ontologies 215
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 215
Data Management for Peer-to-Peer Computing: A Vision 214
A System for Multi-Level Reasoning 214
A Context-Based Framework for Mental Representation 212
A Foundation for Metareasoning Part I: The Proof Theory 209
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture 208
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility 208
A SAT-based Decision Procedure for ALC 208
ABSFOL: A Proof Checker with Abstraction 201
A Logic of Belief and a Model Checking Algorithm for Security Protocols 197
A Metatheory of a Mechnized Object Theory 197
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 195
Bidirectional Reasoning 194
Computing Abstraction Hierarchies by Numerical Simulation 194
Knowledge Level Software Engineering 192
Dealing with Expected and Unexpected Obstacles 191
Rapporto tecnico sullo studio di fattibilità per CIRCUIT LINE 190
Abstraction in Planning via Model Checking 190
Modeling early requirements in Tropos: a transformation based approach 190
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 187
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 186
A Logic Level Specification of the NQTHM Simplification Process 186
Certification of Translators via Off-line and On-line Proof Logging and Checking 185
Fast Prototyping per la gestione dei piani di protezione civile 185
A Metatheory of a Mechanized Object Theory 185
A System for Multi-Level Mathematical Reasoning 185
Biblioteca elettronica e biblioteca virtuale 184
Local Relational Model: a logical formalization of database coordination 183
The Tropos Modeling Language. A User Guide 181
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 180
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 178
From Tableau-based to SAT-based procedures - preliminary report 174
*SAT, KsatC, DLP and TA: a comparative analysis 171
Designinig Coordination among Human and Software Agents 169
MRG: un sistema di ragionamento distribuito per applicazioni complesse 167
Tropos: An Agent-Oriented Software Development Methodology 166
Tactics: extending the notion of plan 165
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 162
Implicit Culture and Multi-agent Systems 161
Theories of Abstraction 159
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem 158
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints 158
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 158
Program Tactics and Logic Tactics 158
Theorem Proving in Technology Transfer: the user`s point of view 157
The Tropos Software Development Methodology: Processes, Models and Diagrams 157
Planning with Failure 157
Formal Verification of a Railway Interlocking System Using Model Checking 157
Proving Theorems by Using Abstraction Interactively 156
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 155
Context-Based Formal Specification of Multi-Agent Systems 154
The Local Relational Model: Model and Proof Theory 152
Reasoning about Theory Formulation and Reformulation. A New Solution to the Qualification Problem 151
Program Tactics and Logic Tactics 151
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 151
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 151
Multilanguage First Order Theories of Propositional Attitudes 150
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 150
NuSMV: A Reimplementation of SMV 150
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 148
Ideal and Real Belief about Belief: Some Intuitions 148
Specification and Integration of Theorem Provers and Computer Algebra Systems 146
La deduzione automatica 146
NuSMV: a new symbolic model checker 145
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics 145
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems 144
Coordination specification in Multi-Agent Systems. From requirements to architecture with the Tropos methodology 144
AIPS2000 Workshop on Model-Theoretic Approaches to Planning, Beckeridge, Colorado, USA, April 14, 2000 143
Model Checking Syllabi and Student Careers 142
Plan formation and execution in a uniform architecture of declarative metatheories 142
Reflective reasoning with and between a declarative metatheory and the implementation code 141
Automating meta-theory creation and system extension 141
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 141
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application 139
SAT-Based Decision Procedures for Classical Modal Logics 139
MRG: sistema di ragionamento 139
Non-Omniscient Belief as Context-Based Resoning 139
Planning via Model Checking: A Decision Procedure for AR 137
Planning as Model Checking 136
Large Scale Dataset for the Evaluation of Ontology Matching Systems 136
Understanding scene descriptions by integrating different sources of knowledge 135
Totale 19.495
Salva come PNG Salva come JPEG
Categoria #
all - tutte 96.762
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 96.762
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022647 0 0 0 113 55 20 21 120 50 44 64 160
2022/20232.110 48 118 53 379 139 325 28 180 489 169 107 75
2023/20241.416 154 75 194 125 62 138 80 169 38 243 25 113
2024/20253.589 41 90 282 146 85 42 127 213 1.243 445 540 335
2025/20268.670 353 440 680 591 392 366 1.264 3.021 523 443 450 147
2026/20272.041 393 334 751 563 0 0 0 0 0 0 0 0
Totale 23.019