Benvenuti nell'Anagrafe della Ricerca d'Ateneo

CIALDEA, Marta
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.402
EU - Europa 6.088
AS - Asia 3.694
Continente sconosciuto - Info sul continente non disponibili 431
SA - Sud America 410
AF - Africa 223
OC - Oceania 7
Totale 17.255
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.322
DK - Danimarca 1.882
CN - Cina 1.863
GB - Regno Unito 1.255
RU - Federazione Russa 1.123
SG - Singapore 1.037
SE - Svezia 412
VN - Vietnam 355
DE - Germania 341
UA - Ucraina 294
BR - Brasile 293
IT - Italia 257
FI - Finlandia 117
IE - Irlanda 89
IN - India 87
SN - Senegal 87
CI - Costa d'Avorio 86
FR - Francia 83
AL - Albania 79
HK - Hong Kong 59
TR - Turchia 58
CA - Canada 42
AR - Argentina 37
BD - Bangladesh 37
NL - Olanda 34
IQ - Iraq 27
ID - Indonesia 26
MX - Messico 22
JP - Giappone 20
BE - Belgio 19
CO - Colombia 17
ES - Italia 16
EC - Ecuador 15
PK - Pakistan 15
KR - Corea 14
CH - Svizzera 13
MA - Marocco 13
AT - Austria 12
CL - Cile 12
UZ - Uzbekistan 12
VE - Venezuela 12
ZA - Sudafrica 11
MY - Malesia 10
GR - Grecia 9
PH - Filippine 9
PY - Paraguay 9
HU - Ungheria 8
LT - Lituania 8
NP - Nepal 8
PL - Polonia 8
SA - Arabia Saudita 8
AU - Australia 7
KE - Kenya 7
UY - Uruguay 7
RO - Romania 6
BG - Bulgaria 5
EG - Egitto 5
IL - Israele 5
KG - Kirghizistan 5
AZ - Azerbaigian 4
CZ - Repubblica Ceca 4
JM - Giamaica 4
JO - Giordania 4
TH - Thailandia 4
BO - Bolivia 3
DZ - Algeria 3
EU - Europa 3
NO - Norvegia 3
OM - Oman 3
PA - Panama 3
PE - Perù 3
PT - Portogallo 3
RS - Serbia 3
TN - Tunisia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AE - Emirati Arabi Uniti 2
BH - Bahrain 2
ET - Etiopia 2
GA - Gabon 2
GE - Georgia 2
GY - Guiana 2
IR - Iran 2
KW - Kuwait 2
KZ - Kazakistan 2
PR - Porto Rico 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
AM - Armenia 1
BB - Barbados 1
BT - Bhutan 1
CM - Camerun 1
CR - Costa Rica 1
CY - Cipro 1
DO - Repubblica Dominicana 1
GH - Ghana 1
GL - Groenlandia 1
HN - Honduras 1
HR - Croazia 1
IS - Islanda 1
KH - Cambogia 1
Totale 16.818
Salva come PNG Salva come JPEG
Città #
Southend 1.110
Woodbridge 794
Fairfield 598
Ashburn 565
Singapore 481
Ann Arbor 408
Wilmington 403
Houston 347
Nanjing 296
Chandler 277
Seattle 269
San Jose 256
Dearborn 250
Beijing 241
Cambridge 197
Jacksonville 185
Boardman 166
Princeton 148
Dong Ket 137
Dallas 129
Hefei 123
Nanchang 116
Shenyang 92
Dakar 87
Dublin 87
Plano 87
Ho Chi Minh City 82
Hebei 75
Jinan 73
Redwood City 70
Rome 67
Changsha 64
The Dalles 61
Tianjin 54
Moscow 53
Hong Kong 51
Jiaxing 49
Los Angeles 49
Shanghai 48
Milan 43
Frankfurt am Main 40
Izmir 39
San Diego 39
Hanoi 38
Munich 38
Zhengzhou 37
Helsinki 34
Ningbo 34
Orange 34
Hangzhou 31
Kunming 31
Guangzhou 29
São Paulo 29
Pune 28
New York 27
Council Bluffs 26
Santa Clara 25
Lauterbourg 23
Orem 23
London 22
Bremen 21
Chicago 20
Altamura 19
Tokyo 19
Brussels 18
Portsmouth 18
Augusta 17
Columbus 16
Taizhou 16
Brooklyn 15
Seoul 14
Atlanta 13
Baghdad 12
Montreal 12
Verona 12
Amsterdam 11
Denver 11
Dortmund 11
Jakarta 11
Mumbai 11
Tashkent 11
Toronto 11
Chennai 10
Grafing 10
San Paolo di Civitate 10
Flushing 9
Istanbul 9
Rio de Janeiro 9
Venezia 9
Alameda 8
Boston 8
Buffalo 8
Fuzhou 8
Haikou 8
Haiphong 8
Madrid 8
Manchester 8
Washington 8
Westminster 8
Düsseldorf 7
Totale 9.787
Salva come PNG Salva come JPEG
Nome #
Abduction and consequence generation in a support system for the design of logical multiple-choice questions 323
PLATINUm: A new framework for planning and acting 312
An executable semantics of flexible plans in terms of Timed Game Automata 309
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities 302
A Planner Fully Based on Linear Time Logic 293
Steps in assessing a timeline-based planner 290
Planning and execution with flexible timelines: a formal account 288
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic 282
An efficient approach to nominal equalities in hybrid logic tableaux 272
A Formal Account of Planning with Flexible Timelines 271
First Order Linear Temporal Logic over Finite Time Structures 268
Linear temporal logic as an executable semantics for planning languages 263
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies 259
A General Theorem Prover for Quantified Modal Logics 257
A polynomial translation of S4 into T and contraction-free tableaux for S4 253
A modal Herbrand's property 252
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders 252
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 248
Linear temporal logic as an executable semantics for planning languages 248
A Planner Fully Based on Linear Time Logic 245
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. 241
A Proposal for Planning with graded fluents and actions (Pianificare con azioni e fluenti graduati) 234
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics 233
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies 230
Pdk: the system and its language 230
A Rational reconstruction of the Diagnostic Process in Intelligent Tutoring Systems 227
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 225
Planning with Graded Fluents and Actions 223
A study on the logic of abduction 220
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 220
A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. 219
Variants of First-Order Modal Logics 214
First order abduction via tableau and sequent calculi. 212
Quality metrics to evaluate flexible timeline-based plans 211
Using Linear Temporal Logic to Model and Solve Planning Problems 210
A rational reconstruction of the diagnostic process in Intelligent Tutoring Systems 210
Planning under Uncertainty in Linear Time Logic 209
Labelled Tableaux for Propositional Linear Time Logic over Finite Frames 208
Temporal abductive reasoning about biochemical reactions 208
Extended Decision Procedure for a Fragment of HL with Binders 207
Bounded Model Search in Linear Temporal Logic and Its Application to Planning 207
Herod and Pilate: two tableau provers for basic hybrid logic 207
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 206
Abduction is not Deduction-in-Reverse. 202
Propositional abduction in modal logic 201
Natural properties of abductive hypotheses in three-valued logic 196
Resolution for some first order modal systems. 191
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 188
Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration 188
Meta reasoning and student modelling 187
Propositional abduction in modal logic. 183
Planning with Graded Fluents and Actions 182
Applicazioni di intelligenza artificiale nella formazione. Alcune esperienze 181
Metalevel Knowledge in Intelligent Educational Systems 179
Complexity of Timeline-based Planning 173
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 173
Introduzione alla programmazione funzionale 172
Simulation and robotic systems for operations in emergency scenarios 169
An AI-Based Approach to Automatic Waste Sorting 168
Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains 168
Reasoning about student knowledge and reasoning 166
Free-Variable Tableaux for Constant-Domain Quantified Modal Logic with Rigid and Non-rigid Designation 165
The Main Features of a Planner Fully Based on LTL 160
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 160
Reasoning about student knowledge and reasoning. 159
Herbrand style proof procedures for modal logic 159
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics 157
First Order Linear Time Tem- poral Logic over Finite Time Frames is not Semi-decidable 157
Invito all'Intelligenza Artificiale. 157
Integrating Resource Management and Timeline-based Planning 156
On timeline-based games and their complexity 153
Nominal Substitution at work with the Global and Converse Modalities 150
Tableaux 2003. Position papers and tutorial (Rome, 9-12 september 2003) 150
Introduzione alla Programmazione Funzionale 148
A game-theoretic approach to timeline-based planning with uncertainty 147
Modal and meta-languages: consistency and expressiveness. 145
Logica - Linguaggio, Ragionamento, Calcolo 144
A Framework for Modelling Molecular Interaction Maps 143
Un metodo di risoluzione per il calcolo dei predicati modale 141
A Language for Timeline-based Planning 140
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings 138
A Prototype for the Robust Execution of Flexible Plans 136
Autonomous Generation of Symbolic Knowledge via Option Discovery 92
Option Discovery for Autonomous Generation of Symbolic Knowledge 90
P3M: une plate-forme logicielle pour la modélisation et la manipulation des cartes d'interactions moléculaires 84
Logical Connectives for two-state Semantics 59
Totale 17.255
Salva come PNG Salva come JPEG
Categoria #
all - tutte 50.623
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 50.623
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022850 0 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/20252.230 15 115 226 43 34 90 839 381 179 60 135 113
2025/20263.124 335 389 260 386 331 242 356 49 245 379 99 53
2026/202763 52 11 0 0 0 0 0 0 0 0 0 0
Totale 17.255