CINECA IRIS Institutional Research Information System

POZZATO, Gian Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.302
EU - Europa 4.805
AS - Asia 1.342
OC - Oceania 28
SA - Sud America 24
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 12
Totale 14.525
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.213
DK - Danimarca 1.443
IT - Italia 861
CN - Cina 766
SE - Svezia 442
IE - Irlanda 392
DE - Germania 334
FR - Francia 311
FI - Finlandia 261
UA - Ucraina 256
GB - Regno Unito 213
SG - Singapore 185
KR - Corea 146
VN - Vietnam 118
PL - Polonia 83
CA - Canada 80
RU - Federazione Russa 45
AT - Austria 42
IN - India 42
NL - Olanda 36
JP - Giappone 25
GR - Grecia 21
AU - Australia 20
BE - Belgio 17
BR - Brasile 16
HK - Hong Kong 15
EU - Europa 12
TR - Turchia 11
MX - Messico 9
CH - Svizzera 8
NZ - Nuova Zelanda 8
ES - Italia 7
AE - Emirati Arabi Uniti 6
ID - Indonesia 6
RO - Romania 6
BG - Bulgaria 5
BY - Bielorussia 5
LU - Lussemburgo 5
NO - Norvegia 5
IL - Israele 4
IR - Iran 4
MD - Moldavia 4
ZA - Sudafrica 4
CO - Colombia 3
PE - Perù 3
JO - Giordania 2
LK - Sri Lanka 2
MY - Malesia 2
NG - Nigeria 2
SA - Arabia Saudita 2
TN - Tunisia 2
AL - Albania 1
BO - Bolivia 1
CL - Cile 1
CY - Cipro 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
IQ - Iraq 1
KE - Kenya 1
MT - Malta 1
MU - Mauritius 1
OM - Oman 1
PK - Pakistan 1
PS - Palestinian Territory 1
TW - Taiwan 1
Totale 14.525
Salva come PNG Salva come JPEG
Città #
Ann Arbor 4.400
Wilmington 445
Chandler 430
Dublin 388
Beijing 328
Guangzhou 283
Houston 212
Fairfield 187
Jacksonville 187
Ashburn 186
Dearborn 185
Villeurbanne 143
Turin 140
Medford 138
Princeton 127
Torino 119
Woodbridge 106
Singapore 102
Dong Ket 101
Pisa 100
Warsaw 82
Helsinki 75
Nyköping 67
Norwalk 62
Fremont 57
Cambridge 56
Wayne 54
Boardman 51
Milan 48
Düsseldorf 47
Boston 46
New York 46
Seattle 45
Los Angeles 41
Vienna 40
Toronto 38
Naples 36
Nuremberg 28
Redwood City 26
Falls Church 25
Padova 24
Landshut 22
Rome 22
London 19
Nanjing 18
San Mateo 18
Brussels 17
San Diego 16
Delhi 15
Ottawa 15
Hefei 13
Mountain View 13
Selargius 13
Seongnam 12
Bordeaux 11
Santa Clara 11
Shenzhen 11
Hangzhou 10
Verona 10
Genoa 9
Jinan 9
Sesto San Giovanni 9
Alba 8
Chennai 8
Hong Kong 8
Lachine 8
Mainz 8
Munich 8
São Paulo 8
Voghera 8
Hebei 7
Karlsruhe 7
Kunming 7
Old Bridge 7
Bologna 6
Boves 6
Catania 6
Chengdu 6
Fontanil 6
Frankfurt am Main 6
Kharkiv 6
Phoenix 6
Seoul 6
Sydney 6
Auburn Hills 5
Camden 5
Des Moines 5
Horia 5
Minsk 5
Nanchang 5
Novara 5
Redmond 5
San Mauro Torinese 5
Seongdong-gu 5
Sofia 5
Southend 5
Stavanger 5
Tokyo 5
Zhengzhou 5
Baotou 4
Totale 9.825
Salva come PNG Salva come JPEG
Nome #
COCOS: A typicality based COncept COmbination System 329
An efficient reasoner for description logics of typicality and rational closure 317
Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures 277
RAT-OWL: Reasoning with rational closure in description logics of typicality 257
Typicalities and probabilities of exceptions in nonmotonic Description Logics 250
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach 249
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014 240
Nested Sequent Calculi for Normal Conditional Logics 237
VINTE: An implementation of internal calculi for lewis'€™ logics of counterfactual reasoning 236
Applying a description logic of typicality as a generative tool for concept combination in computational creativity 235
Reasoning About Plausible Scenarios in Description Logics of Typicality 231
Reasoning in description logics with typicalities and probabilities of exceptions 231
Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for Knowledge Invention 230
Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics 227
A description logic of typicality for conceptual combination 227
On probabilities of exceptions in description logics of typicality 222
Hypersequent calculi for lewis'€™ conditional logics with uniformity and reflexivity 221
Semantic characterization of Rational Closure: from Propositional Logic to Description Logics 220
A NonMonotonic Description Logic for Reasoning About Typicality 210
ALC + Texp: beyond most likely scenarios in preferential Description Logics of typicality 203
Standard Sequent Calculi for Lewis' Logics of Counterfactuals 194
A Dynamic Knowledge Generation System for Cognitive Agents 191
32 voci nel Dizionario Treccani di Informatica, ICT e Nuovi Media: ACDSee Algebra relazionale Append Chiave Primaria Database Consistente Database relazionale DBMS Description Logic DO-WHILE e-bay Entità-relazioni, modello FOR loop GO TO Grassetto IF-THEN IF-THEN-ELSE Indirizzamento Indirizzo Ethernet Integrità referenziale Jacopini, Giuseppe Javasript MySQL Nero Burning ROM Normalizzazione PL/SQL Polimorfismo Prolog Query Rollback Salvaschermo Transazione Zuckerberg Mark Elliot 177
GOCCIOLA: Generating new knowledge by combining concepts in description logics of typicality 177
Logics in Access Control: A Conditional Approach 173
Typicality-based revision for handling exceptions in Description Logics 171
PEAR: A tool for reasoning about scenarios and probabilities in description logics of typicality 169
Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND 160
A Typicality-based Revision to Handle Exceptions in Description Logics 151
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics 145
Reasoning About Surprising Scenarios in Description Logics of Typicality 143
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning 141
NESCOND: an Implementation of Nested Sequent Calculi for Conditional Logics 141
Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match 138
A Goal-Directed Calculus for Standard Conditional Logics 135
Verifying Business Process Compliance by Reasoning about Actions 135
NESCOND 135
Analytic Tableaux for KLM Preferential and Cumulative Logics 133
A tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore 133
An Implmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0 132
A tableau calculus for a nonmonotonic extension of EL^\bot 132
A minimal model semantics for nonmonotonic reasoning 132
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics 130
A minimal model semantics for rational closure 127
Prototypical reasoning with low complexity Description Logics: preliminary results 123
A nonmonotonic extension of KLM Preferential Logic P 123
KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations 122
ALC + T: a Preferential Extension of Description Logics 122
A Tableaux Calculus for KLM Preferential and Cumulative Logics 117
A conditional constructive logic for access control and its sequent calculus 117
Rational Closure in SHIQ 117
A Multi-Engine Theorem Prover for a Description Logic of Typicality 116
ALC+T: Reasoning About Typicality in Description Logics 115
Analytic Tableaux Calculi for KLM Rational Logic R 114
Reasoning About Typicality in ALC and EL 113
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics 113
A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus 112
Verifying Compliance of Business Processes with Temporal Answer Sets 112
A standard and internal calculus for Lewis counterfactual logics 112
A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics 110
A Non-monotonic Description Logic of Typicality 109
Minimal models for rational closure in SHIQ 109
Revising Description Logic Terminologies to Handle Exceptions: a First Step 109
A natural sequent calculus for Lewis logic of counterfactuals 109
Preferential Description Logics 108
Reasoning about typicality with low complexity Description Logics: the logic EL+⊥T 107
A Modal Reconstruction of Rational Closure 106
PreDeLo 1.0: a Theorem Prover for Preferential Description Logics 106
Reasoning About Typicality in Description Logics:the Logic ALC+T_{min} 105
Preferential vs Rational Description Logics: which one for Reasoning About Typicality? 105
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning 103
AI generativa (chatBot) in didattica 101
A semantics for Rational Closure: Preliminary Results 101
A Knowledge-based System for the Dynamic Generation and Classification of Novel Contents in Multimedia Broadcasting 101
Automated Deduction for Logics of Default Reasoning 100
A goal-oriented framework for knowledge invention and creative problem solving in cognitive architectures 100
CondLean 3.0: Improving CondLean for Stronger Conditional Logics 96
Nested Sequent Calculi for Conditional Logics 96
Minimal Model Semantics and Rational Closure in Description Logics 96
Business process compliance verification: an annotation based approach with commitments 94
Reasoning about Typicality in Preferential Description Logics 93
Reasoning about typicality in low complexity DLs: the logics EL^\bot T_min and DL-lite_R T_min 92
Proceedings of the 29th Italian Conference on Computational Logic 91
Non-Classical Logics for Knowledge Representation and Reasoning 90
CondLean: A Theorem Prover for Conditional Logics 89
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment 87
CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity 86
Logics in Access Control: A Conditional Approach 85
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics 83
Proof Methods for Conditional and Preferential Logics of Nonmonotonic Reasoning 82
Verifying Business Process Compliance by Reasoning about Actions 81
A constructive conditional logic for access control: a preliminary report 80
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods 80
Reasoning about Typicality and Probabilities in Preferential Description Logics 80
KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning 77
CondLean 2.0: an Efficient Theorem Prover for Standard Conditional Logics 76
Rational closure for description logics of typicality 76
Theorem Proving for Conditional Logics: CondLean and GoalDuck 76
Automated Reasoning for Conditional Logics: the Theorem Prover CondLean 3.1 75
Non-Classical Logics for Knowledge Representation and Reasoning 75
Totale 14.017
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.119
article - articoli 0
book - libri 0
conference - conferenze 23.949
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 58.068
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.207 0 245 409 319 211 342 237 189 346 232 367 310
2020/20215.431 343 211 198 197 558 645 579 636 733 669 503 159
2021/20221.238 15 74 44 124 55 54 111 96 34 122 205 304
2022/20231.438 189 88 50 129 145 389 153 83 111 14 46 41
2023/20241.115 63 163 48 43 57 204 67 16 5 90 214 145
2024/2025172 109 63 0 0 0 0 0 0 0 0 0 0
Totale 15.212