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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019115 0 0 0 0 0 0 0 0 12 21 50 32
2019/20201.528 166 141 18 30 203 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.137 48 118 53 379 139 325 28 180 511 170 110 76
2023/20241.035 158 99 198 128 65 138 80 169 0 0 0 0
Totale 8.365