Benvenuti nell'Anagrafe della Ricerca d'Ateneo

CIALDEA, Marta
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.192
EU - Europa 6.071
AS - Asia 3.673
SA - Sud America 405
AF - Africa 223
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
Totale 16.576
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.119
DK - Danimarca 1.882
CN - Cina 1.861
GB - Regno Unito 1.255
RU - Federazione Russa 1.123
SG - Singapore 1.026
SE - Svezia 412
VN - Vietnam 355
DE - Germania 341
UA - Ucraina 294
BR - Brasile 290
IT - Italia 246
FI - Finlandia 117
IE - Irlanda 89
IN - India 87
SN - Senegal 87
CI - Costa d'Avorio 86
FR - Francia 82
AL - Albania 79
HK - Hong Kong 58
TR - Turchia 58
CA - Canada 39
AR - Argentina 36
NL - Olanda 32
BD - Bangladesh 31
IQ - Iraq 27
ID - Indonesia 26
MX - Messico 22
JP - Giappone 20
BE - Belgio 18
CO - Colombia 17
ES - Italia 16
PK - Pakistan 15
EC - Ecuador 14
CH - Svizzera 13
KR - Corea 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
LT - Lituania 8
NP - Nepal 8
PL - Polonia 8
SA - Arabia Saudita 8
AU - Australia 7
HU - Ungheria 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
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
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
JM - Giamaica 2
KW - Kuwait 2
KZ - Kazakistan 2
PR - Porto Rico 2
PT - Portogallo 2
SY - Repubblica araba siriana 2
AM - Armenia 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
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
Totale 16.566
Salva come PNG Salva come JPEG
Città #
Southend 1.110
Woodbridge 794
Fairfield 598
Ashburn 532
Singapore 480
Ann Arbor 408
Wilmington 403
Houston 346
Nanjing 296
Chandler 277
Seattle 269
Dearborn 250
Beijing 240
San Jose 198
Cambridge 197
Jacksonville 185
Boardman 166
Princeton 148
Dong Ket 137
Dallas 127
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 65
Changsha 64
The Dalles 61
Tianjin 54
Moscow 53
Hong Kong 50
Jiaxing 49
Shanghai 48
Los Angeles 47
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
Pune 28
São Paulo 28
Council Bluffs 25
Lauterbourg 23
New York 23
London 22
Bremen 21
Orem 20
Altamura 19
Chicago 19
Tokyo 19
Brussels 18
Portsmouth 18
Augusta 17
Columbus 16
Taizhou 16
Brooklyn 15
Santa Clara 14
Seoul 13
Baghdad 12
Verona 12
Amsterdam 11
Dortmund 11
Jakarta 11
Montreal 11
Mumbai 11
Tashkent 11
Atlanta 10
Chennai 10
Denver 10
Grafing 10
San Paolo di Civitate 10
Toronto 10
Flushing 9
Istanbul 9
Rio de Janeiro 9
Venezia 9
Alameda 8
Fuzhou 8
Haikou 8
Haiphong 8
Madrid 8
Manchester 8
Washington 8
Westminster 8
Boston 7
Düsseldorf 7
Medellín 7
Totale 9.656
Salva come PNG Salva come JPEG
Nome #
Abduction and consequence generation in a support system for the design of logical multiple-choice questions 318
PLATINUm: A new framework for planning and acting 307
An executable semantics of flexible plans in terms of Timed Game Automata 302
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities 297
A Planner Fully Based on Linear Time Logic 288
Steps in assessing a timeline-based planner 288
Planning and execution with flexible timelines: a formal account 286
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic 282
An efficient approach to nominal equalities in hybrid logic tableaux 270
A Formal Account of Planning with Flexible Timelines 269
Linear temporal logic as an executable semantics for planning languages 261
First Order Linear Temporal Logic over Finite Time Structures 260
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies 257
A General Theorem Prover for Quantified Modal Logics 253
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders 247
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 247
A polynomial translation of S4 into T and contraction-free tableaux for S4 246
A modal Herbrand's property 245
Linear temporal logic as an executable semantics for planning languages 243
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. 241
A Planner Fully Based on Linear Time Logic 241
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics 232
A Proposal for Planning with graded fluents and actions (Pianificare con azioni e fluenti graduati) 229
Pdk: the system and its language 228
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies 226
A Rational reconstruction of the Diagnostic Process in Intelligent Tutoring Systems 225
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 224
A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. 219
Planning with Graded Fluents and Actions 218
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 217
A study on the logic of abduction 214
Variants of First-Order Modal Logics 213
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 209
A rational reconstruction of the diagnostic process in Intelligent Tutoring Systems 209
Labelled Tableaux for Propositional Linear Time Logic over Finite Frames 207
Herod and Pilate: two tableau provers for basic hybrid logic 207
Planning under Uncertainty in Linear Time Logic 205
Bounded Model Search in Linear Temporal Logic and Its Application to Planning 205
Temporal abductive reasoning about biochemical reactions 205
Extended Decision Procedure for a Fragment of HL with Binders 204
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 202
Propositional abduction in modal logic 199
Abduction is not Deduction-in-Reverse. 196
Natural properties of abductive hypotheses in three-valued logic 193
Resolution for some first order modal systems. 191
Meta reasoning and student modelling 187
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 183
Propositional abduction in modal logic. 183
Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration 183
Planning with Graded Fluents and Actions 180
Applicazioni di intelligenza artificiale nella formazione. Alcune esperienze 179
Metalevel Knowledge in Intelligent Educational Systems 178
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 172
Introduzione alla programmazione funzionale 169
Simulation and robotic systems for operations in emergency scenarios 166
Complexity of Timeline-based Planning 166
Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains 165
Reasoning about student knowledge and reasoning 163
An AI-Based Approach to Automatic Waste Sorting 163
Free-Variable Tableaux for Constant-Domain Quantified Modal Logic with Rigid and Non-rigid Designation 161
Reasoning about student knowledge and reasoning. 158
Herbrand style proof procedures for modal logic 158
The Main Features of a Planner Fully Based on LTL 157
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 157
Integrating Resource Management and Timeline-based Planning 155
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics 154
First Order Linear Time Tem- poral Logic over Finite Time Frames is not Semi-decidable 154
Invito all'Intelligenza Artificiale. 154
On timeline-based games and their complexity 153
Nominal Substitution at work with the Global and Converse Modalities 148
Tableaux 2003. Position papers and tutorial (Rome, 9-12 september 2003) 148
A game-theoretic approach to timeline-based planning with uncertainty 145
Introduzione alla Programmazione Funzionale 145
Modal and meta-languages: consistency and expressiveness. 144
Logica - Linguaggio, Ragionamento, Calcolo 142
Un metodo di risoluzione per il calcolo dei predicati modale 140
A Framework for Modelling Molecular Interaction Maps 137
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings 136
A Language for Timeline-based Planning 134
A Prototype for the Robust Execution of Flexible Plans 132
Autonomous Generation of Symbolic Knowledge via Option Discovery 90
P3M: une plate-forme logicielle pour la modélisation et la manipulation des cartes d'interactions moléculaires 83
Option Discovery for Autonomous Generation of Symbolic Knowledge 73
Logical Connectives for two-state Semantics 59
Totale 17.002
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.524
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 47.524
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021363 0 0 0 0 0 0 0 0 0 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/20252.230 15 115 226 43 34 90 839 381 179 60 135 113
2025/20262.934 335 389 260 386 331 242 356 49 245 341 0 0
Totale 17.002