IRIS Institutional Research Information System

Giunchiglia, Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.585
EU - Europa 7.638
AS - Asia 4.131
SA - Sud America 829
AF - Africa 182
Continente sconosciuto - Info sul continente non disponibili 150
OC - Oceania 66
AN - Antartide 1
Totale 21.582
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.355
RU - Federazione Russa 4.024
SG - Singapore 1.631
DE - Germania 791
CN - Cina 747
BR - Brasile 671
SE - Svezia 546
VN - Vietnam 496
IT - Italia 466
UA - Ucraina 450
HK - Hong Kong 446
FI - Finlandia 306
GB - Regno Unito 263
IN - India 241
FR - Francia 223
NL - Olanda 165
IE - Irlanda 137
CA - Canada 132
ZA - Sudafrica 77
MX - Messico 64
AU - Australia 63
AR - Argentina 60
KR - Corea 57
JP - Giappone 49
TR - Turchia 48
BD - Bangladesh 45
ID - Indonesia 41
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
MA - Marocco 21
VE - Venezuela 21
CH - Svizzera 19
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 12
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
TN - Tunisia 8
CL - Cile 7
HN - Honduras 7
LK - Sri Lanka 7
DK - Danimarca 6
ET - Etiopia 6
GE - Georgia 6
HR - Croazia 6
JM - Giamaica 6
UG - Uganda 6
AL - Albania 5
AZ - Azerbaigian 5
BG - Bulgaria 5
CR - Costa Rica 5
EE - Estonia 5
GH - Ghana 5
NP - Nepal 5
TT - Trinidad e Tobago 5
UY - Uruguay 5
CY - Cipro 4
DO - Repubblica Dominicana 4
NO - Norvegia 4
OM - Oman 4
SK - Slovacchia (Repubblica Slovacca) 4
HU - Ungheria 3
KZ - Kazakistan 3
LY - Libia 3
NG - Nigeria 3
NZ - Nuova Zelanda 3
BO - Bolivia 2
BW - Botswana 2
CI - Costa d'Avorio 2
CM - Camerun 2
LA - Repubblica Popolare Democratica del Laos 2
NI - Nicaragua 2
PS - Palestinian Territory 2
RS - Serbia 2
TZ - Tanzania 2
AM - Armenia 1
AO - Angola 1
Totale 21.438
Salva come PNG Salva come JPEG
Città #
Chandler 932
Jacksonville 916
San Jose 911
Singapore 856
Council Bluffs 825
Ashburn 518
Hong Kong 425
Dallas 344
Moscow 307
Wilmington 265
Boardman 248
Beijing 219
The Dalles 179
Helsinki 165
Hefei 136
Dublin 130
Dong Ket 129
Ho Chi Minh City 127
Kronberg 126
Dearborn 121
Woodbridge 108
Lauterbourg 106
Los Angeles 106
Seattle 91
Redwood City 89
Ann Arbor 83
Hanoi 83
New York 78
Fuzhou 68
São Paulo 65
Phoenix 62
Brooklyn 56
Houston 56
Santa Clara 54
Toronto 51
Milan 50
Rome 49
Munich 42
Melbourne 41
San Mateo 41
Shanghai 40
Tokyo 40
Augusta 36
Frankfurt am Main 32
Pune 31
Rio de Janeiro 28
Brussels 27
Chicago 27
Manchester 27
Johannesburg 26
London 26
Mountain View 26
Atlanta 25
Des Moines 25
Trento 25
Denver 24
Montreal 22
Mumbai 22
Chennai 21
Orem 20
Warsaw 20
Boston 19
Da Nang 19
Falkenstein 19
Guangzhou 19
Stockholm 19
Cape Town 18
Miami 18
Pretoria 18
Leawood 17
Ankara 16
Mexico City 16
Norwalk 16
Poplar 16
Beirut 15
Monmouth Junction 15
Cairo 14
Dhaka 14
Nuremberg 14
San Francisco 14
Shenzhen 13
Tianjin 13
Amsterdam 12
Brasília 12
Haiphong 12
Hanover 12
Istanbul 12
Ottawa 12
Seoul 12
Arequipa 11
Belo Horizonte 11
Biên Hòa 11
Buenos Aires 11
Campinas 11
Nairobi 11
Tappahannock 11
Buffalo 10
Falls Church 10
Hải Dương 10
Nanjing 10
Totale 10.371
Salva come PNG Salva come JPEG
Nome #
Introduction to Contextual Reasoning. An Artificial Intelligence Perspective 1.543
Logiche Multi-Contestuali, ovvero Ragionamento Contestuale=Località+Compatibilità 373
Towards an Agent Oriented approach to Software Engineering 254
Verso una scienza epistemologica del senso comune. Il progetto scientifico di John McCarthy 252
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case) 245
A Model Based Decision Procedure for Common Sense Temporal Reasoning 234
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 227
A Many Sorted Natural Deduction 223
A New Method for Testing Decision Procedures in Modal and Terminological Logics 219
A Knowledge Level Software Engineering Methodology for Agent Oriented Software 213
A General Purpose Reasoner for Abstraction 213
Calculating Criticalities 213
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 213
A Foundation for Metareasoning. Part II: The model theory 212
Agent-Oriented Software Development: A Case Study 209
A System for Multi-Level Reasoning 206
A Local Models Semantics for Propositional Attitudes 205
A semantics for abstraction 205
A Large Scale Taxonomy Mapping Evaluation 204
Data Management for Peer-to-Peer Computing: A Vision 203
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 202
A Foundation for Metareasoning Part I: The Proof Theory 200
A Context-Based Framework for Mental Representation 200
C-OWL: Contextualizing Ontologies 200
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility 198
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture 196
A SAT-based Decision Procedure for ALC 193
A Logic of Belief and a Model Checking Algorithm for Security Protocols 189
ABSFOL: A Proof Checker with Abstraction 189
Bidirectional Reasoning 184
Knowledge Level Software Engineering 184
A Metatheory of a Mechnized Object Theory 181
Rapporto tecnico sullo studio di fattibilità per CIRCUIT LINE 181
Abstraction in Planning via Model Checking 180
Modeling early requirements in Tropos: a transformation based approach 180
Computing Abstraction Hierarchies by Numerical Simulation 179
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 179
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 178
Dealing with Expected and Unexpected Obstacles 178
Certification of Translators via Off-line and On-line Proof Logging and Checking 174
Fast Prototyping per la gestione dei piani di protezione civile 174
A Metatheory of a Mechanized Object Theory 174
Local Relational Model: a logical formalization of database coordination 173
A Logic Level Specification of the NQTHM Simplification Process 173
A System for Multi-Level Mathematical Reasoning 172
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 171
Biblioteca elettronica e biblioteca virtuale 170
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 170
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 168
The Tropos Modeling Language. A User Guide 167
From Tableau-based to SAT-based procedures - preliminary report 164
*SAT, KsatC, DLP and TA: a comparative analysis 161
Designinig Coordination among Human and Software Agents 158
Tactics: extending the notion of plan 155
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 154
MRG: un sistema di ragionamento distribuito per applicazioni complesse 153
Implicit Culture and Multi-agent Systems 150
Tropos: An Agent-Oriented Software Development Methodology 149
Planning with Failure 149
The Tropos Software Development Methodology: Processes, Models and Diagrams 148
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 148
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints 147
Theories of Abstraction 147
Theorem Proving in Technology Transfer: the user`s point of view 146
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 146
Program Tactics and Logic Tactics 146
Formal Verification of a Railway Interlocking System Using Model Checking 145
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem 144
Proving Theorems by Using Abstraction Interactively 144
Context-Based Formal Specification of Multi-Agent Systems 143
The Local Relational Model: Model and Proof Theory 143
Program Tactics and Logic Tactics 142
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 142
NuSMV: A Reimplementation of SMV 142
Reasoning about Theory Formulation and Reformulation. A New Solution to the Qualification Problem 141
Multilanguage First Order Theories of Propositional Attitudes 140
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 140
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 140
Ideal and Real Belief about Belief: Some Intuitions 140
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 138
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics 137
La deduzione automatica 137
Specification and Integration of Theorem Provers and Computer Algebra Systems 136
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems 133
NuSMV: a new symbolic model checker 133
Automating meta-theory creation and system extension 132
AIPS2000 Workshop on Model-Theoretic Approaches to Planning, Beckeridge, Colorado, USA, April 14, 2000 131
Model Checking Syllabi and Student Careers 131
Reflective reasoning with and between a declarative metatheory and the implementation code 131
Coordination specification in Multi-Agent Systems. From requirements to architecture with the Tropos methodology 131
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 131
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application 130
SAT-Based Decision Procedures for Classical Modal Logics 130
Non-Omniscient Belief as Context-Based Resoning 130
MRG: sistema di ragionamento 129
Planning as Model Checking 128
Plan formation and execution in a uniform architecture of declarative metatheories 127
Planning via Model Checking: A Decision Procedure for AR 126
Inductive Theorem Proving via Abstraction 126
Model Checking Security Protocols Using a Logic of Belief 124
Totale 18.341
Salva come PNG Salva come JPEG
Categoria #
all - tutte 91.385
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 91.385
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022705 0 39 19 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/2027604 393 211 0 0 0 0 0 0 0 0 0 0
Totale 21.582