Benvenuti nell'Anagrafe della Ricerca d'Ateneo

CIALDEA, Marta
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.971
EU - Europa 4.633
AS - Asia 1.755
AF - Africa 170
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
SA - Sud America 1
Totale 11.542
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.959
DK - Danimarca 1.881
CN - Cina 1.371
GB - Regno Unito 1.194
SE - Svezia 406
UA - Ucraina 284
DE - Germania 253
IT - Italia 189
SG - Singapore 161
VN - Vietnam 137
FI - Finlandia 95
IE - Irlanda 87
CI - Costa d'Avorio 86
SN - Senegal 83
RU - Federazione Russa 77
AL - Albania 74
TR - Turchia 39
IN - India 33
FR - Francia 22
NL - Olanda 15
BE - Belgio 13
CA - Canada 11
CH - Svizzera 9
GR - Grecia 9
JP - Giappone 8
AT - Austria 7
AU - Australia 7
HU - Ungheria 5
RO - Romania 5
EU - Europa 3
A2 - ???statistics.table.value.countryCode.A2??? 2
CZ - Repubblica Ceca 2
ES - Italia 2
IR - Iran 2
MY - Malesia 2
PT - Portogallo 2
BD - Bangladesh 1
BG - Bulgaria 1
GL - Groenlandia 1
IS - Islanda 1
MA - Marocco 1
PY - Paraguay 1
SY - Repubblica araba siriana 1
Totale 11.542
Salva come PNG Salva come JPEG
Città #
Southend 1.110
Woodbridge 793
Fairfield 598
Ann Arbor 408
Wilmington 402
Houston 341
Ashburn 315
Nanjing 296
Chandler 277
Seattle 268
Dearborn 250
Cambridge 197
Jacksonville 185
Princeton 148
Beijing 145
Dong Ket 137
Singapore 128
Nanchang 116
Shenyang 92
Plano 87
Dublin 85
Dakar 83
Hebei 75
Jinan 72
Redwood City 70
Changsha 61
Tianjin 52
Rome 50
Jiaxing 49
Shanghai 48
Izmir 39
San Diego 38
Ningbo 34
Orange 33
Zhengzhou 33
Hangzhou 31
Hefei 31
Kunming 30
Pune 28
Milan 27
Bremen 21
Helsinki 21
Altamura 19
Guangzhou 19
Augusta 17
Taizhou 16
Brussels 13
London 13
Dallas 12
Verona 12
Dortmund 11
Boardman 10
Grafing 10
New York 10
San Paolo di Civitate 10
Flushing 9
Venezia 9
Alameda 8
Fuzhou 8
Haikou 8
Tokyo 8
Washington 8
Westminster 8
Chicago 7
Taiyuan 7
Changchun 6
Council Bluffs 6
Norwalk 6
Bari 5
Chengdu 5
Eitensheim 5
Lanzhou 5
Mountain View 5
San Mateo 5
Walnut 5
Wuhan 5
Xian 5
Chiswick 4
Kilburn 4
Redmond 4
Santa Clara 4
Sunnyvale 4
Toronto 4
Vigevano 4
Atlanta 3
Auburn Hills 3
Centrale 3
Chongqing 3
Groningen 3
Indiana 3
Lawrence 3
Linköping 3
Los Angeles 3
Baotou 2
Corropoli 2
Düsseldorf 2
Eugene 2
Fort Worth 2
Hunedoara 2
Imola 2
Totale 7.688
Salva come PNG Salva come JPEG
Nome #
An executable semantics of flexible plans in terms of Timed Game Automata 228
An efficient approach to nominal equalities in hybrid logic tableaux 221
Steps in assessing a timeline-based planner 219
PLATINUm: A new framework for planning and acting 217
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities 210
First Order Linear Temporal Logic over Finite Time Structures 208
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic 208
Planning and execution with flexible timelines: a formal account 200
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics 200
Abduction and consequence generation in a support system for the design of logical multiple-choice questions 196
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. 195
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies 188
Linear temporal logic as an executable semantics for planning languages 188
A Planner Fully Based on Linear Time Logic 185
A General Theorem Prover for Quantified Modal Logics 185
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 180
Pdk: the system and its language 180
A modal Herbrand's property 176
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 175
Linear temporal logic as an executable semantics for planning languages 175
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders 174
Variants of First-Order Modal Logics 173
Bounded Model Search in Linear Temporal Logic and Its Application to Planning 172
A Formal Account of Planning with Flexible Timelines 172
Extended Decision Procedure for a Fragment of HL with Binders 169
Propositional abduction in modal logic 166
Labelled Tableaux for Propositional Linear Time Logic over Finite Frames 166
A polynomial translation of S4 into T and contraction-free tableaux for S4 165
First order abduction via tableau and sequent calculi. 165
Using Linear Temporal Logic to Model and Solve Planning Problems 163
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 162
Herod and Pilate: two tableau provers for basic hybrid logic 162
Planning under Uncertainty in Linear Time Logic 161
Abduction is not Deduction-in-Reverse. 155
Meta reasoning and student modelling 154
Resolution for some first order modal systems. 153
Temporal abductive reasoning about biochemical reactions 152
A Rational reconstruction of the Diagnostic Process in Intelligent Tutoring Systems 150
A Planner Fully Based on Linear Time Logic 145
A study on the logic of abduction 144
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies 144
Propositional abduction in modal logic. 142
A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. 142
A Proposal for Planning with graded fluents and actions (Pianificare con azioni e fluenti graduati) 140
Applicazioni di intelligenza artificiale nella formazione. Alcune esperienze 140
A rational reconstruction of the diagnostic process in Intelligent Tutoring Systems 140
Quality metrics to evaluate flexible timeline-based plans 133
Planning with Graded Fluents and Actions 132
Natural properties of abductive hypotheses in three-valued logic 127
Planning with Graded Fluents and Actions 127
Herbrand style proof procedures for modal logic 127
Introduzione alla programmazione funzionale 126
Free-Variable Tableaux for Constant-Domain Quantified Modal Logic with Rigid and Non-rigid Designation 124
Metalevel Knowledge in Intelligent Educational Systems 121
Invito all'Intelligenza Artificiale. 120
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 120
Reasoning about student knowledge and reasoning 119
Reasoning about student knowledge and reasoning. 118
An AI-Based Approach to Automatic Waste Sorting 117
Simulation and robotic systems for operations in emergency scenarios 116
The Main Features of a Planner Fully Based on LTL 116
First Order Linear Time Tem- poral Logic over Finite Time Frames is not Semi-decidable 115
Modal and meta-languages: consistency and expressiveness. 115
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics 114
Nominal Substitution at work with the Global and Converse Modalities 113
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 113
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 112
Un metodo di risoluzione per il calcolo dei predicati modale 110
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 110
Logica - Linguaggio, Ragionamento, Calcolo 108
Introduzione alla Programmazione Funzionale 104
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings 103
Tableaux 2003. Position papers and tutorial (Rome, 9-12 september 2003) 99
Complexity of Timeline-based Planning 95
Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains 94
Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration 92
Integrating Resource Management and Timeline-based Planning 88
On timeline-based games and their complexity 83
A game-theoretic approach to timeline-based planning with uncertainty 64
A Framework for Modelling Molecular Interaction Maps 52
A Language for Timeline-based Planning 50
A Prototype for the Robust Execution of Flexible Plans 47
Autonomous Generation of Symbolic Knowledge via Option Discovery 47
P3M: une plate-forme logicielle pour la modélisation et la manipulation des cartes d'interactions moléculaires 45
Option Discovery for Autonomous Generation of Symbolic Knowledge 28
Logical Connectives for two-state Semantics 19
Totale 11.968
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.316
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 30.316
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.995 0 0 175 178 201 254 350 295 313 81 116 32
2020/20211.270 90 45 91 34 153 68 203 154 69 114 57 192
2021/2022922 72 99 21 25 181 23 122 35 74 25 78 167
2022/20231.155 165 206 125 84 92 227 0 98 103 1 27 27
2023/2024581 37 32 35 23 67 86 77 128 6 9 15 66
2024/2025130 15 115 0 0 0 0 0 0 0 0 0 0
Totale 11.968