CINECA IRIS Institutional Research Information System

POZZATO, Gian Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.226
EU - Europa 4.503
AS - Asia 1.195
OC - Oceania 24
SA - Sud America 22
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 12
Totale 13.994
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.137
DK - Danimarca 1.443
CN - Cina 765
IT - Italia 724
SE - Svezia 442
IE - Irlanda 392
FR - Francia 278
DE - Germania 268
UA - Ucraina 256
GB - Regno Unito 213
FI - Finlandia 209
KR - Corea 146
VN - Vietnam 118
PL - Polonia 83
CA - Canada 80
SG - Singapore 44
IN - India 42
RU - Federazione Russa 42
AT - Austria 41
NL - Olanda 33
JP - Giappone 22
GR - Grecia 21
AU - Australia 16
BE - Belgio 15
BR - Brasile 14
HK - Hong Kong 13
EU - Europa 12
TR - Turchia 11
MX - Messico 9
NZ - Nuova Zelanda 8
CH - Svizzera 7
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
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
BO - Bolivia 1
CL - Cile 1
CY - Cipro 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
IQ - Iraq 1
KE - Kenya 1
MD - Moldavia 1
MT - Malta 1
MU - Mauritius 1
OM - Oman 1
PK - Pakistan 1
PS - Palestinian Territory 1
TW - Taiwan 1
Totale 13.994
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
Dearborn 185
Ashburn 177
Villeurbanne 143
Medford 138
Princeton 127
Torino 119
Woodbridge 106
Dong Ket 101
Pisa 93
Warsaw 82
Nyköping 67
Norwalk 62
Fremont 57
Cambridge 56
Turin 56
Wayne 54
Düsseldorf 47
Boston 46
New York 46
Seattle 45
Milan 44
Boardman 41
Los Angeles 41
Vienna 39
Toronto 38
Naples 33
Redwood City 26
Falls Church 25
Helsinki 25
Padova 24
London 19
Nanjing 18
San Mateo 18
San Diego 16
Brussels 15
Delhi 15
Ottawa 15
Rome 14
Hefei 13
Selargius 13
Mountain View 12
Seongnam 12
Bordeaux 11
Shenzhen 11
Hangzhou 10
Genoa 9
Jinan 9
Verona 9
Alba 8
Chennai 8
Hong Kong 8
Lachine 8
Sesto San Giovanni 8
Singapore 8
Hebei 7
Karlsruhe 7
Kunming 7
Munich 7
Old Bridge 7
Bologna 6
Boves 6
Catania 6
Chengdu 6
Fontanil 6
Kharkiv 6
Phoenix 6
Seoul 6
Sydney 6
São Paulo 6
Auburn Hills 5
Camden 5
Des Moines 5
Frankfurt am Main 5
Horia 5
Minsk 5
Nanchang 5
Novara 5
Redmond 5
San Mauro Torinese 5
Seongdong-gu 5
Sofia 5
Southend 5
Stavanger 5
Zhengzhou 5
Baotou 4
Dresden 4
Islington 4
Madison 4
Ningbo 4
Pont Canavese 4
Rivoli 4
Totale 9.488
Salva come PNG Salva come JPEG
Nome #
COCOS: A typicality based COncept COmbination System 319
An efficient reasoner for description logics of typicality and rational closure 312
Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures 263
RAT-OWL: Reasoning with rational closure in description logics of typicality 250
Typicalities and probabilities of exceptions in nonmotonic Description Logics 247
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach 245
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014 236
VINTE: An implementation of internal calculi for lewis'€™ logics of counterfactual reasoning 233
Nested Sequent Calculi for Normal Conditional Logics 232
Reasoning About Plausible Scenarios in Description Logics of Typicality 227
Reasoning in description logics with typicalities and probabilities of exceptions 227
Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for Knowledge Invention 225
Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics 223
A description logic of typicality for conceptual combination 223
Applying a description logic of typicality as a generative tool for concept combination in computational creativity 219
On probabilities of exceptions in description logics of typicality 218
Hypersequent calculi for lewis'€™ conditional logics with uniformity and reflexivity 217
Semantic characterization of Rational Closure: from Propositional Logic to Description Logics 216
A NonMonotonic Description Logic for Reasoning About Typicality 209
ALC + Texp: beyond most likely scenarios in preferential Description Logics of typicality 199
Standard Sequent Calculi for Lewis' Logics of Counterfactuals 186
A Dynamic Knowledge Generation System for Cognitive Agents 186
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 173
Logics in Access Control: A Conditional Approach 170
Typicality-based revision for handling exceptions in Description Logics 167
PEAR: A tool for reasoning about scenarios and probabilities in description logics of typicality 165
GOCCIOLA: Generating new knowledge by combining concepts in description logics of typicality 163
Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND 157
A Typicality-based Revision to Handle Exceptions in Description Logics 147
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics 142
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning 140
NESCOND: an Implementation of Nested Sequent Calculi for Conditional Logics 140
Reasoning About Surprising Scenarios in Description Logics of Typicality 139
Verifying Business Process Compliance by Reasoning about Actions 134
Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match 134
NESCOND 133
A Goal-Directed Calculus for Standard Conditional Logics 132
A tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore 130
A minimal model semantics for nonmonotonic reasoning 130
Analytic Tableaux for KLM Preferential and Cumulative Logics 129
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics 129
An Implmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0 128
A tableau calculus for a nonmonotonic extension of EL^\bot 128
A minimal model semantics for rational closure 124
KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations 121
ALC + T: a Preferential Extension of Description Logics 121
Prototypical reasoning with low complexity Description Logics: preliminary results 121
A nonmonotonic extension of KLM Preferential Logic P 120
A conditional constructive logic for access control and its sequent calculus 115
ALC+T: Reasoning About Typicality in Description Logics 114
Analytic Tableaux Calculi for KLM Rational Logic R 113
A Tableaux Calculus for KLM Preferential and Cumulative Logics 113
A Multi-Engine Theorem Prover for a Description Logic of Typicality 112
Reasoning About Typicality in ALC and EL 111
Rational Closure in SHIQ 111
Verifying Compliance of Business Processes with Temporal Answer Sets 110
A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus 109
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics 109
A Non-monotonic Description Logic of Typicality 108
A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics 107
Preferential Description Logics 106
Reasoning about typicality with low complexity Description Logics: the logic EL+⊥T 106
Minimal models for rational closure in SHIQ 106
Revising Description Logic Terminologies to Handle Exceptions: a First Step 106
A standard and internal calculus for Lewis counterfactual logics 106
A natural sequent calculus for Lewis logic of counterfactuals 105
A Modal Reconstruction of Rational Closure 103
Reasoning About Typicality in Description Logics:the Logic ALC+T_{min} 102
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning 101
Preferential vs Rational Description Logics: which one for Reasoning About Typicality? 101
A semantics for Rational Closure: Preliminary Results 98
PreDeLo 1.0: a Theorem Prover for Preferential Description Logics 98
Automated Deduction for Logics of Default Reasoning 97
A Knowledge-based System for the Dynamic Generation and Classification of Novel Contents in Multimedia Broadcasting 96
A goal-oriented framework for knowledge invention and creative problem solving in cognitive architectures 95
Nested Sequent Calculi for Conditional Logics 94
CondLean 3.0: Improving CondLean for Stronger Conditional Logics 92
Business process compliance verification: an annotation based approach with commitments 92
Reasoning about Typicality in Preferential Description Logics 91
Reasoning about typicality in low complexity DLs: the logics EL^\bot T_min and DL-lite_R T_min 90
Minimal Model Semantics and Rational Closure in Description Logics 90
Proceedings of the 29th Italian Conference on Computational Logic 88
Non-Classical Logics for Knowledge Representation and Reasoning 87
CondLean: A Theorem Prover for Conditional Logics 87
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment 85
CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity 84
Logics in Access Control: A Conditional Approach 82
Proof Methods for Conditional and Preferential Logics of Nonmonotonic Reasoning 80
Verifying Business Process Compliance by Reasoning about Actions 79
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics 79
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods 78
A constructive conditional logic for access control: a preliminary report 77
Reasoning about Typicality and Probabilities in Preferential Description Logics 77
KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning 75
CondLean 2.0: an Efficient Theorem Prover for Standard Conditional Logics 74
Non-Classical Logics for Knowledge Representation and Reasoning 74
Rational closure for description logics of typicality 74
Automated Reasoning for Conditional Logics: the Theorem Prover CondLean 3.1 73
Conditional and Preferential Logics: Proof Methods and Theorem Proving 71
Theorem Proving for Conditional Logics: CondLean and GoalDuck 71
Totale 13.631
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.388
article - articoli 0
book - libri 0
conference - conferenze 21.349
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 51.737
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019329 0 0 0 0 0 0 0 0 0 0 221 108
2019/20203.277 70 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/2024756 63 163 48 43 57 204 67 16 5 90 0 0
Totale 14.681