Benvenuti nell'Anagrafe della Ricerca d'Ateneo

CIALDEA, Marta
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.977
EU - Europa 6.113
AS - Asia 3.706
SA - Sud America 433
Continente sconosciuto - Info sul continente non disponibili 431
AF - Africa 224
OC - Oceania 7
Totale 17.891
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.885
DK - Danimarca 1.882
CN - Cina 1.863
GB - Regno Unito 1.261
RU - Federazione Russa 1.123
SG - Singapore 1.037
SE - Svezia 412
VN - Vietnam 356
DE - Germania 344
BR - Brasile 304
UA - Ucraina 295
IT - Italia 270
FI - Finlandia 117
IE - Irlanda 89
IN - India 89
SN - Senegal 87
CI - Costa d'Avorio 86
FR - Francia 83
AL - Albania 79
HK - Hong Kong 59
TR - Turchia 58
CA - Canada 46
AR - Argentina 41
BD - Bangladesh 37
NL - Olanda 34
ID - Indonesia 29
IQ - Iraq 27
MX - Messico 22
CO - Colombia 20
JP - Giappone 20
BE - Belgio 19
EC - Ecuador 17
ES - Italia 16
PK - Pakistan 16
VE - Venezuela 15
KR - Corea 14
MA - Marocco 14
CH - Svizzera 13
PH - Filippine 13
AT - Austria 12
CL - Cile 12
UZ - Uzbekistan 12
ZA - Sudafrica 11
GR - Grecia 10
MY - Malesia 10
NP - Nepal 9
PY - Paraguay 9
HU - Ungheria 8
LT - Lituania 8
PL - Polonia 8
SA - Arabia Saudita 8
AU - Australia 7
KE - Kenya 7
UY - Uruguay 7
JM - Giamaica 6
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
PA - Panama 4
TH - Thailandia 4
BO - Bolivia 3
DZ - Algeria 3
EU - Europa 3
NO - Norvegia 3
OM - Oman 3
PE - Perù 3
PR - Porto Rico 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
HN - Honduras 2
IR - Iran 2
KW - Kuwait 2
KZ - Kazakistan 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BS - Bahamas 1
BT - Bhutan 1
CM - Camerun 1
CR - Costa Rica 1
CY - Cipro 1
DO - Repubblica Dominicana 1
GH - Ghana 1
GL - Groenlandia 1
GT - Guatemala 1
Totale 17.450
Salva come PNG Salva come JPEG
Città #
Southend 1.110
Woodbridge 794
Ashburn 697
Fairfield 598
Singapore 481
Ann Arbor 408
Wilmington 404
Houston 347
San Jose 338
Nanjing 296
Chandler 277
Seattle 269
Dearborn 250
Beijing 241
Cambridge 197
Jacksonville 185
Boardman 167
Princeton 148
Dallas 146
Dong Ket 137
Hefei 123
Nanchang 116
Council Bluffs 101
Shenyang 92
Dakar 87
Dublin 87
Plano 87
Ho Chi Minh City 83
Hebei 75
Jinan 73
Redwood City 70
Rome 67
Changsha 64
The Dalles 62
Tianjin 54
Moscow 53
Hong Kong 51
Los Angeles 50
Jiaxing 49
Shanghai 48
Milan 46
Chicago 43
Frankfurt am Main 40
San Diego 40
Izmir 39
Hanoi 38
Munich 38
Zhengzhou 37
Helsinki 34
Ningbo 34
Orange 34
Hangzhou 31
Kunming 31
Santa Clara 30
São Paulo 30
Guangzhou 29
Pune 28
New York 27
Lauterbourg 23
Orem 23
London 22
Bremen 21
Altamura 19
Tokyo 19
Brussels 18
Portsmouth 18
Atlanta 17
Augusta 17
Columbus 16
Taizhou 16
Brooklyn 15
Washington 15
Seoul 14
Denver 13
Phoenix 13
Toronto 13
Baghdad 12
Montreal 12
Mumbai 12
Verona 12
Amsterdam 11
Chennai 11
Dortmund 11
Jakarta 11
Tashkent 11
Grafing 10
San Francisco 10
San Paolo di Civitate 10
Charlotte 9
Flushing 9
Istanbul 9
Rio de Janeiro 9
Venezia 9
Alameda 8
Boston 8
Buffalo 8
Fuzhou 8
Haikou 8
Haiphong 8
Madrid 8
Totale 10.157
Salva come PNG Salva come JPEG
Nome #
Abduction and consequence generation in a support system for the design of logical multiple-choice questions 330
PLATINUm: A new framework for planning and acting 325
An executable semantics of flexible plans in terms of Timed Game Automata 320
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities 310
A Planner Fully Based on Linear Time Logic 305
Steps in assessing a timeline-based planner 298
Planning and execution with flexible timelines: a formal account 292
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic 288
An efficient approach to nominal equalities in hybrid logic tableaux 280
First Order Linear Temporal Logic over Finite Time Structures 277
A Formal Account of Planning with Flexible Timelines 276
Linear temporal logic as an executable semantics for planning languages 269
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 267
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies 265
A polynomial translation of S4 into T and contraction-free tableaux for S4 263
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders 261
A General Theorem Prover for Quantified Modal Logics 260
A modal Herbrand's property 257
Linear temporal logic as an executable semantics for planning languages 255
A Planner Fully Based on Linear Time Logic 251
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. 245
A Proposal for Planning with graded fluents and actions (Pianificare con azioni e fluenti graduati) 244
A Rational reconstruction of the Diagnostic Process in Intelligent Tutoring Systems 239
Pdk: the system and its language 239
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics 236
A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. 235
Planning with Graded Fluents and Actions 234
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies 234
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 230
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 227
A study on the logic of abduction 226
First order abduction via tableau and sequent calculi. 220
Using Linear Temporal Logic to Model and Solve Planning Problems 218
Variants of First-Order Modal Logics 218
Quality metrics to evaluate flexible timeline-based plans 218
Planning under Uncertainty in Linear Time Logic 215
Bounded Model Search in Linear Temporal Logic and Its Application to Planning 215
A rational reconstruction of the diagnostic process in Intelligent Tutoring Systems 214
Extended Decision Procedure for a Fragment of HL with Binders 213
Labelled Tableaux for Propositional Linear Time Logic over Finite Frames 213
Herod and Pilate: two tableau provers for basic hybrid logic 213
Temporal abductive reasoning about biochemical reactions 212
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 212
Abduction is not Deduction-in-Reverse. 210
Propositional abduction in modal logic 206
Natural properties of abductive hypotheses in three-valued logic 205
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 202
Resolution for some first order modal systems. 195
Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration 195
Meta reasoning and student modelling 194
Planning with Graded Fluents and Actions 186
Propositional abduction in modal logic. 186
Applicazioni di intelligenza artificiale nella formazione. Alcune esperienze 185
Complexity of Timeline-based Planning 184
Metalevel Knowledge in Intelligent Educational Systems 184
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 181
Introduzione alla programmazione funzionale 180
Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains 177
Simulation and robotic systems for operations in emergency scenarios 176
The Main Features of a Planner Fully Based on LTL 176
Invito all'Intelligenza Artificiale. 171
An AI-Based Approach to Automatic Waste Sorting 171
Reasoning about student knowledge and reasoning 170
Free-Variable Tableaux for Constant-Domain Quantified Modal Logic with Rigid and Non-rigid Designation 170
First Order Linear Time Tem- poral Logic over Finite Time Frames is not Semi-decidable 167
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 167
Reasoning about student knowledge and reasoning. 164
Integrating Resource Management and Timeline-based Planning 163
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics 162
Herbrand style proof procedures for modal logic 162
On timeline-based games and their complexity 159
Tableaux 2003. Position papers and tutorial (Rome, 9-12 september 2003) 157
Nominal Substitution at work with the Global and Converse Modalities 156
A Framework for Modelling Molecular Interaction Maps 156
Introduzione alla Programmazione Funzionale 155
Modal and meta-languages: consistency and expressiveness. 154
A Language for Timeline-based Planning 153
Logica - Linguaggio, Ragionamento, Calcolo 152
A game-theoretic approach to timeline-based planning with uncertainty 151
Un metodo di risoluzione per il calcolo dei predicati modale 148
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings 143
A Prototype for the Robust Execution of Flexible Plans 143
Option Discovery for Autonomous Generation of Symbolic Knowledge 105
Autonomous Generation of Symbolic Knowledge via Option Discovery 102
P3M: une plate-forme logicielle pour la modélisation et la manipulation des cartes d'interactions moléculaires 88
Logical Connectives for two-state Semantics 61
Totale 17.891
Salva come PNG Salva come JPEG
Categoria #
all - tutte 52.613
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 52.613
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022730 0 0 0 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/2027699 52 66 407 174 0 0 0 0 0 0 0 0
Totale 17.891