IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020970 0 0 0 0 0 120 196 33 165 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/2025648 41 90 282 146 85 4 0 0 0 0 0 0
Totale 9.367