RICCA, Francesco
 Distribuzione geografica
Continente #
EU - Europa 90
NA - Nord America 6
AS - Asia 3
Totale 99
Nazione #
IT - Italia 73
ES - Italia 7
FR - Francia 5
US - Stati Uniti d'America 5
DE - Germania 2
PL - Polonia 2
VN - Vietnam 2
CA - Canada 1
CH - Svizzera 1
CY - Cipro 1
Totale 99
Città #
Rende 29
Barcelona 7
Genoa 4
Rome 4
Hallandale 3
Montesilvano Marina 3
Royat 3
Catania 2
Centuripe 2
Fuscaldo 2
Hanoi 2
Messina 2
Naples 2
New York 2
Avellino 1
Cassano Allo Ionio 1
Cirò Marina 1
Citta 1
Dresden 1
Edmonton 1
Lyss 1
Munich 1
Nicosia 1
Paris 1
Statte 1
Vélizy-Villacoublay 1
Warsaw 1
Totale 80
Nome #
The ASP System DLV: Advancements and Applications, file ddc632d4-a5b2-321f-e053-1705fe0abc09 24
The AI system DLV: Ontologies, reasoning, and more, file ddc632d5-847e-321f-e053-1705fe0abc09 10
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning, file c3749ef5-396e-4e66-955c-0cc7eeb5817a 9
Enhancing DLV for Large-Scale Reasoning, file ddc632d5-1930-321f-e053-1705fe0abc09 8
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications, file ddc632d6-18f9-321f-e053-1705fe0abc09 8
Large-scale reasoning on expressive horn ontologies, file ddc632d5-192c-321f-e053-1705fe0abc09 5
Reasoning over Ontologies with DLV, file a6dcbeae-276b-49c4-b541-6a3c8bb38a5e 4
The third open answer set programming competition, file ddc632d3-575f-321f-e053-1705fe0abc09 4
Querying large expressive horn ontologies, file ddc632d5-144e-321f-e053-1705fe0abc09 4
On the Computation of Paracoherent Answer Sets, file ddc632d3-8c44-321f-e053-1705fe0abc09 3
DLV: An Advanced System for Knowledge Representation and Reasoning, file ddc632d3-8e3e-321f-e053-1705fe0abc09 3
The Sixth Answer Set Programming Competition, file ddc632d3-f7d0-321f-e053-1705fe0abc09 3
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size, file ddc632d5-bd46-321f-e053-1705fe0abc09 3
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper), file ddc632d3-658e-321f-e053-1705fe0abc09 2
Developing ASP programs with ASPIDE and LoIDE, file ddc632d4-a5ad-321f-e053-1705fe0abc09 2
Partial Compilation of ASP Programs, file ddc632d5-db69-321f-e053-1705fe0abc09 2
ASP-Core-2 Input Language Format, file 5f5807ac-f189-45a5-a2fd-c71cfd7aa0e5 1
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice, file ddc632d3-8bcd-321f-e053-1705fe0abc09 1
Team-building with Answer Set Programming in the Gioia-Tauro Seaport, file ddc632d3-8c36-321f-e053-1705fe0abc09 1
Parallel Instantiation of ASP Programs: Techniques and Experiments, file ddc632d3-8e44-321f-e053-1705fe0abc09 1
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis, file ddc632d4-a58d-321f-e053-1705fe0abc09 1
Totale 99
Categoria #
all - tutte 171
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 171


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20215 0 0 0 0 0 0 0 0 5 0 0 0
2021/20228 0 0 1 0 0 0 4 0 0 0 0 3
2022/202374 10 10 0 4 16 0 21 9 0 0 2 2
2023/20242 0 0 0 0 0 0 2 0 0 0 0 0
Totale 99