IRIS Institutional Research Information System

Giunchiglia, Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.963
EU - Europa 7.583
AS - Asia 4.118
SA - Sud America 821
AF - Africa 182
OC - Oceania 66
Continente sconosciuto - Info sul continente non disponibili 32
AN - Antartide 1
Totale 20.766
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.741
RU - Federazione Russa 4.024
SG - Singapore 1.624
DE - Germania 791
CN - Cina 745
BR - Brasile 666
SE - Svezia 516
VN - Vietnam 496
IT - Italia 449
UA - Ucraina 449
HK - Hong Kong 446
FI - Finlandia 306
GB - Regno Unito 261
IN - India 241
FR - Francia 222
NL - Olanda 165
IE - Irlanda 137
CA - Canada 129
ZA - Sudafrica 77
AU - Australia 63
MX - Messico 63
AR - Argentina 58
KR - Corea 57
JP - Giappone 49
TR - Turchia 48
BD - Bangladesh 45
ID - Indonesia 39
ES - Italia 38
IQ - Iraq 37
AE - Emirati Arabi Uniti 36
BE - Belgio 34
PL - Polonia 34
EU - Europa 31
IR - Iran 31
PK - Pakistan 31
LT - Lituania 30
PH - Filippine 28
IL - Israele 23
MA - Marocco 21
VE - Venezuela 20
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
KE - Kenya 11
PY - Paraguay 11
DZ - Algeria 10
GR - Grecia 10
JO - Giordania 10
MY - Malesia 10
PT - Portogallo 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
EE - Estonia 5
GH - Ghana 5
NP - Nepal 5
UY - Uruguay 5
CR - Costa Rica 4
CY - Cipro 4
DO - Repubblica Dominicana 4
NO - Norvegia 4
OM - Oman 4
SK - Slovacchia (Repubblica Slovacca) 4
TT - Trinidad e Tobago 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 20.742
Salva come PNG Salva come JPEG
Città #
Chandler 932
Jacksonville 916
San Jose 904
Singapore 849
Ashburn 511
Hong Kong 425
Dallas 343
Council Bluffs 340
Moscow 307
Wilmington 265
Boardman 248
Beijing 218
The Dalles 177
Helsinki 165
Hefei 136
Dublin 130
Dong Ket 129
Ho Chi Minh City 127
Kronberg 126
Dearborn 121
Woodbridge 108
Lauterbourg 106
Los Angeles 105
Seattle 91
Redwood City 89
Ann Arbor 83
Hanoi 83
New York 77
Fuzhou 68
São Paulo 65
Brooklyn 56
Houston 56
Phoenix 51
Toronto 51
Milan 49
Rome 49
Santa Clara 45
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
Mountain View 26
Des Moines 25
Trento 25
Denver 24
London 24
Atlanta 23
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
Norwalk 16
Poplar 16
Beirut 15
Mexico City 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 9.833
Salva come PNG Salva come JPEG
Nome #
Introduction to Contextual Reasoning. An Artificial Intelligence Perspective 1.524
Logiche Multi-Contestuali, ovvero Ragionamento Contestuale=Località+Compatibilità 365
Towards an Agent Oriented approach to Software Engineering 249
Verso una scienza epistemologica del senso comune. Il progetto scientifico di John McCarthy 240
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case) 236
A Model Based Decision Procedure for Common Sense Temporal Reasoning 228
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 222
A Many Sorted Natural Deduction 219
A New Method for Testing Decision Procedures in Modal and Terminological Logics 213
A General Purpose Reasoner for Abstraction 207
Calculating Criticalities 207
A Foundation for Metareasoning. Part II: The model theory 206
A Knowledge Level Software Engineering Methodology for Agent Oriented Software 206
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 206
Agent-Oriented Software Development: A Case Study 203
A System for Multi-Level Reasoning 200
A semantics for abstraction 199
A Large Scale Taxonomy Mapping Evaluation 199
A Local Models Semantics for Propositional Attitudes 198
Data Management for Peer-to-Peer Computing: A Vision 197
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 197
A Foundation for Metareasoning Part I: The Proof Theory 195
A Context-Based Framework for Mental Representation 195
C-OWL: Contextualizing Ontologies 194
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture 189
A SAT-based Decision Procedure for ALC 186
A Logic of Belief and a Model Checking Algorithm for Security Protocols 183
ABSFOL: A Proof Checker with Abstraction 183
Knowledge Level Software Engineering 179
Bidirectional Reasoning 178
A Metatheory of a Mechnized Object Theory 177
Abstraction in Planning via Model Checking 177
Rapporto tecnico sullo studio di fattibilità per CIRCUIT LINE 176
Computing Abstraction Hierarchies by Numerical Simulation 174
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 174
Dealing with Expected and Unexpected Obstacles 173
Modeling early requirements in Tropos: a transformation based approach 173
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 172
A Metatheory of a Mechanized Object Theory 170
Certification of Translators via Off-line and On-line Proof Logging and Checking 169
Fast Prototyping per la gestione dei piani di protezione civile 169
A Logic Level Specification of the NQTHM Simplification Process 168
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 166
A System for Multi-Level Mathematical Reasoning 165
Local Relational Model: a logical formalization of database coordination 164
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 164
Biblioteca elettronica e biblioteca virtuale 163
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 163
The Tropos Modeling Language. A User Guide 162
From Tableau-based to SAT-based procedures - preliminary report 159
*SAT, KsatC, DLP and TA: a comparative analysis 155
Designinig Coordination among Human and Software Agents 153
Tactics: extending the notion of plan 151
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 150
MRG: un sistema di ragionamento distribuito per applicazioni complesse 148
Planning with Failure 147
Tropos: An Agent-Oriented Software Development Methodology 144
The Tropos Software Development Methodology: Processes, Models and Diagrams 144
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 144
Theories of Abstraction 143
Implicit Culture and Multi-agent Systems 143
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility 142
Formal Verification of a Railway Interlocking System Using Model Checking 142
Theorem Proving in Technology Transfer: the user`s point of view 141
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints 141
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 141
Program Tactics and Logic Tactics 140
Proving Theorems by Using Abstraction Interactively 140
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem 139
Context-Based Formal Specification of Multi-Agent Systems 138
The Local Relational Model: Model and Proof Theory 138
NuSMV: A Reimplementation of SMV 138
Program Tactics and Logic Tactics 137
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 137
Ideal and Real Belief about Belief: Some Intuitions 137
Reasoning about Theory Formulation and Reformulation. A New Solution to the Qualification Problem 136
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 136
Multilanguage First Order Theories of Propositional Attitudes 135
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 134
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 134
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics 133
La deduzione automatica 133
Specification and Integration of Theorem Provers and Computer Algebra Systems 132
NuSMV: a new symbolic model checker 129
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 129
Automating meta-theory creation and system extension 128
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems 127
Coordination specification in Multi-Agent Systems. From requirements to architecture with the Tropos methodology 127
AIPS2000 Workshop on Model-Theoretic Approaches to Planning, Beckeridge, Colorado, USA, April 14, 2000 126
Model Checking Syllabi and Student Careers 126
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application 126
SAT-Based Decision Procedures for Classical Modal Logics 126
Reflective reasoning with and between a declarative metatheory and the implementation code 126
Non-Omniscient Belief as Context-Based Resoning 126
MRG: sistema di ragionamento 125
Plan formation and execution in a uniform architecture of declarative metatheories 125
Planning as Model Checking 124
Understanding scene descriptions by integrating different sources of knowledge 122
Planning via Model Checking: A Decision Procedure for AR 121
Inductive Theorem Proving via Abstraction 121
Totale 17.761
Salva come PNG Salva come JPEG
Categoria #
all - tutte 88.078
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 88.078
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021248 0 0 0 0 0 0 0 0 0 0 0 248
2021/2022740 35 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.576 353 440 680 591 392 366 1.264 3.021 523 443 450 53
Totale 20.884