SCHAERF, Marco
SCHAERF, Marco
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
A Digital Infrastructure for Trustworthiness: The Sapienza Digital Library Experience
2014 DI IORIO, Angela; Schaerf, Marco; Guercio, Maria; Ortolani, Silvia; Matteo, Bertazzo
A semantic model for content description in the sapienza digital library
2016 DI IORIO, Angela; Schaerf, Marco
A SURVEY OF COMPLEXITY RESULTS FOR NONMONOTONIC LOGICS
1993 Cadoli, Marco; Schaerf, Marco
A System Integrating high and low level planning of complex tasks with a 3 dimensional visualizer
1999 Alberto, Finzi; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Accuracy of Author Names in Bibliographic Data Sources: An Italian Case Study
2018 Demetrescu, Camil; Ribichini, Andrea; Schaerf, Marco
Addressing the tacit knowledge of a digital library system
2018 Di Iorio, Angela; Schaerf, Marco
Algorithm to evaluate Quantified Boolean Formulae
1998 Cadoli, Marco; Giovanardi, Andrea; Schaerf, Marco
An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
2002 Cadoli, Marco; Schaerf, Marco; Andrea, Giovanardi; Massimo, Giovanardi
An analysis of international mobility and research productivity in computer science
2023 Finocchi, I.; Ribichini, A.; Schaerf, M.
Anomaly detection in railway bridges using imaging techniques
2023 Russo, Paolo; Schaerf, Marco
Applicability of digital library descriptive metadata to the contemporary artworks: The Sapienza digital library case study
2013 DI IORIO, Angela; Schaerf, Marco
Applying UCT to Boolean Satisfiability
2011 Alessandro, Previti; Raghuram, Ramanujan; Schaerf, Marco; Bart, Selman
Approximate entailment
1991 Cadoli, M.; Schaerf, M.
Approximate Inference in Default Logic and Circumscription
1994 Cadoli, Marco; Schaerf, Marco
Arbitration (or how to merge knowledge bases)
1998 Liberatore, Paolo; Schaerf, Marco
Are Italian research assessment exercises size-biased?
2020 Demetrescu, C.; Ribichini, A.; Schaerf, M.
Artificial Intelligence Algorithms for the Analysis of User Experience in Palazzo Braschi Museum
2023 Ceccarelli, Sofia; Cesta, Amedeo; Cortellessa, Gabriella; Benedictis Riccardo, De; Fracasso, Francesca; Leopardi, Laura; Ligios, Luca; Lombardi, Ernesto; Malatesta, SAVERIO GIULIO; Oddi, Angelo; Pagano, Alfonsina; Palombini, Augusto; Romagna, Gianmauro; Sanzari, Marta; Schaerf, Marco
Autonomous flight of a quadrocopter group with the use of the virtual leader strategy
2019 Samoilov, P.; Vinokursky, D.; Schaerf, M.; Mecella, M.
Belief revision and update: Complexity of model checking
2001 Liberatore, Paolo; Schaerf, Marco
BReLS: A system for the integration of knowledge bases
2000 Liberatore, Paolo; Schaerf, Marco