IRIS Institutional Research Information System

Giunchiglia, Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.337
EU - Europa 4.370
AS - Asia 3.114
SA - Sud America 713
AF - Africa 149
OC - Oceania 61
Continente sconosciuto - Info sul continente non disponibili 31
AN - Antartide 1
Totale 14.776
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.163
SG - Singapore 1.238
RU - Federazione Russa 1.172
DE - Germania 673
BR - Brasile 600
CN - Cina 600
SE - Svezia 496
UA - Ucraina 446
IT - Italia 393
HK - Hong Kong 380
FI - Finlandia 306
GB - Regno Unito 243
IN - India 228
VN - Vietnam 195
NL - Olanda 157
IE - Irlanda 134
CA - Canada 112
FR - Francia 102
ZA - Sudafrica 66
AU - Australia 58
KR - Corea 54
MX - Messico 47
AR - Argentina 45
JP - Giappone 44
TR - Turchia 43
ID - Indonesia 37
AE - Emirati Arabi Uniti 35
BE - Belgio 34
PL - Polonia 33
EU - Europa 31
IR - Iran 31
BD - Bangladesh 30
ES - Italia 30
LT - Lituania 30
IQ - Iraq 23
PK - Pakistan 21
IL - Israele 20
CH - Svizzera 19
EG - Egitto 18
PE - Perù 18
PH - Filippine 18
RO - Romania 17
TW - Taiwan 17
AT - Austria 16
LB - Libano 16
MA - Marocco 15
SA - Arabia Saudita 15
TH - Thailandia 14
CO - Colombia 13
EC - Ecuador 11
GR - Grecia 10
KE - Kenya 10
PT - Portogallo 10
VE - Venezuela 9
CZ - Repubblica Ceca 8
DZ - Algeria 8
MY - Malesia 8
PY - Paraguay 7
UZ - Uzbekistan 7
DK - Danimarca 6
HR - Croazia 6
LK - Sri Lanka 6
TN - Tunisia 6
UG - Uganda 6
EE - Estonia 5
GH - Ghana 5
JO - Giordania 5
AL - Albania 4
AZ - Azerbaigian 4
BG - Bulgaria 4
CL - Cile 4
CY - Cipro 4
NO - Norvegia 4
OM - Oman 4
TT - Trinidad e Tobago 4
DO - Repubblica Dominicana 3
ET - Etiopia 3
HU - Ungheria 3
JM - Giamaica 3
KZ - Kazakistan 3
NP - Nepal 3
NZ - Nuova Zelanda 3
SK - Slovacchia (Repubblica Slovacca) 3
UY - Uruguay 3
BO - Bolivia 2
CM - Camerun 2
CR - Costa Rica 2
GE - Georgia 2
LA - Repubblica Popolare Democratica del Laos 2
NG - Nigeria 2
NI - Nicaragua 2
RS - Serbia 2
TZ - Tanzania 2
AQ - Antartide 1
BH - Bahrain 1
BW - Botswana 1
CI - Costa d'Avorio 1
IS - Islanda 1
KG - Kirghizistan 1
KH - Cambogia 1
Totale 14.763
Salva come PNG Salva come JPEG
Città #
Chandler 932
Jacksonville 916
Singapore 730
Ashburn 410
Hong Kong 368
Dallas 341
Moscow 306
Wilmington 265
Boardman 248
Beijing 190
Helsinki 165
The Dalles 152
Hefei 135
Dong Ket 129
Dublin 127
Kronberg 126
Dearborn 121
Woodbridge 108
Seattle 90
Redwood City 89
Los Angeles 86
Ann Arbor 83
New York 70
Fuzhou 68
São Paulo 63
Houston 55
Brooklyn 53
Toronto 49
Milan 46
Phoenix 45
Munich 42
San Mateo 41
Melbourne 40
Shanghai 38
Rome 37
Tokyo 37
Augusta 36
Santa Clara 35
Pune 30
Brussels 27
Mountain View 26
Rio de Janeiro 25
Manchester 24
Chicago 23
Denver 23
Des Moines 23
Frankfurt am Main 23
London 23
Ho Chi Minh City 21
Trento 21
Chennai 20
Mumbai 20
Atlanta 19
Falkenstein 19
Johannesburg 19
Warsaw 19
Boston 17
Leawood 17
Miami 17
Montreal 17
Pretoria 17
Ankara 16
Cape Town 16
Norwalk 16
Stockholm 16
Beirut 15
Monmouth Junction 15
Poplar 15
Guangzhou 14
Hanoi 14
Mexico City 14
Cairo 13
San Francisco 13
Hanover 12
Ottawa 12
Seoul 12
Arequipa 11
Belo Horizonte 11
Orem 11
Tappahannock 11
Brasília 10
Campinas 10
Falls Church 10
Istanbul 10
Nairobi 10
Nanjing 10
Shenzhen 10
Taipei 10
Turku 10
Utrecht 10
Verona 10
Auburn Hills 9
Buenos Aires 9
Curitiba 9
Fairfield 9
Jakarta 9
Paris 9
Zurich 9
Amsterdam 8
Bengaluru 8
Totale 7.808
Salva come PNG Salva come JPEG
Nome #
Introduction to Contextual Reasoning. An Artificial Intelligence Perspective 1.401
Logiche Multi-Contestuali, ovvero Ragionamento Contestuale=Località+Compatibilità 286
Towards an Agent Oriented approach to Software Engineering 200
Verso una scienza epistemologica del senso comune. Il progetto scientifico di John McCarthy 186
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case) 165
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 157
A Model Based Decision Procedure for Common Sense Temporal Reasoning 157
A Many Sorted Natural Deduction 154
Calculating Criticalities 151
A New Method for Testing Decision Procedures in Modal and Terminological Logics 151
A Foundation for Metareasoning. Part II: The model theory 147
Agent-Oriented Software Development: A Case Study 144
A Knowledge Level Software Engineering Methodology for Agent Oriented Software 144
A System for Multi-Level Reasoning 144
Data Management for Peer-to-Peer Computing: A Vision 142
A Local Models Semantics for Propositional Attitudes 141
A semantics for abstraction 138
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 138
A Foundation for Metareasoning Part I: The Proof Theory 137
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 135
A Context-Based Framework for Mental Representation 134
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 134
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture 133
A General Purpose Reasoner for Abstraction 132
A Large Scale Taxonomy Mapping Evaluation 132
Bidirectional Reasoning 131
A Metatheory of a Mechnized Object Theory 131
C-OWL: Contextualizing Ontologies 131
A Logic of Belief and a Model Checking Algorithm for Security Protocols 128
A Metatheory of a Mechanized Object Theory 127
Modeling early requirements in Tropos: a transformation based approach 126
A SAT-based Decision Procedure for ALC 124
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 123
Knowledge Level Software Engineering 123
Certification of Translators via Off-line and On-line Proof Logging and Checking 122
Rapporto tecnico sullo studio di fattibilità per CIRCUIT LINE 120
From Tableau-based to SAT-based procedures - preliminary report 120
Abstraction in Planning via Model Checking 118
Computing Abstraction Hierarchies by Numerical Simulation 118
ABSFOL: A Proof Checker with Abstraction 116
Fast Prototyping per la gestione dei piani di protezione civile 116
Dealing with Expected and Unexpected Obstacles 116
A System for Multi-Level Mathematical Reasoning 116
Local Relational Model: a logical formalization of database coordination 114
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 114
The Tropos Modeling Language. A User Guide 113
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 111
Tactics: extending the notion of plan 111
Designinig Coordination among Human and Software Agents 109
A Logic Level Specification of the NQTHM Simplification Process 109
Biblioteca elettronica e biblioteca virtuale 108
Planning with Failure 107
Context-Based Formal Specification of Multi-Agent Systems 107
The Tropos Software Development Methodology: Processes, Models and Diagrams 105
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 105
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 102
Program Tactics and Logic Tactics 102
Ideal and Real Belief about Belief: Some Intuitions 102
*SAT, KsatC, DLP and TA: a comparative analysis 101
Formal Verification of a Railway Interlocking System Using Model Checking 101
Implicit Culture and Multi-agent Systems 101
Theorem Proving in Technology Transfer: the user`s point of view 100
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics 99
MRG: un sistema di ragionamento distribuito per applicazioni complesse 99
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 98
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 98
Tropos: An Agent-Oriented Software Development Methodology 97
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 97
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem 97
Theories of Abstraction 96
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 96
La deduzione automatica 96
Automating meta-theory creation and system extension 96
Proving Theorems by Using Abstraction Interactively 96
Reasoning about Theory Formulation and Reformulation. A New Solution to the Qualification Problem 94
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints 94
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility 94
Non-Omniscient Belief as Context-Based Resoning 94
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 93
Program Tactics and Logic Tactics 92
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 92
The Local Relational Model: Model and Proof Theory 92
NuSMV: a new symbolic model checker 91
Model Checking Security Protocols Using a Logic of Belief 89
Reflective reasoning with and between a declarative metatheory and the implementation code 89
Model Checking Syllabi and Student Careers 88
AIPS2000 Workshop on Model-Theoretic Approaches to Planning, Beckeridge, Colorado, USA, April 14, 2000 87
MRG: sistema di ragionamento 87
Plan formation and execution in a uniform architecture of declarative metatheories 87
What is local models semantics? 87
Understanding scene descriptions by integrating different sources of knowledge 87
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application 86
SAT-Based Decision Procedures for Classical Modal Logics 86
Multilanguage First Order Theories of Propositional Attitudes 84
NuSMV: A Reimplementation of SMV 84
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems 83
Specification and Integration of Theorem Provers and Computer Algebra Systems 83
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 83
Coordination specification in Multi-Agent Systems. From requirements to architecture with the Tropos methodology 83
Planning as Model Checking 82
Totale 12.767
Salva come PNG Salva come JPEG
Categoria #
all - tutte 75.777
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 75.777
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.019 0 0 0 0 0 60 182 30 22 352 125 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/20262.586 353 440 680 591 392 130 0 0 0 0 0 0
Totale 14.894