IRIS Institutional Research Information System

Giunchiglia, Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.110
EU - Europa 4.048
AS - Asia 1.677
SA - Sud America 192
AF - Africa 91
OC - Oceania 60
Continente sconosciuto - Info sul continente non disponibili 31
Totale 11.209
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.017
RU - Federazione Russa 1.159
DE - Germania 626
SE - Svezia 480
SG - Singapore 465
UA - Ucraina 441
IT - Italia 354
HK - Hong Kong 327
FI - Finlandia 295
CN - Cina 255
GB - Regno Unito 172
IN - India 167
BR - Brasile 159
NL - Olanda 146
VN - Vietnam 134
IE - Irlanda 128
CA - Canada 78
FR - Francia 73
AU - Australia 57
KR - Corea 51
ZA - Sudafrica 41
BE - Belgio 32
ID - Indonesia 32
EU - Europa 31
AE - Emirati Arabi Uniti 27
IR - Iran 27
JP - Giappone 26
IL - Israele 20
LT - Lituania 20
RO - Romania 17
TR - Turchia 17
TW - Taiwan 17
EG - Egitto 16
LB - Libano 15
PH - Filippine 15
PK - Pakistan 15
AT - Austria 14
PE - Perù 14
TH - Thailandia 14
ES - Italia 11
MX - Messico 11
AR - Argentina 10
PT - Portogallo 10
PL - Polonia 9
CH - Svizzera 8
CZ - Repubblica Ceca 8
MY - Malesia 7
DK - Danimarca 6
DZ - Algeria 6
GR - Grecia 6
HR - Croazia 6
LK - Sri Lanka 6
UG - Uganda 6
EE - Estonia 5
JO - Giordania 5
MA - Marocco 5
SA - Arabia Saudita 5
BD - Bangladesh 4
CO - Colombia 4
CY - Cipro 4
IQ - Iraq 4
NO - Norvegia 4
AL - Albania 3
AZ - Azerbaigian 3
BG - Bulgaria 3
GH - Ghana 3
HU - Ungheria 3
NZ - Nuova Zelanda 3
OM - Oman 3
SK - Slovacchia (Repubblica Slovacca) 3
TN - Tunisia 3
CL - Cile 2
CM - Camerun 2
CR - Costa Rica 2
EC - Ecuador 2
GE - Georgia 2
LA - Repubblica Popolare Democratica del Laos 2
RS - Serbia 2
TZ - Tanzania 2
UZ - Uzbekistan 2
BH - Bahrain 1
BO - Bolivia 1
BW - Botswana 1
CI - Costa d'Avorio 1
IS - Islanda 1
KE - Kenya 1
KW - Kuwait 1
KZ - Kazakistan 1
LV - Lettonia 1
LY - Libia 1
MN - Mongolia 1
PR - Porto Rico 1
QA - Qatar 1
RW - Ruanda 1
SC - Seychelles 1
SD - Sudan 1
SI - Slovenia 1
SM - San Marino 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
Totale 11.209
Salva come PNG Salva come JPEG
Città #
Chandler 932
Jacksonville 915
Hong Kong 319
Moscow 305
Wilmington 265
Boardman 244
Ashburn 234
Singapore 223
Helsinki 164
Dong Ket 129
Kronberg 126
Dublin 124
Dearborn 121
The Dalles 117
Woodbridge 108
Redwood City 89
Ann Arbor 83
Seattle 83
Fuzhou 68
Beijing 62
Houston 48
Toronto 43
Milan 42
San Mateo 41
Melbourne 39
Shanghai 38
Brooklyn 37
Augusta 35
Rome 35
Los Angeles 32
Phoenix 30
Pune 30
Brussels 27
Mountain View 26
Trento 21
Santa Clara 20
Tokyo 20
Falkenstein 19
New York 18
Leawood 17
Beirut 15
Frankfurt am Main 15
Miami 15
Monmouth Junction 15
Norwalk 15
Pretoria 15
Guangzhou 14
Cape Town 13
Cairo 12
Hanover 12
London 12
Ottawa 12
Seoul 12
Manchester 11
São Paulo 11
Tappahannock 11
Arequipa 10
Chicago 10
Falls Church 10
Munich 10
Nanjing 10
Taipei 10
Utrecht 10
Auburn Hills 9
Des Moines 9
Fairfield 9
Jakarta 9
Pozza di Fassa 8
Verona 8
Ankara 7
Ardabil 7
Bengaluru 7
Berlin 7
Fremont 7
Redmond 7
Rio de Janeiro 7
Shenzhen 7
Zurich 7
Bangkok 6
Bologna 6
Florence 6
Hefei 6
Kampala 6
Madrid 6
Belo Horizonte 5
Curitiba 5
Dubai 5
Incheon 5
Inglewood 5
Paris 5
San Jose 5
Surabaya 5
Abu Dhabi 4
Al Ain 4
Annaba 4
Athens 4
Brno 4
Buenos Aires 4
Dresden 4
Durban 4
Totale 5.832
Salva come PNG Salva come JPEG
Nome #
Introduction to Contextual Reasoning. An Artificial Intelligence Perspective 1.257
Logiche Multi-Contestuali, ovvero Ragionamento Contestuale=Località+Compatibilità 251
Towards an Agent Oriented approach to Software Engineering 179
Verso una scienza epistemologica del senso comune. Il progetto scientifico di John McCarthy 151
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 115
A Many Sorted Natural Deduction 112
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case) 111
Data Management for Peer-to-Peer Computing: A Vision 110
A Model Based Decision Procedure for Common Sense Temporal Reasoning 106
A New Method for Testing Decision Procedures in Modal and Terminological Logics 106
Calculating Criticalities 105
A Knowledge Level Software Engineering Methodology for Agent Oriented Software 104
A General Purpose Reasoner for Abstraction 102
Agent-Oriented Software Development: A Case Study 101
A Foundation for Metareasoning. Part II: The model theory 101
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 100
Bidirectional Reasoning 97
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 97
A Local Models Semantics for Propositional Attitudes 96
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 96
A Context-Based Framework for Mental Representation 94
A Large Scale Taxonomy Mapping Evaluation 94
Modeling early requirements in Tropos: a transformation based approach 94
A Foundation for Metareasoning Part I: The Proof Theory 93
C-OWL: Contextualizing Ontologies 93
A System for Multi-Level Reasoning 93
Local Relational Model: a logical formalization of database coordination 92
A semantics for abstraction 92
A SAT-based Decision Procedure for ALC 91
The Tropos Software Development Methodology: Processes, Models and Diagrams 90
Planning with Failure 89
Abstraction in Planning via Model Checking 89
A Metatheory of a Mechanized Object Theory 89
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture 88
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 88
Rapporto tecnico sullo studio di fattibilità per CIRCUIT LINE 86
Certification of Translators via Off-line and On-line Proof Logging and Checking 86
Dealing with Expected and Unexpected Obstacles 85
Tactics: extending the notion of plan 85
Theorem Proving in Technology Transfer: the user`s point of view 84
Computing Abstraction Hierarchies by Numerical Simulation 84
A Metatheory of a Mechnized Object Theory 83
ABSFOL: A Proof Checker with Abstraction 83
A System for Multi-Level Mathematical Reasoning 83
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 83
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 82
Proving Theorems by Using Abstraction Interactively 82
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 81
Program Tactics and Logic Tactics 81
From Tableau-based to SAT-based procedures - preliminary report 81
A Logic of Belief and a Model Checking Algorithm for Security Protocols 80
Designinig Coordination among Human and Software Agents 80
The Tropos Modeling Language. A User Guide 80
Fast Prototyping per la gestione dei piani di protezione civile 79
MRG: un sistema di ragionamento distribuito per applicazioni complesse 79
Formal Verification of a Railway Interlocking System Using Model Checking 79
Automating meta-theory creation and system extension 79
Knowledge Level Software Engineering 79
Non-Omniscient Belief as Context-Based Resoning 78
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 78
Biblioteca elettronica e biblioteca virtuale 77
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics 77
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility 75
A Logic Level Specification of the NQTHM Simplification Process 75
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 75
Theories of Abstraction 75
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 75
Implicit Culture and Multi-agent Systems 75
Tropos: An Agent-Oriented Software Development Methodology 74
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints 74
La deduzione automatica 74
The Local Relational Model: Model and Proof Theory 74
NuSMV: a new symbolic model checker 73
Program Tactics and Logic Tactics 72
Understanding scene descriptions by integrating different sources of knowledge 72
Reasoning about Theory Formulation and Reformulation. A New Solution to the Qualification Problem 71
Model Checking Syllabi and Student Careers 71
Reflective reasoning with and between a declarative metatheory and the implementation code 71
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 71
Context-Based Formal Specification of Multi-Agent Systems 71
AIPS2000 Workshop on Model-Theoretic Approaches to Planning, Beckeridge, Colorado, USA, April 14, 2000 70
Multilanguage First Order Theories of Propositional Attitudes 70
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 70
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem 69
*SAT, KsatC, DLP and TA: a comparative analysis 69
Plan formation and execution in a uniform architecture of declarative metatheories 69
MRG: sistema di ragionamento 68
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 67
Planning as Model Checking 66
ML systems: A Proof Theory for Contexts 66
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems 66
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 66
What is local models semantics? 66
Ideal and Real Belief about Belief: Some Intuitions 66
Planning via Model Checking: A Decision Procedure for AR 65
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 65
An Epistemological Science of Commonsense 65
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application 64
Primo nucleo di servizi di base per l'informatizzazione della Protezione Civile della Provincia Autonoma di Trento 64
Model Checking Security Protocols Using a Logic of Belief 63
Totale 9.712
Salva come PNG Salva come JPEG
Categoria #
all - tutte 61.910
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 61.910
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020456 0 0 0 0 0 0 0 0 0 160 174 122
2020/20211.685 171 19 198 126 152 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/20252.608 41 90 282 146 85 42 127 213 1.243 339 0 0
Totale 11.327