IRIS
MARATEA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.982
Totale 8.982
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 8.982
Totale 8.982
Salva come PNG Salva come JPEG
Città #
Genova 6.804
Rapallo 783
Genoa 769
Vado Ligure 600
Bordighera 26
Totale 8.982
Salva come PNG Salva come JPEG
Nome #
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 172
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals 171
Computing All Optimal Solutions in Satisfiability Problems with Preferences 151
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs 143
Abstract Solvers for Quantified Boolean Formulas and their Applications 143
Automated Selection of Grounding Algorithm in Answer Set Programming 139
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) 138
Dependent and Independent Variables in Propositional Satisfiability 136
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions 136
The Multi-Engine ASP Solver ME-ASP 132
Solving satisfiability problems with preferences 131
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 131
Experimenting with Look-Back Heuristics for Hard ASP Programs 130
Introducing Preferences in Planning as Satisfiability 130
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 126
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming 125
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming 125
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 122
Abstract solvers for dung’s argumentation frameworks 122
TSAT++: an Open Platform for Satisfiability Modulo Theories 122
OPTSAT: A Tool for Solving SAT Related Optimization Problems 120
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers 119
An ontology for historical research documents 119
The Sixth Answer Set Programming Competition 118
Advances in Multi-engine ASP Solving 117
Cautious reasoning in ASP via minimal models and unsatisfiable cores 116
The SAT-based Approach to Separation Logic 116
DLVMC: Enhanced Model Checking in DLV 115
Evaluating search heuristics and optimization techniques in propositional satisfiability 114
Look-back Techniques for ASP Programs with Aggregates 113
Improving Plan Quality in SAT-Based Planning 113
Automated planning techniques for robot manipulation tasks involving articulated objects 110
Systems, Engineering Environments, and Competitions 109
Answer Set Programming based on Propositional Satisfiability 105
The Design of the Seventh Answer Set Programming Competition 104
Shared aggregate sets in answer set programming 101
On the Relation among Answer Set Solvers 100
Multi-level Algorithm Selection for ASP. 100
Disjunctive answer set solvers via templates 99
Solving Disjunctive Temporal Problems with Preferences using Maximum Satisfiability 98
A multi-engine approach to answer-set programming 95
Introducing the second international competition on computational models of argumentation 94
Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence 94
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 94
Experimental evaluation of algorithms for solving problems with combinatorial explosion 93
An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems 92
On the manipulation of articulated objects in human-robot cooperation scenarios 92
Abstract Answer Set Solvers for Cautious Reasoning 91
Design and Results of the Fifth Answer Set Programming Competition 90
Multi-engine ASP solving with policy adaptation 90
What should an ASP Solver output? A Multiple Position Paper 88
An advanced answer set programming encoding for nurse scheduling 85
20th RCRA International workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 81
Efficient DTPP solving with a reduction-based approach 80
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 80
Solving Optimization Problems with DLL 78
Planning as Satisfiability with IPC Simple Preferences and Action Costs 78
An Ontology-Based Archive for Historical Research 78
Translation-based approaches for solving disjunctive temporal problems with preferences 77
Operating Room Scheduling via Answer Set Programming 76
Evaluation Techniques and Systems for Answer Set Programming: a Survey 75
Design and results of the Second International Competition on Computational Models of Argumentation 74
A domain ontology for historical research documents 73
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving 73
Computational analysis of freeway traffic control based on a linearized prediction model 72
Applying Machine Learning Techniques to ASP Solving 72
SAT-Based Answer Set Programming 71
Planning as Satisfiability with Preferences 71
Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems 70
Abstract Disjunctive Answer Set Solvers 70
Nurse scheduling via answer set programming 70
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 67
Eighth ASPOCP International Workshop on "Answer Set Programming and Other Computing Paradigms": Preface 67
Prefazione agli Atti del Convegno Italiano di Logica Computazionale Trentesima Edizione, CILC 2015 Genova, 1-3 Luglio 2015 65
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" Preface 64
A generate-and-test approach for computing "optimal" plans in SAT-based planning 63
Solving Train Load Planning Problems with Boolean Optimization 62
KR&R approaches for robot manipulation tasks with articulated objects 62
Abstract Solvers for Computing Cautious Consequences of ASP programs 62
Modeling and Reasoning about Business Processes under Authorization Constraints: a Planning-based Approach. 60
Computing answer sets of a logic program via-enumeration of SAT certificates 60
A SAT-based polynomial space algorithm for answer set programming 55
Special Issue on the 30th Italian Conference on Computational Logic: CILC 2015 55
Maximum likelihood approach to HF radar performance characterization 54
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 52
CASP Solutions for Planning in Hydrid Domains 51
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) 51
The Design of the Sixth Answer Set Programming Competition -- Report -- 47
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity 47
In-Station Train Dispatching: A PDDL+ Planning Approach 46
Chemotherapy Treatment Scheduling via Answer Set Programming 45
On the Configuration of {SAT} Formulae 42
An ASP-based Solution for Operating Room Scheduling with Beds Management 42
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models 41
An overview of ASP applications in the health-care domain 39
An ASP-based framework for operating room scheduling 39
A Planning-based Approach for In-Station Train Dispatching 38
ASP-Core-2 Input Language Format 35
The Seventh Answer Set Programming Competition: Design and Results 34
An Efficient Hybrid Planning Framework for In-Station Train Dispatching 33
Totale 8.926
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.535
article - articoli 9.887
book - libri 0
conference - conferenze 16.796
curatela - curatele 216
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.636
Totale 61.070
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.905 0 0 0 0 164 235 353 135 190 413 301 114
2020/20211.003 77 103 40 66 26 180 72 94 108 98 66 73
2021/20221.316 40 61 126 243 26 87 60 284 88 108 39 154
2022/2023994 117 60 12 92 132 189 44 45 191 1 107 4
2023/2024597 19 60 15 84 45 110 38 45 33 31 37 80
2024/2025635 65 138 43 86 303 0 0 0 0 0 0 0
Totale 9.224