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
Showing 2004Show all

2 papers · 1 filter

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…