IRIS
MARATEA, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.489
EU - Europa 774
AS - Asia 206
AF - Africa 90
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 1
Totale 2.567
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.451
UA - Ucraina 280
DE - Germania 194
IT - Italia 126
CN - Cina 115
SN - Senegal 87
SE - Svezia 58
TR - Turchia 35
FI - Finlandia 34
CA - Canada 30
AT - Austria 19
BE - Belgio 16
FR - Francia 15
KR - Corea 13
GB - Regno Unito 11
IN - India 11
SG - Singapore 10
HK - Hong Kong 8
NI - Nicaragua 7
RO - Romania 6
AU - Australia 5
VN - Vietnam 5
CZ - Repubblica Ceca 3
PT - Portogallo 3
SA - Arabia Saudita 3
BD - Bangladesh 2
EG - Egitto 2
ES - Italia 2
EU - Europa 2
GR - Grecia 2
ID - Indonesia 2
NL - Olanda 2
BG - Bulgaria 1
BR - Brasile 1
DO - Repubblica Dominicana 1
IR - Iran 1
JP - Giappone 1
PL - Polonia 1
SC - Seychelles 1
SI - Slovenia 1
Totale 2.567
Salva come PNG Salva come JPEG
Città #
Chandler 322
Jacksonville 166
New York 96
San Mateo 95
Dakar 87
Dearborn 83
Shanghai 65
Lawrence 49
Roxbury 49
Ogden 48
Ashburn 47
Florence 36
Bremen 35
Helsinki 34
Izmir 33
Cambridge 32
Des Moines 31
Los Angeles 31
Ottawa 25
Ann Arbor 21
Inglewood 19
Brooklyn 16
Brussels 15
Vienna 15
Seattle 14
Seoul 13
Rende 12
West Jordan 12
Beijing 10
Berlin 10
Pune 8
Managua 7
Redwood City 7
Grafing 6
San Francisco 6
Wilmington 6
Augsburg 5
Boardman 5
Genova 5
Hai Duong 5
Houston 5
Bucharest 4
Chernivtsi 4
Hong Kong 4
Toronto 4
Canberra 3
Catanzaro 3
Cosenza 3
Frankfurt am Main 3
Lisbon 3
Neuenkirchen 3
Novara 3
Prague 3
Praia A Mare 3
Trento 3
Acqui Terme 2
Amendolara 2
Cagliari 2
Casalnuovo di Napoli 2
Castrolibero 2
Chicago 2
Denpasar 2
Fairfield 2
Ferrara 2
Jinan 2
Kilburn 2
Leawood 2
Nanjing 2
Ningbo 2
Norwalk 2
Palermo 2
Sassari 2
Acerra 1
Acri 1
Andover 1
Apice 1
Ardabil 1
Athens 1
Auburn 1
Baotou 1
Burgas 1
Cairo 1
Catania 1
Central 1
Changsha 1
Costa Mesa 1
Dallas 1
Dhaka 1
Fremont 1
Ghent 1
Guangzhou 1
Gunzenhausen 1
Haikou 1
Hebei 1
Hefei 1
Huntsville 1
Klagenfurt 1
Lainate 1
Lamezia Terme 1
Lanzhou 1
Totale 1.694
Salva come PNG Salva come JPEG
Nome #
DLV: An Advanced System for Knowledge Representation and Reasoning 93
Nurse (Re)scheduling via answer set programming 80
An advanced answer set programming encoding for nurse scheduling 79
Evaluation of Disjunctive Programs in WASP 79
ASP-Core-2 Input Language Format 71
20th {RCRA} International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 69
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 67
Design and Results of the Fifth Answer Set Programming Competition 65
An ASP-based solution for operating room scheduling with beds management 63
An ASP-based framework for operating room scheduling 62
A multi-engine approach to answer-set programming 59
Shared aggregate sets in answer set programming 56
Cautious reasoning in ASP via minimal models and unsatisfiable cores 56
Nurse scheduling via answer set programming 55
Abstract Solvers for Computing Cautious Consequences of ASP programs 55
Operating Room Scheduling via Answer Set Programming 54
Experimental evaluation of algorithms for solving problems with combinatorial explosion 53
Evaluation techniques and systems for answer set programming: A survey 52
Advances in Multi-engine ASP Solving 51
A formal approach for cautious reasoning in answer set programming (extended abstract) 51
Systems, Engineering Environments, and Competitions 51
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming 50
KR&R approaches for robot manipulation tasks with articulated objects 46
An overview of ASP applications in the health-care domain 46
Answer set programming in healthcare: Extended overview 46
Look-back Techniques for ASP Programs with Aggregates 44
The Sixth Answer Set Programming Competition 44
Explaining ASP-based Operating Room Schedules 43
The design of the seventh answer set programming competition 41
An ASP based solution for operating room scheduling with surgical teams in hospital environments 39
Multi-level Algorithm Selection for ASP 38
Chemotherapy treatment scheduling via answer set programming 38
The Design of the Fifth Answer Set Programming Competition 37
What's Hot in the Answer Set Programming Competition 37
The Seventh Answer Set Programming Competition: Design and Results 37
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 34
Looking Back in DLV: Experiments and Comparison to QBF Solvers 33
Multi-engine ASP solving with policy adaptation 33
Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers 31
Proceedings 36th International Conference on Logic Programming (Technical Communications) 31
The Design of the Sixth Answer Set Programming Competition 30
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 30
Operating Room (Re)Scheduling with Bed Management via ASP 30
The Multi-Engine ASP Solver me-asp 29
DLVMC: Enhanced Model Checking in DLV 28
Experimenting with Look-Back Heuristics on Hard ASP Programs 26
Applying Machine Learning Techniques to ASP Solving 25
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules 23
Automated Selection of Grounding Algorithm in Answer Set Programming 22
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming 20
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 16
A domain ontology for historical research documents 12
Preface 11
Preface 11
Special issue of the 24th RCRA InternationalWorkshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 11
Preface 11
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 11
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 9
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity 9
Scheduling Periodic Treatments via Answer Set Programming 9
Preface 9
Special Issue on the 30th Italian Conference on Computational Logic: CILC 2015 9
Abstract Answer Set Solvers for Cautious Reasoning 8
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 8
Preface 8
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 8
A CASP-based approach to PDDL+ planning 7
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 7
Preface 7
Preface 7
A SAT-based polynomial space algorithm for answer set programming 6
A generate-and-test approach for computing "optimal" plans in SAT-based planning 6
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 6
Seventh ASPOCP International Workshop on 'Answer Set Programming and Other Computing Paradigms' 6
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity 6
A Planning-based Approach for In-Station Train Dispatching 6
Abstract Disjunctive Answer Set Solvers 6
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach 5
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving 5
On the Configuration of More and Less Expressive Logic Programs 5
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming 5
Prefazione agli Atti del Convegno Italiano di Logica Computazionale Trentesima Edizione, CILC 2015 Genova, 1-3 Luglio 2015 5
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" Preface 5
Eighth ASPOCP International Workshop on "Answer Set Programming and Other Computing Paradigms": Preface 5
AI COVID-19 4
Abstract solvers for dung’s argumentation frameworks 4
Translation-based approaches for solving disjunctive temporal problems with preferences 4
An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems 4
The CLAIRE COVID-19 initiative: approach, experiences and recommendations 4
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming 4
PDDL+ planning via constraint answer set programming 4
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models 3
Abstract solvers for Dung's argumentation frameworks 3
Summary report of the second international competition on computational models of argumentation 3
TSAT++: an Open Platform for Satisfiability Modulo Theories 3
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 3
Operating Room Scheduling via Answer Set Programming: the Case of ASL1 Liguria 3
On the Configuration of {SAT} Formulae 3
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs 3
Answer Set Programming based on Propositional Satisfiability 3
Totale 2.652
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.044
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 24.044
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201936 0 0 0 0 0 0 0 0 0 0 33 3
2019/2020356 27 27 7 34 21 82 30 43 9 12 40 24
2020/2021333 45 6 37 37 13 51 5 53 6 46 4 30
2021/2022511 4 74 8 6 40 13 8 105 8 20 77 148
2022/2023723 72 90 9 95 97 72 2 109 77 13 53 34
2023/2024735 39 106 103 20 40 136 44 52 84 68 43 0
Totale 2.745