Catalogo dei prodotti della ricerca

LIBERATORE, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.323
EU - Europa 500
AS - Asia 194
SA - Sud America 20
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.041
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.311
UA - Ucraina 160
SE - Svezia 140
IN - India 103
CN - Cina 82
IT - Italia 82
FI - Finlandia 49
NL - Olanda 22
AR - Argentina 19
GB - Regno Unito 14
CA - Canada 12
IE - Irlanda 10
SG - Singapore 7
DE - Germania 6
BE - Belgio 5
FR - Francia 5
GR - Grecia 2
RO - Romania 2
CL - Cile 1
EE - Estonia 1
ES - Italia 1
EU - Europa 1
GH - Ghana 1
KZ - Kazakistan 1
MU - Mauritius 1
MY - Malesia 1
PL - Polonia 1
ZA - Sudafrica 1
Totale 3.041
Salva come PNG Salva come JPEG
Città #
Fairfield 328
Woodbridge 268
Chandler 196
Houston 173
Ann Arbor 152
Ashburn 152
Seattle 145
Cambridge 134
Wilmington 104
Jacksonville 67
Princeton 53
Beijing 50
Plano 49
Rome 42
San Diego 41
Lawrence 39
Boston 37
Dearborn 24
Federal 19
Millbury 16
San Paolo di Civitate 13
Boardman 12
Des Moines 12
Norwalk 11
Dublin 10
Toronto 9
Andover 7
Hefei 6
Indiana 6
Southend 6
Brussels 5
Nanjing 5
Redmond 5
San Mateo 5
Falls Church 4
London 4
Romain 4
Hebei 3
New York 3
Ningbo 3
Phoenix 3
Singapore 3
Buffalo 2
Bühl 2
Centrale 2
Ottawa 2
Pontecorvo 2
Tappahannock 2
Yellow Springs 2
Baotou 1
Bologna 1
Capaccio 1
Chicago 1
Dallas 1
Florence 1
Fuzhou 1
Grafing 1
Guangzhou 1
Helsinki 1
Jiaxing 1
Jinan 1
Kamampa 1
Kilburn 1
Las Vegas 1
Latina 1
Laurel 1
Maarssen 1
Miami Beach 1
Montréal 1
Nanchang 1
Nantong 1
North Babylon 1
Pathanamthitta 1
Provo 1
Quzhou 1
Ravarino 1
Redwood City 1
Ridder 1
Sabadell 1
San Francisco 1
Shanghai 1
Silverton 1
Simi Valley 1
St Louis 1
Tallinn 1
Verona 1
Viterbo 1
Vittuone 1
Voghera 1
Warsaw 1
Totale 2.283
Salva come PNG Salva come JPEG
Nome #
A framework for belief update 107
Compilability and compact representations of revision of Horn knowledge bases 97
The complexity of action redundancy 88
k-approximating circuits 85
Belief revision and update: Complexity of model checking 85
Complexity and compilability of diagnosis and recovery of graph-based systems 82
Complexity results on DPLL and resolution 82
Model Checking and Preprocessing 77
Bijective faithful translations among default logics 77
Conditional independence in propositional logic 77
Uncontroversial default logic 76
Compilability of Propositional Abduction 76
Redundancy in logic II: 2CNF and Horn propositional formulae 75
Belief Integration and Source Reliability Assessment 75
Reducing belief revision to circumscription (and vice versa) 74
On the complexity of extension checking in default logic 73
Redundancy in logic III: Non-monotonic reasoning 70
On the complexity of second-best abductive explanations 68
Where fail-safe default logics fail 65
Arbitration (or how to merge knowledge bases) 65
Propositional independence: Formula-variable independence and forgetting 65
On polynomial sized MDP succinct policies 64
Monotonic reductions, representative equivalence, and compilation of intractable problems 64
On the complexity of case-based planning 63
The complexity of belief update 62
The size of BDDs and other data structures in temporal logics model checking 62
Redundancy in logic I: CNF propositional formulae 61
Seminormalizing a default theory 61
The complexity of model checking for propositional default logics 60
On the complexity of choosing the branching literal in DPLL 59
Representability in default logic 58
Feasibility and unfeasibility of off-line processing 58
The size of a revised knowledge base 58
The complexity of model checking for propositional default logics 55
Complexity of the unique extension problem in default logic 54
Space Efficiency of Propositional Knowledge Representation Formalisms 53
Size of a revised knowledge base 51
Consistency defaults 50
The compilability framework 49
Space efficiency of propositional knowledge representation formalisms 49
Belief merging by examples 47
Preprocessing of intractable problems 41
The size of MDP factored policies 41
Compilability of abduction 40
The complexity of belief update 40
Expressive power and succinctness of propositional languages for preference representation 38
Solving QBF by SMV 30
BReLS: A system for the integration of knowledge bases 28
On the Complexity of Finding Second-Best Abductive Explanations 28
The complexity of model checking for belief revision and update 24
Revision by History 22
The compactness of belief revision and update operators 20
Belief merging in absence of reliability information 17
Mixed Iterated Revisions: Rationale, Algorithms, and Complexity 9
Reconstructing a single-head formula to facilitate logical forgetting 1
Totale 3.156
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.314
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 7.314
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019324 0 0 0 0 0 0 0 0 0 72 142 110
2019/2020828 97 21 8 42 87 114 114 104 91 78 55 17
2020/2021268 41 59 13 12 10 24 3 22 26 38 17 3
2021/2022686 1 36 67 7 73 59 18 39 57 64 102 163
2022/2023590 95 111 46 61 65 66 4 42 66 0 8 26
2023/202491 15 30 9 4 11 6 1 5 0 10 0 0
Totale 3.156