activity
20042018
most citedAutomated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability

33 citations · 34 across the 5 of their papers we have counts for

collaborators

5 papers

cs.CY2018

Is social capital associated with synchronization in human communication? An analysis of Italian call records and measures of civic engagement

Marco Mamei, Francesca Pancotto, Marco De Nadai +4

Social capital has been studied in economics, sociology and political science as one of the key elements that promote the development of modern societies. It can be defined as the…

cs.CY2017★ 1 cited

Anonymous or not? Understanding the Factors Affecting Personal Mobile Data Disclosure

Christos Perentis, Michele Vescovi, Chiara Leonardi +4

The wide adoption of mobile devices and social media platforms have dramatically increased the collection and sharing of personal information. More and more frequently, users are c…

cs.LO2014★ 33 cited

Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability

Roberto Sebastiani, Michele Vescovi

In the last two decades, modal and description logics have been applied to numerous areas of computer science, including knowledge representation, formal verification, database the…

physics.acc-ph2004

Design considerations for future DAFNE upgrade

D. Alesini, G. Benedetti, M. E. Biagini +32

The Frascati F-Factory DAFNE has been delivering luminosity to the KLOE, DEAR and FINUDA experiments since year 2000. Since April 2004 the KLOE run has been resumed and recently pe…

physics.acc-ph2004

DAFNE operation with the FINUDA experiment

C. Milardi, D. Alesini, G. Benedetti +29

DAFNE operation restarted in September 2003, after a six month shut-down for the installation of FINUDA, a magnetic detector dedicated to the study of hypernuclear physics. FINUDA…