Vescovi, Michele
 Distribuzione geografica
Continente #
EU - Europa 11
NA - Nord America 2
AF - Africa 1
Totale 14
Nazione #
FR - Francia 6
IT - Italia 5
US - Stati Uniti d'America 2
GH - Ghana 1
Totale 14
Città #
Trento 3
Dallas 1
Paris 1
Rocca San Felice 1
Verona 1
Totale 7
Nome #
Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT, file 83cd21d5-f32c-49ea-8700-cc43a81debd1 5
Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC, file acf1e529-af9b-4fcb-985a-8f88a1906578 3
Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics, file 0f0483fc-31e6-43ea-9561-0143df25b565 2
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis, file 3befc3a1-aee9-4c96-ae17-15e2a0323070 2
Automated Reasoning in ALCQ via SMT, file e3835192-42fd-72ef-e053-3705fe0ad821 1
No more ready-made deals: constructive recommendation for telco service bundling, file e3835195-1bad-72ef-e053-3705fe0ad821 1
Totale 14
Categoria #
all - tutte 151
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 151


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201 0 0 0 1 0 0 0 0 0 0 0 0
2023/202412 0 0 0 0 2 5 3 1 1 0 0 0
Totale 14