Marco Schaerf

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 20

Top Topics

Temporal Evolution

Computer Science

Tacit Knowledge

Top Venues

Publications

Sofia Ceccarelli, Amedeo Cesta, Gabriella Cortellessa, Riccardo De Benedictis, Francesca Fracasso, Laura Leopardi, Luca Ligios, Ernesto Lombardi, Saverio Giulio Malatesta, Angelo Oddi, Alfonsina Pagano, Augusto Palombini, Gianmauro Romagna, Marta Sanzari, Marco Schaerf
Evaluating visitors' experience in museum: Comparing artificial intelligence and multi-partitioned analysis. Digit. Appl. Archaeol. Cult. Heritage 33 (2024)
Irene Finocchi, Andrea Ribichini, Marco Schaerf
An analysis of international mobility and research productivity in computer science. Scientometrics 128 (11) (2023)
Sofia Ceccarelli, Amedeo Cesta, Gabriella Cortellessa, Riccardo De Benedictis, Francesca Fracasso, Laura Leopardi, Luca Ligios, Ernesto Lombardi, Saverio Giulio Malatesta, Angelo Oddi, Alfonsina Pagano, Augusto Palombini, Gianmauro Romagna, Marta Sanzari, Marco Schaerf
Artificial Intelligence Algorithms for the Analysis of User Experience in Palazzo Braschi Museum. GCH (2023)
Camil Demetrescu, Irene Finocchi, Andrea Ribichini, Marco Schaerf
Which Conference Is That? A Case Study in Computer Science. ACM J. Data Inf. Qual. 14 (3) (2022)
Simone Rossetti, Damiano Zappia, Marta Sanzari, Marco Schaerf, Fiora Pirri
Max Pooling with Vision Transformers Reconciles Class and Shape in Weakly Supervised Semantic Segmentation. ECCV (30) (2022)
Camil Demetrescu, Irene Finocchi, Andrea Ribichini, Marco Schaerf
On computer science research and its temporal evolution. Scientometrics 127 (8) (2022)
Simone Rossetti, Damiano Zappia, Marta Sanzari, Marco Schaerf, Fiora Pirri
Max Pooling with Vision Transformers reconciles class and shape in weakly supervised semantic segmentation. CoRR (2022)
Camil Demetrescu, Irene Finocchi, Andrea Ribichini, Marco Schaerf
On bibliometrics in academic promotions: a case study in computer science and engineering in Italy. Scientometrics 124 (3) (2020)
Camil Demetrescu, Andrea Ribichini, Marco Schaerf
Are Italian research assessment exercises size-biased? Scientometrics 125 (1) (2020)
Camil Demetrescu, Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf
On the Shapley value and its application to the Italian VQR research assessment exercise. J. Informetrics 13 (1) (2019)
Angela Di Iorio, Marco Schaerf
Expressing the Tacit Knowledge of a Digital Library System as Linked Data. Comput. 8 (2) (2019)
Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf
Computing the Shapley value in allocation problems: approximations and bounds, with an application to the Italian VQR research assessment program. J. Exp. Theor. Artif. Intell. 30 (4) (2018)
Angela Di Iorio, Marco Schaerf
Learning PREMIS Knowledge Base: a tool for humans and machines. iPRES (2018)
Camil Demetrescu, Andrea Ribichini, Marco Schaerf
Accuracy of author names in bibliographic data sources: an Italian case study. Scientometrics 117 (3) (2018)
Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf
Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program. CoRR (2017)
Andrea Ferrara, Paolo Liberatore, Marco Schaerf
The Size of BDDs and Other Data Structures in Temporal Logics Model Checking. IEEE Trans. Computers 65 (10) (2016)
Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf
Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program. RCRA@AI*IA (2016)
Paolo Liberatore, Marco Schaerf
On the complexity of second-best abductive explanations. Int. J. Approx. Reason. 63 (2015)
Nadine Abu Rumman, Marco Schaerf, Dominique Bechmann
Collision detection for articulated deformable characters. MIG (2015)
Angela Di Iorio, Marco Schaerf
A Semantic Model for Content Description in the Sapienza Digital Library. IRCDL (2015)
Angela Di Iorio, Marco Schaerf
The Organization information integration in the management of a Digital Library System. JCDL (2014)
Angela Di Iorio, Marco Schaerf
Providing Proof of Trustworthiness Reconstructing Digital Objects' Custody Chain. OTM Workshops (2014)
Angela Di Iorio, Marco Schaerf
Identification Semantics for an Organization Establishing a Digital Library System. SDA@JCDL/TPDL (2014)
Tiziana Catarci, Angela Di Iorio, Marco Schaerf
The Sapienza Digital Library from the Holistic Vision to the Actual Implementation. IRCDL (2014)
Angela Di Iorio, Marco Schaerf, Maria Guercio, Silvia Ortolani, Matteo Bertazzo
A Digital Infrastructure for Trustworthiness - The Sapienza Digital Library Experience. IRCDL (2013)
Maurizio Lenzerini, Marco Schaerf
The scientific legacy of Marco Cadoli in Artificial Intelligence. Intelligenza Artificiale 7 (1) (2013)
Angela Di Iorio, Marco Schaerf
Applicability of Digital Library Descriptive Metadata to the Contemporary Artworks - The Sapienza Digital Library Case Study. ECLAP (2013)
Paolo Liberatore, Marco Schaerf
The compilability framework. Intelligenza Artificiale 7 (1) (2013)
Paolo Liberatore, Marco Schaerf
On the Complexity of Finding Second-Best Abductive Explanations CoRR (2012)
Angela Di Iorio, Marco Schaerf, Matteo Bertazzo
Establishing a Digital Library in Wide-Ranging University's Context - The Sapienza Digital Library Experience. IRCDL (2012)
Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
Monte-Carlo Style UCT Search for Boolean Satisfiability. AI*IA (2011)
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
Space Efficiency of Propositional Knowledge Representation Formalisms CoRR (2011)
Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
Applying UCT to Boolean Satisfiability. SAT (2011)
Paolo Liberatore, Marco Schaerf
On the size of data structures used in symbolic model checking CoRR (2010)
Marco Fratarcangeli, Marco Schaerf, Robert Forchheimer
Facial motion cloning with radial basis functions in MPEG-4 FBA. Graph. Model. 69 (2) (2007)
Marco Schaerf
Obituary: Marco Cadoli (1965-2006) Dipartimento di Informatica e Sistemistica, Antonio Ruberti Sapienza Universitá di Roma. AI Commun. 20 (2) (2007)
Andrea Ferrara, Paolo Liberatore, Marco Schaerf
Model Checking and Preprocessing. AI*IA (2007)
Paolo Liberatore, Marco Schaerf
Compilability of propositional abduction. ACM Trans. Comput. Log. 8 (1) (2007)
Gwen Salaün, Lucas Bordeaux, Marco Schaerf
Describing and reasoning on Web Services using Process Algebra. Int. J. Bus. Process. Integr. Manag. 1 (2) (2006)
Marco Cadoli, Marco Schaerf
Partial Solutions with Unique Completion. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
k-Approximating Circuits. IEEE Trans. Computers 55 (7) (2006)
Andrea Ferrara, Paolo Liberatore, Marco Schaerf
The Complexity of Action Redundancy. AI*IA (2005)
Paolo Liberatore, Marco Schaerf
The complexity of model checking for propositional default logics. Data Knowl. Eng. 55 (2) (2005)
Marco Fratarcangeli, Marco Schaerf
Facial Motion Cloning Using Global Shape Deformation. Eurographics (Short Presentations) (2005)
Paolo Liberatore, Marco Schaerf
The Compactness of Belief Revision and Update Operators. Fundam. Informaticae 62 (3-4) (2004)
Gwen Salaün, Lucas Bordeaux, Marco Schaerf
Describing and Reasoning on Web Services using Process Algebra. ICWS (2004)
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
Preprocessing of Intractable Problems. Inf. Comput. 176 (2) (2002)
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
k-Approximating Circuits Electron. Colloquium Comput. Complex. (067) (2002)
Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. J. Autom. Reason. 28 (2) (2002)
Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf
Solving QBF by SMV. KR (2002)
Paolo Liberatore, Marco Schaerf
Compilability of Abduction CoRR (2002)
Paolo Liberatore, Marco Schaerf
Belief Revision and Update: Complexity of Model Checking. J. Comput. Syst. Sci. 62 (1) (2001)
Paolo Liberatore, Marco Schaerf
Compilability of Abduction. AAAI/IAAI (2000)
Paolo Liberatore, Marco Schaerf
BReLS: A System for the Integration of Knowledge Bases. KR (2000)
Raffaella Colaci, Marco Schaerf
ICARUS: Intelligent Content-Based Retrieval of 3D Scene. AAAI/IAAI (2000)
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
Space Efficiency of Propositional Knowledge Representation Formalisms. J. Artif. Intell. Res. 13 (2000)
Emilio Domenicucci, Francesco M. Donini, Marco Schaerf
ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes. Description Logics (1999)
Marco Schaerf, Alessandro Tessicini
JubilEasy: Build a Personalized 3D Visit of Rome. VRML (1999)
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
The Size of a Revised Knowledge Base. Artif. Intell. 115 (1) (1999)
Marco Cadoli, Andrea Giovanardi, Marco Schaerf
An Algorithm to Evaluate Quantified Boolean Formulae. AAAI/IAAI (1998)
Paolo Liberatore, Marco Schaerf
Arbitration (or How to Merge Knowledge Bases). IEEE Trans. Knowl. Data Eng. 10 (1) (1998)
Paolo Liberatore, Marco Schaerf
The Complexity of Model Checking for Propositional Default Logics. ECAI (1998)
Marco Cadoli, Francesco M. Donini, Marco Schaerf, Riccardo Silvestri
On Compact Representations of Propositional Circumscription. Theor. Comput. Sci. 182 (1-2) (1997)
Paolo Liberatore, Marco Schaerf
Reducing Belief Revision to Circumscription (and Vice Versa). Artif. Intell. 93 (1997)
Marco Cadoli, Andrea Giovanardi, Marco Schaerf
Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae. AI*IA (1997)
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
Feasibility and Unfeasibility of Off-Line Processing. ISTCS (1996)
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. KR (1996)
Marco Cadoli, Marco Schaerf
On the complexity of Entailment in Propositional Multivalued Logics. Ann. Math. Artif. Intell. 18 (1) (1996)
Paolo Liberatore, Marco Schaerf
The Complexity of Model Checking for Belief Revision and Update. AAAI/IAAI, Vol. 1 (1996)
Marco Cadoli, Francesco M. Donini, Marco Schaerf
Is Intractability of Nonmonotonic Reasoning a Real Drawback? Artif. Intell. 88 (1-2) (1996)
Paolo Liberatore, Marco Schaerf
Arbitration: A Commutative Operator for Belief Revision. WOCFAI (1995)
Marco Cadoli, Marco Schaerf
Approximate Inference in Default Logic and Circumscription. Fundam. Informaticae 23 (1) (1995)
Marco Cadoli, Francesco M. Donini, Marco Schaerf
On Compact Representations of Propositional Circumscription. STACS (1995)
Marco Schaerf
Negation and Minimality in Disjunctive Databases. J. Log. Program. 23 (1) (1995)
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
The Size of a Revised Knowledge Base. PODS (1995)
Marco Schaerf, Marco Cadoli
Tractable Reasoning via Approximation. Artif. Intell. 74 (2) (1995)
Paolo Liberatore, Marco Schaerf
Relating Belief Revision and Circumscription. IJCAI (1995)
Marco Cadoli, Francesco M. Donini, Marco Schaerf
Is Intractability of Non-Monotonic Reasoning a Real Drawback? AAAI (1994)
Marco Cadoli, Marco Schaerf
Approximate Inference in Default Logic and Circumscription. Fundam. Informaticae 21 (1/2) (1994)
Marco Schaerf
Logic Programming and Autoepistemic Logics: New Relations and Complexity Results. AI*IA (1993)
Marco Schaerf
Negation and Minimality in Non-Horn Databases. PODS (1993)
Marco Cadoli, Marco Schaerf
A Survey of Complexity Results for Nonmonotonic Logics. J. Log. Program. 17 (2/3&4) (1993)
Marco Cadoli, Marco Schaerf
Approximate Inference in Default Logic and Circumscription. ECAI (1992)
Marco Cadoli, Marco Schaerf
Approximate Reasoning and Non-Omniscient Agents. TARK (1992)
Marco Cadoli, Marco Schaerf
Approximation in Concept Description Languages. KR (1992)
Marco Cadoli, Marco Schaerf
Approximate Entailment. AI*IA (1991)
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
Reasoning about Knowledge: The Meta-Level Approach. SCAI (1991)
Marco Schaerf
Notes on Ginsberg's multivalued logics. Comput. Intell. 7 (1991)
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
Reasoning about reasoning in a meta-level architecture. Appl. Intell. 1 (1) (1991)
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, Marco Schaerf
Nonmonotonic reasoning. Artif. Intell. Rev. 4 (3) (1990)
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
Reasoning About Knowledge and Ignorance. FGCS (1988)
Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf
Yet Another Solution to the Three Wisemen Puzzle. ISMIS (1988)