IRIS Institutional Research Information System

Giunchiglia, Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.540
NA - Nord America 7.414
AS - Asia 4.090
SA - Sud America 818
AF - Africa 179
OC - Oceania 66
Continente sconosciuto - Info sul continente non disponibili 32
AN - Antartide 1
Totale 20.140
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.205
RU - Federazione Russa 4.024
SG - Singapore 1.611
DE - Germania 786
CN - Cina 733
BR - Brasile 664
SE - Svezia 499
VN - Vietnam 496
UA - Ucraina 449
HK - Hong Kong 444
IT - Italia 429
FI - Finlandia 306
GB - Regno Unito 261
IN - India 240
FR - Francia 222
NL - Olanda 164
IE - Irlanda 137
CA - Canada 123
ZA - Sudafrica 74
AU - Australia 63
MX - Messico 62
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
CH - Svizzera 19
EG - Egitto 19
PE - Perù 19
VE - Venezuela 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
LK - Sri Lanka 7
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
HN - Honduras 5
JM - Giamaica 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
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
CR - Costa Rica 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.117
Salva come PNG Salva come JPEG
Città #
Chandler 932
Jacksonville 916
Singapore 845
San Jose 787
Ashburn 508
Hong Kong 423
Dallas 341
Moscow 307
Wilmington 265
Boardman 248
Beijing 213
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 103
Seattle 90
Redwood City 89
Ann Arbor 83
Hanoi 83
New York 75
Fuzhou 68
São Paulo 65
Brooklyn 56
Houston 56
Toronto 51
Phoenix 50
Milan 49
Rome 47
Munich 42
Melbourne 41
San Mateo 41
Santa Clara 41
Tokyo 40
Shanghai 39
Augusta 36
Frankfurt am Main 32
Pune 31
Rio de Janeiro 28
Brussels 27
Chicago 27
Manchester 27
Mountain View 26
Des Moines 25
Trento 25
Denver 24
London 24
Johannesburg 23
Atlanta 22
Mumbai 22
Chennai 21
Montreal 20
Orem 20
Warsaw 20
Boston 19
Da Nang 19
Falkenstein 19
Guangzhou 19
Stockholm 19
Cape Town 18
Pretoria 18
Leawood 17
Miami 17
Ankara 16
Norwalk 16
Poplar 16
Beirut 15
Monmouth Junction 15
Cairo 14
Dhaka 14
Mexico City 14
Nuremberg 14
San Francisco 13
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
Falls Church 10
Hải Dương 10
Nanjing 10
Paris 10
Taipei 10
Totale 9.348
Salva come PNG Salva come JPEG
Nome #
Introduction to Contextual Reasoning. An Artificial Intelligence Perspective 1.502
Logiche Multi-Contestuali, ovvero Ragionamento Contestuale=Località+Compatibilità 347
Towards an Agent Oriented approach to Software Engineering 245
Verso una scienza epistemologica del senso comune. Il progetto scientifico di John McCarthy 234
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case) 229
A Model Based Decision Procedure for Common Sense Temporal Reasoning 223
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 216
A Many Sorted Natural Deduction 213
A New Method for Testing Decision Procedures in Modal and Terminological Logics 209
A General Purpose Reasoner for Abstraction 204
Calculating Criticalities 204
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 203
A Foundation for Metareasoning. Part II: The model theory 202
Agent-Oriented Software Development: A Case Study 196
A Knowledge Level Software Engineering Methodology for Agent Oriented Software 195
A semantics for abstraction 195
Data Management for Peer-to-Peer Computing: A Vision 194
A System for Multi-Level Reasoning 194
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 191
A Local Models Semantics for Propositional Attitudes 190
A Large Scale Taxonomy Mapping Evaluation 190
A Context-Based Framework for Mental Representation 189
A Foundation for Metareasoning Part I: The Proof Theory 188
C-OWL: Contextualizing Ontologies 188
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture 183
A Logic of Belief and a Model Checking Algorithm for Security Protocols 182
A SAT-based Decision Procedure for ALC 181
ABSFOL: A Proof Checker with Abstraction 176
Bidirectional Reasoning 175
Knowledge Level Software Engineering 174
Abstraction in Planning via Model Checking 173
Rapporto tecnico sullo studio di fattibilità per CIRCUIT LINE 172
Computing Abstraction Hierarchies by Numerical Simulation 171
A Metatheory of a Mechnized Object Theory 170
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 170
Modeling early requirements in Tropos: a transformation based approach 170
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 168
Dealing with Expected and Unexpected Obstacles 168
A Metatheory of a Mechanized Object Theory 166
Certification of Translators via Off-line and On-line Proof Logging and Checking 165
Fast Prototyping per la gestione dei piani di protezione civile 164
A Logic Level Specification of the NQTHM Simplification Process 163
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 162
A System for Multi-Level Mathematical Reasoning 161
Local Relational Model: a logical formalization of database coordination 160
Biblioteca elettronica e biblioteca virtuale 159
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 159
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 159
The Tropos Modeling Language. A User Guide 157
From Tableau-based to SAT-based procedures - preliminary report 153
Designinig Coordination among Human and Software Agents 150
*SAT, KsatC, DLP and TA: a comparative analysis 150
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 149
Tactics: extending the notion of plan 148
Planning with Failure 144
The Tropos Software Development Methodology: Processes, Models and Diagrams 140
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 139
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 139
Implicit Culture and Multi-agent Systems 139
Theorem Proving in Technology Transfer: the user`s point of view 138
MRG: un sistema di ragionamento distribuito per applicazioni complesse 138
Theories of Abstraction 138
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints 137
Tropos: An Agent-Oriented Software Development Methodology 136
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility 136
Proving Theorems by Using Abstraction Interactively 136
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 135
Ideal and Real Belief about Belief: Some Intuitions 135
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem 134
Formal Verification of a Railway Interlocking System Using Model Checking 134
The Local Relational Model: Model and Proof Theory 134
NuSMV: A Reimplementation of SMV 134
Reasoning about Theory Formulation and Reformulation. A New Solution to the Qualification Problem 133
Program Tactics and Logic Tactics 133
Context-Based Formal Specification of Multi-Agent Systems 133
Program Tactics and Logic Tactics 132
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 131
La deduzione automatica 130
Specification and Integration of Theorem Provers and Computer Algebra Systems 129
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics 129
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 129
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 128
Automating meta-theory creation and system extension 127
NuSMV: a new symbolic model checker 125
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 125
Multilanguage First Order Theories of Propositional Attitudes 124
Reflective reasoning with and between a declarative metatheory and the implementation code 124
Non-Omniscient Belief as Context-Based Resoning 124
Model Checking Syllabi and Student Careers 123
SAT-Based Decision Procedures for Classical Modal Logics 122
MRG: sistema di ragionamento 122
Coordination specification in Multi-Agent Systems. From requirements to architecture with the Tropos methodology 121
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application 120
AIPS2000 Workshop on Model-Theoretic Approaches to Planning, Beckeridge, Colorado, USA, April 14, 2000 119
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems 119
Plan formation and execution in a uniform architecture of declarative metatheories 119
Planning as Model Checking 118
Model Checking Security Protocols Using a Logic of Belief 118
Inductive Theorem Proving via Abstraction 118
Planning via Model Checking: A Decision Procedure for AR 117
Totale 17.257
Salva come PNG Salva come JPEG
Categoria #
all - tutte 83.816
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 83.816
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021725 0 0 0 0 0 0 0 0 0 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/20267.950 353 440 680 591 392 366 1.264 3.021 523 320 0 0
Totale 20.258