CIALDEA, Marta
 Distribuzione geografica
Continente #
NA - Nord America 4.947
EU - Europa 4.631
AS - Asia 1.593
AF - Africa 170
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
SA - Sud America 1
Totale 11.354
Nazione #
US - Stati Uniti d'America 4.936
DK - Danimarca 1.881
CN - Cina 1.366
GB - Regno Unito 1.194
SE - Svezia 406
UA - Ucraina 284
DE - Germania 253
IT - Italia 188
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 10
CH - Svizzera 9
GR - Grecia 9
JP - Giappone 8
AU - Australia 7
AT - Austria 6
HU - Ungheria 5
RO - Romania 5
SG - Singapore 4
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.354
Città #
Southend 1.110
Woodbridge 793
Fairfield 598
Ann Arbor 408
Wilmington 402
Houston 341
Ashburn 312
Nanjing 296
Chandler 277
Seattle 268
Dearborn 250
Cambridge 197
Jacksonville 185
Princeton 148
Beijing 145
Dong Ket 137
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 47
Izmir 39
San Diego 38
Ningbo 34
Orange 33
Zhengzhou 33
Hangzhou 31
Hefei 30
Kunming 30
Pune 28
Milan 27
Bremen 21
Helsinki 21
Altamura 19
Guangzhou 18
Augusta 17
Taizhou 16
Brussels 13
London 13
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
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
Sunnyvale 4
Toronto 4
Vigevano 4
Atlanta 3
Auburn Hills 3
Centrale 3
Chongqing 3
Dallas 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
Lausanne 2
Logan 2
Madrid 2
Totale 7.541
Nome #
An executable semantics of flexible plans in terms of Timed Game Automata 226
An efficient approach to nominal equalities in hybrid logic tableaux 219
Steps in assessing a timeline-based planner 215
PLATINUm: A new framework for planning and acting 213
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities 208
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic 205
First Order Linear Temporal Logic over Finite Time Structures 204
Planning and execution with flexible timelines: a formal account 199
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics 198
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. 193
Abduction and consequence generation in a support system for the design of logical multiple-choice questions 193
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies 187
A General Theorem Prover for Quantified Modal Logics 184
Linear temporal logic as an executable semantics for planning languages 184
A Planner Fully Based on Linear Time Logic 183
Pdk: the system and its language 178
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 177
A modal Herbrand's property 174
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders 173
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 172
Linear temporal logic as an executable semantics for planning languages 172
Variants of First-Order Modal Logics 171
Bounded Model Search in Linear Temporal Logic and Its Application to Planning 171
A Formal Account of Planning with Flexible Timelines 170
Extended Decision Procedure for a Fragment of HL with Binders 167
Propositional abduction in modal logic 164
Labelled Tableaux for Propositional Linear Time Logic over Finite Frames 164
First order abduction via tableau and sequent calculi. 163
A polynomial translation of S4 into T and contraction-free tableaux for S4 161
Using Linear Temporal Logic to Model and Solve Planning Problems 161
Planning under Uncertainty in Linear Time Logic 160
Linear Time Logic, Conditioned Models and Planning with Incomplete Knowledge 160
Herod and Pilate: two tableau provers for basic hybrid logic 160
Abduction is not Deduction-in-Reverse. 154
Meta reasoning and student modelling 152
Resolution for some first order modal systems. 151
A Rational reconstruction of the Diagnostic Process in Intelligent Tutoring Systems 149
A study on the logic of abduction 143
A Planner Fully Based on Linear Time Logic 143
Temporal abductive reasoning about biochemical reactions 143
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies 143
Propositional abduction in modal logic. 140
A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. 140
A Proposal for Planning with graded fluents and actions (Pianificare con azioni e fluenti graduati) 139
A rational reconstruction of the diagnostic process in Intelligent Tutoring Systems 138
Applicazioni di intelligenza artificiale nella formazione. Alcune esperienze 136
Quality metrics to evaluate flexible timeline-based plans 131
Planning with Graded Fluents and Actions 130
Natural properties of abductive hypotheses in three-valued logic 125
Planning with Graded Fluents and Actions 125
Herbrand style proof procedures for modal logic 125
Introduzione alla programmazione funzionale 123
Free-Variable Tableaux for Constant-Domain Quantified Modal Logic with Rigid and Non-rigid Designation 122
Metalevel Knowledge in Intelligent Educational Systems 119
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 118
Invito all'Intelligenza Artificiale. 117
Reasoning about student knowledge and reasoning 116
Reasoning about student knowledge and reasoning. 116
An AI-Based Approach to Automatic Waste Sorting 116
Simulation and robotic systems for operations in emergency scenarios 114
The Main Features of a Planner Fully Based on LTL 114
Modal and meta-languages: consistency and expressiveness. 114
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics 112
First Order Linear Time Tem- poral Logic over Finite Time Frames is not Semi-decidable 112
Nominal Substitution at work with the Global and Converse Modalities 111
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 111
Towards a Parallel Search Engine for Planning Systems Based on Linear Time Logic 109
Un metodo di risoluzione per il calcolo dei predicati modale 108
Helping students refine their working hypotheses: a first pass in the domain of language tutoring 108
Logica - Linguaggio, Ragionamento, Calcolo 106
Introduzione alla Programmazione Funzionale 103
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings 101
Tableaux 2003. Position papers and tutorial (Rome, 9-12 september 2003) 97
Complexity of Timeline-based Planning 91
Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains 91
Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration 90
Integrating Resource Management and Timeline-based Planning 86
On timeline-based games and their complexity 81
A game-theoretic approach to timeline-based planning with uncertainty 62
A Framework for Modelling Molecular Interaction Maps 49
A Language for Timeline-based Planning 48
A Prototype for the Robust Execution of Flexible Plans 46
Autonomous Generation of Symbolic Knowledge via Option Discovery 46
P3M: une plate-forme logicielle pour la modélisation et la manipulation des cartes d'interactions moléculaires 43
Option Discovery for Autonomous Generation of Symbolic Knowledge 27
Logical Connectives for two-state Semantics 17
Totale 11.780
Categoria #
all - tutte 28.206
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 28.206


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019333 0 0 0 0 0 0 0 0 0 0 0 333
2019/20202.939 673 271 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/2024523 37 32 35 23 67 86 77 128 6 9 15 8
Totale 11.780