Marco Schaerf

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