CADOLI, Marco
 Distribuzione geografica
Continente #
EU - Europa 13
Totale 13
Nazione #
IT - Italia 13
Totale 13
Città #
Rome 12
Totale 12
Nome #
Size of a revised knowledge base, file e3835323-c876-15e8-e053-a505fe0a3de9 2
Automated reformulation of specifications by safe delay of constraints, file e3835311-717b-15e8-e053-a505fe0a3de9 1
Automated reformulation of specifications by safe delay of constraints, file e3835311-81f8-15e8-e053-a505fe0a3de9 1
Exploiting functional dependencies in declarative problem specifications, file e3835311-9945-15e8-e053-a505fe0a3de9 1
k-approximating circuits, file e3835311-9c24-15e8-e053-a505fe0a3de9 1
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming, file e3835311-a004-15e8-e053-a505fe0a3de9 1
Automated reformulation of specifications by safe delay of constraints, file e3835311-ab0a-15e8-e053-a505fe0a3de9 1
Approximate Inference in Default Logic and Circumscription, file e3835323-826d-15e8-e053-a505fe0a3de9 1
Algorithm to evaluate Quantified Boolean Formulae, file e3835323-8d69-15e8-e053-a505fe0a3de9 1
Is intractability of non-monotonic reasoning a real drawback?, file e3835323-da69-15e8-e053-a505fe0a3de9 1
Experimental analysis of the computational cost of evaluating Quantified Boolean Formulae, file e3835324-e7c2-15e8-e053-a505fe0a3de9 1
On compact representations of propositional circumscription, file e3835324-e7d2-15e8-e053-a505fe0a3de9 1
Totale 13
Categoria #
all - tutte 13
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 13


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20207 0 0 0 0 2 0 0 4 1 0 0 0
2021/20221 0 0 1 0 0 0 0 0 0 0 0 0
Totale 13