Benvenuti nell'Anagrafe della Ricerca d'Ateneo

CIALDEA, Marta
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.799
NA - Nord America 5.219
AS - Asia 1.988
AF - Africa 173
SA - Sud America 75
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
Totale 13.266
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.196
DK - Danimarca 1.882
CN - Cina 1.421
GB - Regno Unito 1.217
RU - Federazione Russa 1.112
SE - Svezia 407
SG - Singapore 288
UA - Ucraina 285
DE - Germania 278
IT - Italia 228
VN - Vietnam 138
FI - Finlandia 97
IE - Irlanda 88
CI - Costa d'Avorio 86
SN - Senegal 83
AL - Albania 74
BR - Brasile 68
TR - Turchia 45
FR - Francia 44
IN - India 34
HK - Hong Kong 25
CA - Canada 20
BE - Belgio 17
NL - Olanda 17
AT - Austria 9
CH - Svizzera 9
GR - Grecia 9
ID - Indonesia 8
JP - Giappone 8
AU - Australia 7
HU - Ungheria 5
RO - Romania 5
CZ - Repubblica Ceca 4
BD - Bangladesh 3
EU - Europa 3
LT - Lituania 3
MY - Malesia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
BG - Bulgaria 2
ES - Italia 2
IL - Israele 2
IR - Iran 2
KG - Kirghizistan 2
MA - Marocco 2
PK - Pakistan 2
PT - Portogallo 2
PY - Paraguay 2
UZ - Uzbekistan 2
AR - Argentina 1
BO - Bolivia 1
CO - Colombia 1
DZ - Algeria 1
EG - Egitto 1
GL - Groenlandia 1
HN - Honduras 1
IQ - Iraq 1
IS - Islanda 1
JM - Giamaica 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
NO - Norvegia 1
SA - Arabia Saudita 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
UY - Uruguay 1
VE - Venezuela 1
Totale 13.266
Salva come PNG Salva come JPEG
Città #
Southend 1.110
Woodbridge 793
Fairfield 598
Ann Arbor 408
Wilmington 402
Houston 341
Ashburn 325
Nanjing 296
Chandler 277
Seattle 268
Dearborn 250
Cambridge 197
Jacksonville 185
Boardman 166
Princeton 148
Beijing 145
Singapore 140
Dong Ket 137
Nanchang 116
Shenyang 92
Plano 87
Dublin 86
Dakar 83
Hebei 75
Jinan 72
Redwood City 70
Changsha 62
Rome 55
Moscow 52
Tianjin 52
Jiaxing 49
Shanghai 48
Milan 41
Izmir 39
San Diego 38
Ningbo 34
Orange 33
Zhengzhou 33
Hangzhou 31
Hefei 31
Kunming 31
Pune 28
Hong Kong 25
Helsinki 22
Lauterbourg 22
Bremen 21
Guangzhou 21
Altamura 19
Portsmouth 18
The Dalles 18
Augusta 17
Brussels 17
Council Bluffs 17
Taizhou 16
Munich 15
London 14
Dallas 12
Verona 12
Dortmund 11
Grafing 10
New York 10
San Paolo di Civitate 10
Flushing 9
Toronto 9
Venezia 9
Alameda 8
Fuzhou 8
Haikou 8
Jakarta 8
Tokyo 8
Washington 8
Westminster 8
Chicago 7
Düsseldorf 7
Los Angeles 7
Taiyuan 7
Bari 6
Changchun 6
Norwalk 6
São Paulo 6
Chengdu 5
Eitensheim 5
Istanbul 5
Lanzhou 5
Mountain View 5
Ottawa 5
San Mateo 5
Walnut 5
Wuhan 5
Xian 5
Chiswick 4
Falkenstein 4
Kilburn 4
Prague 4
Redmond 4
Santa Clara 4
Sunnyvale 4
Vigevano 4
Atlanta 3
Auburn Hills 3
Totale 8.074
Salva come PNG Salva come JPEG
Nome #
Abduction and consequence generation in a support system for the design of logical multiple-choice questions 263
An executable semantics of flexible plans in terms of Timed Game Automata 252
PLATINUm: A new framework for planning and acting 249
Steps in assessing a timeline-based planner 247
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic 242
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities 242
An efficient approach to nominal equalities in hybrid logic tableaux 235
Planning and execution with flexible timelines: a formal account 228
A Planner Fully Based on Linear Time Logic 224
First Order Linear Temporal Logic over Finite Time Structures 223
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies 218
A General Theorem Prover for Quantified Modal Logics 216
Linear temporal logic as an executable semantics for planning languages 215
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics 213
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. 207
A Formal Account of Planning with Flexible Timelines 207
A modal Herbrand's property 202
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders 200
Linear temporal logic as an executable semantics for planning languages 199
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 197
Pdk: the system and its language 193
A polynomial translation of S4 into T and contraction-free tableaux for S4 192
Variants of First-Order Modal Logics 188
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 185
Bounded Model Search in Linear Temporal Logic and Its Application to Planning 183
Extended Decision Procedure for a Fragment of HL with Binders 179
Labelled Tableaux for Propositional Linear Time Logic over Finite Frames 179
Using Linear Temporal Logic to Model and Solve Planning Problems 177
A Planner Fully Based on Linear Time Logic 177
A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. 177
First order abduction via tableau and sequent calculi. 176
A Rational reconstruction of the Diagnostic Process in Intelligent Tutoring Systems 176
Propositional abduction in modal logic 176
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies 176
Herod and Pilate: two tableau provers for basic hybrid logic 175
A study on the logic of abduction 174
Planning under Uncertainty in Linear Time Logic 174
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 174
A Proposal for Planning with graded fluents and actions (Pianificare con azioni e fluenti graduati) 172
Temporal abductive reasoning about biochemical reactions 168
A rational reconstruction of the diagnostic process in Intelligent Tutoring Systems 168
Abduction is not Deduction-in-Reverse. 165
Quality metrics to evaluate flexible timeline-based plans 165
Resolution for some first order modal systems. 164
Meta reasoning and student modelling 164
Propositional abduction in modal logic. 154
Applicazioni di intelligenza artificiale nella formazione. Alcune esperienze 151
Planning with Graded Fluents and Actions 147
Natural properties of abductive hypotheses in three-valued logic 141
Planning with Graded Fluents and Actions 141
Introduzione alla programmazione funzionale 141
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 140
Herbrand style proof procedures for modal logic 138
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 136
Invito all'Intelligenza Artificiale. 135
Free-Variable Tableaux for Constant-Domain Quantified Modal Logic with Rigid and Non-rigid Designation 135
Metalevel Knowledge in Intelligent Educational Systems 132
An AI-Based Approach to Automatic Waste Sorting 132
Reasoning about student knowledge and reasoning 131
Reasoning about student knowledge and reasoning. 131
Simulation and robotic systems for operations in emergency scenarios 129
First Order Linear Time Tem- poral Logic over Finite Time Frames is not Semi-decidable 127
The Main Features of a Planner Fully Based on LTL 127
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 127
Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration 127
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics 126
Modal and meta-languages: consistency and expressiveness. 125
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 124
Un metodo di risoluzione per il calcolo dei predicati modale 123
Complexity of Timeline-based Planning 122
Nominal Substitution at work with the Global and Converse Modalities 121
Logica - Linguaggio, Ragionamento, Calcolo 120
Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains 120
Tableaux 2003. Position papers and tutorial (Rome, 9-12 september 2003) 118
Introduzione alla Programmazione Funzionale 115
Integrating Resource Management and Timeline-based Planning 115
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings 114
On timeline-based games and their complexity 108
A game-theoretic approach to timeline-based planning with uncertainty 100
A Language for Timeline-based Planning 86
A Prototype for the Robust Execution of Flexible Plans 81
A Framework for Modelling Molecular Interaction Maps 79
Autonomous Generation of Symbolic Knowledge via Option Discovery 64
P3M: une plate-forme logicielle pour la modélisation et la manipulation des cartes d'interactions moléculaires 60
Option Discovery for Autonomous Generation of Symbolic Knowledge 38
Logical Connectives for two-state Semantics 35
Totale 13.692
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.594
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 36.594
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020542 0 0 0 0 0 0 0 0 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/20251.854 15 115 226 43 34 90 839 381 111 0 0 0
Totale 13.692