SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

D'AGOSTINO, Marcello
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.738
EU - Europa 907
AS - Asia 656
OC - Oceania 5
SA - Sud America 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.311
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.733
CN - Cina 381
UA - Ucraina 330
TR - Turchia 184
DE - Germania 150
IT - Italia 137
GB - Regno Unito 104
SG - Singapore 78
FI - Finlandia 71
SE - Svezia 68
BE - Belgio 11
PL - Polonia 11
FR - Francia 8
ES - Italia 5
IN - India 5
NL - Olanda 5
IR - Iran 4
MX - Messico 4
AU - Australia 3
BR - Brasile 2
EU - Europa 2
IE - Irlanda 2
KR - Corea 2
NZ - Nuova Zelanda 2
RU - Federazione Russa 2
AE - Emirati Arabi Uniti 1
BO - Bolivia 1
CA - Canada 1
CZ - Repubblica Ceca 1
ID - Indonesia 1
RS - Serbia 1
SM - San Marino 1
Totale 4.311
Salva come PNG Salva come JPEG
Città #
Jacksonville 379
Chandler 332
Woodbridge 320
Houston 220
Fairfield 215
Ann Arbor 180
Ashburn 149
Izmir 114
Nanjing 108
Wilmington 104
Seattle 92
Princeton 73
Cambridge 62
Singapore 47
Beijing 46
Boardman 42
San Diego 39
Shenyang 38
Nanchang 34
Hebei 26
Changsha 20
Los Angeles 18
Milan 18
Tianjin 15
Jiaxing 14
Jinan 14
San Mateo 12
Brussels 11
Ferrara 11
Norwalk 11
Rome 11
Warsaw 11
Ningbo 10
Guangzhou 8
Kunming 8
Verona 7
Dearborn 6
Orange 6
Philadelphia 6
Shanghai 6
Auburn Hills 5
Bologna 5
Lanzhou 5
Mountain View 5
New York 5
Redwood City 5
Taizhou 5
Zhengzhou 5
Amsterdam 4
Changchun 4
Des Moines 4
Düsseldorf 4
Falls Church 4
Mexico City 4
Redmond 4
Barcelona 3
Crevalcore 3
Giovinazzo 3
Hangzhou 3
Helsinki 3
Indiana 3
Palermo 3
Taglio Di Po 3
Abano Terme 2
Ardabil 2
Cattolica 2
Cáceres 2
Eskisehir 2
Hefei 2
London 2
Milazzo 2
Nichelino 2
Parma 2
Reggio Emilia 2
Siena 2
Varese 2
Andover 1
Aprilia 1
Atlanta 1
Barletta 1
Belgrade 1
Brooklyn 1
Busto Arsizio 1
Canberra 1
Celano 1
Cernusco sul Naviglio 1
Chicago 1
Chiswick 1
Clearwater 1
Cochabamba 1
Cupertino 1
Dublin 1
Edinburgh 1
Empoli 1
Erith 1
Formello 1
Frankfurt am Main 1
Genova 1
Guido 1
Haikou 1
Totale 2.985
Salva come PNG Salva come JPEG
Nome #
null 139
A generalization of analytic deduction via labelled deductive systems. Part 1: basic substructural logics 123
How to standardize (if you must) 118
A logical calculus for controlled monotonicity 99
Fibred Tableaux for multi-implication logics 96
An informational view of classical logic 95
The Taming of the Cut. Classical Refutations with Analytic Cut 93
The measurement of rank mobility 93
Epistemic accuracy and subjective probability. 91
Informational Semantics, Non-deterministic Matrices and Feasible Deduction 90
Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction 90
WinKE: A Pedagogic Tool for Teaching Logic and Reasoning 89
Deduzione analitica classica, complessità e significato degli operatori logici 85
Carnap and Logical Truth 79
A Solution to a Problem of Popper 76
What's So Special About Euclidean Distance? A Characterization Result with Applications to Mobility and Spatial Voting 75
Cut-Based Abduction 70
"Ragionare dobbiamo, e spesso" 67
The enduring scandal of deduction. Is propositional logic really uninformative? 67
Il Dilemma dell'ATP 66
Sistemi di refutazione indicizzati e logiche substrutturali 66
I sistemi logici di Karl Popper e l'insegnamento della logica 66
Modelling resource allocation in open embedded systems 66
Investigations into the Complexity of some Propositional calculi 65
Are Tableaux an improvement on truth-tables? Cut-free proofs and bivalence 64
Leibniz e la geometria nascosta 64
Tableau Methods for Classical Propositional Logics 64
Scritti Filosofici di Imre Lakatos. 2 voll. 64
An Improvement of Analytic Tableaux 61
Depth-Bounded Logic for Realistic Agents 61
Classical Analytic Deduction and Complexity 61
An Improvement of Analytic Tableaux 61
Transformation methods in LSD 59
Journal of the IGPL 59
Depth-Bounded Probability Logic: A Preliminary Investigation 58
Classical Natural Deduction 58
Forecasting Accuracy and Subjective Probability 57
Labelled Refutation Systems. A Case Study 56
Deduction 56
Tableaux methods for substructural logics 56
Classical logic as the limit of a sequence of cut-bounded feasible logics 55
What's so special about Euclidean distance? A characterization with applications to mobility and spatial voting 54
The complexity of proof search with analytic tableaux and related systems 53
Logic and the Myth of the Perfect Language 52
Carnap e la verità logica 51
Labelled Deduction 50
null 50
La logica è davvero analitica? 48
Grafting modalities onto substructural implication systems 48
Libertà: aspetti teorici ed empirici 47
Introduzione all'edizione italiana 47
Measuring Ordinal Mobility: Theory and an Application to Italy. 46
Information Frames, Implication Systems and Modalities 46
Towards a more realistic theory of semantic information 46
Handbook of Tableaux Methods 46
Tractable Depth Bounded Logics and the Problem of Logical Omniscience 45
Towards theorem proving with analytic cut 45
SILFS Series 45
Efficient Classical Refutations 44
Finding proofs in substructural logics 44
Proper derived rules and the relative complexity of formal proofs 44
Logica 43
Labelled analytic deduction for Normal Modal Logics 42
Un nuovo approccio alla meccanizzazione del ragionamento deduttivo 40
L'impatto di Turing sulla logica 40
La logica e il mito del linguaggio perfetto 38
Libertà:un approccio statistico 36
null 34
Logica r Politica. Per Marco Mondadori 34
Analytic Inference and the Informational Meaning of the Logical Operators 16
New Essays in Logic and Philosophy of Science 8
Semantics and proof-theory of depth bounded Boolean logics 8
Totale 4.368
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.975
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.718
Totale 22.693
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020604 0 14 19 109 28 94 36 86 36 123 42 17
2020/2021624 67 49 17 87 6 73 22 82 9 81 104 27
2021/2022507 12 73 23 17 17 14 24 31 18 63 67 148
2022/2023681 78 43 11 82 111 108 6 81 89 3 51 18
2023/2024231 39 51 9 10 18 24 2 2 0 9 7 60
2024/202547 32 15 0 0 0 0 0 0 0 0 0 0
Totale 4.368