Reasoning About Knowledge and Ignorance. - Luigia Carlucci Aiello; Daniele Nardi; Marco Schaerf (FGCS, 1988)

Yet Another Solution to the Three Wisemen Puzzle. - Luigia Carlucci Aiello; Daniele Nardi; Marco Schaerf (ISMIS, 1988)

Nonmonotonic reasoning. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Fiora Pirri; Marco Schaerf (Artif. Intell. Rev., 1990)

Approximate Entailment. - Marco Cadoli; Marco Schaerf (AI*IA, 1991)

Reasoning about Knowledge: The Meta-Level Approach. - Luigia Carlucci Aiello; Daniele Nardi; Marco Schaerf (SCAI, 1991)

Reasoning about reasoning in a meta-level architecture. - Luigia Carlucci Aiello; Daniele Nardi; Marco Schaerf (Appl. Intell., 1991)

Notes on Ginsberg's multivalued logics. - Marco Schaerf (Comput. Intell., 1991)

Approximation in Concept Description Languages. - Marco Cadoli; Marco Schaerf (KR, 1992)

Approximate Reasoning and Non-Omniscient Agents. - Marco Cadoli; Marco Schaerf (TARK, 1992)

Logic Programming and Autoepistemic Logics: New Relations and Complexity Results. - Marco Schaerf (AI*IA, 1993)

Negation and Minimality in Non-Horn Databases. - Marco Schaerf (PODS, 1993)

A Survey of Complexity Results for Nonmonotonic Logics. - Marco Cadoli; Marco Schaerf (J. Log. Program., 1993)

Is Intractability of Non-Monotonic Reasoning a Real Drawback? - Marco Cadoli; Francesco M. Donini; Marco Schaerf (AAAI, 1994)

Approximate Inference in Default Logic and Circumscription. - Marco Cadoli; Marco Schaerf (Fundam. Informaticae, 1994)

Relating Belief Revision and Circumscription. - Paolo Liberatore; Marco Schaerf (IJCAI, 1995)

On Compact Representations of Propositional Circumscription. - Marco Cadoli; Francesco M. Donini; Marco Schaerf (STACS, 1995)

Arbitration: A Commutative Operator for Belief Revision. - Paolo Liberatore; Marco Schaerf (WOCFAI, 1995)

Tractable Reasoning via Approximation. - Marco Schaerf; Marco Cadoli (Artif. Intell., 1995)

Negation and Minimality in Disjunctive Databases. - Marco Schaerf (J. Log. Program., 1995)

The Complexity of Model Checking for Belief Revision and Update. - Paolo Liberatore; Marco Schaerf (AAAI/IAAI, Vol. 1, 1996)

Feasibility and Unfeasibility of Off-Line Processing. - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (ISTCS, 1996)

Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (KR, 1996)

Is Intractability of Nonmonotonic Reasoning a Real Drawback? - Marco Cadoli; Francesco M. Donini; Marco Schaerf (Artif. Intell., 1996)

On the complexity of Entailment in Propositional Multivalued Logics. - Marco Cadoli; Marco Schaerf (Ann. Math. Artif. Intell., 1996)

Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae. - Marco Cadoli; Andrea Giovanardi; Marco Schaerf (AI*IA, 1997)

Reducing Belief Revision to Circumscription (and Vice Versa). - Paolo Liberatore; Marco Schaerf (Artif. Intell., 1997)

On Compact Representations of Propositional Circumscription. - Marco Cadoli; Francesco M. Donini; Marco Schaerf; Riccardo Silvestri (Theor. Comput. Sci., 1997)

An Algorithm to Evaluate Quantified Boolean Formulae. - Marco Cadoli; Andrea Giovanardi; Marco Schaerf (AAAI/IAAI, 1998)

Arbitration (or How to Merge Knowledge Bases). - Paolo Liberatore; Marco Schaerf (IEEE Trans. Knowl. Data Eng., 1998)

ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes. - Emilio Domenicucci; Francesco M. Donini; Marco Schaerf (Description Logics, 1999)

JubilEasy: Build a Personalized 3D Visit of Rome. - Marco Schaerf; Alessandro Tessicini (VRML, 1999)

The Size of a Revised Knowledge Base. - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (Artif. Intell., 1999)

ICARUS: Intelligent Content-Based Retrieval of 3D Scene. - Raffaella Colaci; Marco Schaerf (AAAI/IAAI, 2000)

Compilability of Abduction. - Paolo Liberatore; Marco Schaerf (AAAI/IAAI, 2000)

BReLS: A System for the Integration of Knowledge Bases. - Paolo Liberatore; Marco Schaerf (KR, 2000)

Space Efficiency of Propositional Knowledge Representation Formalisms. - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (J. Artif. Intell. Res., 2000)

Belief Revision and Update: Complexity of Model Checking. - Paolo Liberatore; Marco Schaerf (J. Comput. Syst. Sci., 2001)

Solving QBF by SMV. - Francesco M. Donini; Paolo Liberatore; Fabio Massacci; Marco Schaerf (KR, 2002)

k-Approximating Circuits - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (Electron. Colloquium Comput. Complex., 2002)

Preprocessing of Intractable Problems. - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (Inf. Comput., 2002)

An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. - Marco Cadoli; Marco Schaerf; Andrea Giovanardi; Massimo Giovanardi (J. Autom. Reason., 2002)

The Compactness of Belief Revision and Update Operators. - Paolo Liberatore; Marco Schaerf (Fundam. Informaticae, 2004)

The Complexity of Action Redundancy. - Andrea Ferrara; Paolo Liberatore; Marco Schaerf (AI*IA, 2005)

Facial Motion Cloning Using Global Shape Deformation. - Marco Fratarcangeli; Marco Schaerf (Eurographics (Short Presentations), 2005)

The complexity of model checking for propositional default logics. - Paolo Liberatore; Marco Schaerf (Data Knowl. Eng., 2005)

Partial Solutions with Unique Completion. - Marco Cadoli; Marco Schaerf (Reasoning, Action and Interaction in AI Theories and Systems, 2006)

Describing and reasoning on Web Services using Process Algebra. - Gwen Salaün; Lucas Bordeaux; Marco Schaerf (Int. J. Bus. Process. Integr. Manag., 2006)

Model Checking and Preprocessing. - Andrea Ferrara; Paolo Liberatore; Marco Schaerf (AI*IA, 2007)

Obituary: Marco Cadoli (1965-2006) Dipartimento di Informatica e Sistemistica, Antonio Ruberti Sapienza Universitá di Roma. - Marco Schaerf (AI Commun., 2007)

Facial motion cloning with radial basis functions in MPEG-4 FBA. - Marco Fratarcangeli; Marco Schaerf; Robert Forchheimer (Graph. Model., 2007)

Compilability of propositional abduction. - Paolo Liberatore; Marco Schaerf (ACM Trans. Comput. Log., 2007)

On the size of data structures used in symbolic model checking - Paolo Liberatore; Marco Schaerf (CoRR, 2010)

Monte-Carlo Style UCT Search for Boolean Satisfiability. - Alessandro Previti; Raghuram Ramanujan; Marco Schaerf; Bart Selman (AI*IA, 2011)

Applying UCT to Boolean Satisfiability. - Alessandro Previti; Raghuram Ramanujan; Marco Schaerf; Bart Selman (SAT, 2011)

Establishing a Digital Library in Wide-Ranging University's Context - The Sapienza Digital Library Experience. - Angela Di Iorio; Marco Schaerf; Matteo Bertazzo (IRCDL, 2012)

On the Complexity of Finding Second-Best Abductive Explanations - Paolo Liberatore; Marco Schaerf (CoRR, 2012)

Applicability of Digital Library Descriptive Metadata to the Contemporary Artworks - The Sapienza Digital Library Case Study. - Angela Di Iorio; Marco Schaerf (ECLAP, 2013)

A Digital Infrastructure for Trustworthiness - The Sapienza Digital Library Experience. - Angela Di Iorio; Marco Schaerf; Maria Guercio; Silvia Ortolani; Matteo Bertazzo (IRCDL, 2013)

The scientific legacy of Marco Cadoli in Artificial Intelligence. - Maurizio Lenzerini; Marco Schaerf (Intelligenza Artificiale, 2013)

The compilability framework. - Paolo Liberatore; Marco Schaerf (Intelligenza Artificiale, 2013)

Identification Semantics for an Organization Establishing a Digital Library System. - Angela Di Iorio; Marco Schaerf (SDA@JCDL/TPDL, 2014)

The Sapienza Digital Library from the Holistic Vision to the Actual Implementation. - Tiziana Catarci; Angela Di Iorio; Marco Schaerf (IRCDL, 2014)

The Organization information integration in the management of a Digital Library System. - Angela Di Iorio; Marco Schaerf (JCDL, 2014)

Providing Proof of Trustworthiness Reconstructing Digital Objects' Custody Chain. - Angela Di Iorio; Marco Schaerf (OTM Workshops, 2014)

A Semantic Model for Content Description in the Sapienza Digital Library. - Angela Di Iorio; Marco Schaerf (IRCDL, 2015)

Collision detection for articulated deformable characters. - Nadine Abu Rumman; Marco Schaerf; Dominique Bechmann (MIG, 2015)

On the complexity of second-best abductive explanations. - Paolo Liberatore; Marco Schaerf (Int. J. Approx. Reason., 2015)

The Size of BDDs and Other Data Structures in Temporal Logics Model Checking. - Andrea Ferrara; Paolo Liberatore; Marco Schaerf (IEEE Trans. Computers, 2016)

Learning PREMIS Knowledge Base: a tool for humans and machines. - Angela Di Iorio; Marco Schaerf (iPRES, 2018)

Computing the Shapley value in allocation problems: approximations and bounds, with an application to the Italian VQR research assessment program. - Francesco Lupia; Angelo Mendicelli; Andrea Ribichini; Francesco Scarcello; Marco Schaerf (J. Exp. Theor. Artif. Intell., 2018)

Accuracy of author names in bibliographic data sources: an Italian case study. - Camil Demetrescu; Andrea Ribichini; Marco Schaerf (Scientometrics, 2018)

Expressing the Tacit Knowledge of a Digital Library System as Linked Data. - Angela Di Iorio; Marco Schaerf (Comput., 2019)

On the Shapley value and its application to the Italian VQR research assessment exercise. - Camil Demetrescu; Francesco Lupia; Angelo Mendicelli; Andrea Ribichini; Francesco Scarcello; Marco Schaerf (J. Informetrics, 2019)

On bibliometrics in academic promotions: a case study in computer science and engineering in Italy. - Camil Demetrescu; Irene Finocchi; Andrea Ribichini; Marco Schaerf (Scientometrics, 2020)

Are Italian research assessment exercises size-biased? - Camil Demetrescu; Andrea Ribichini; Marco Schaerf (Scientometrics, 2020)

Max Pooling with Vision Transformers Reconciles Class and Shape in Weakly Supervised Semantic Segmentation. - Simone Rossetti; Damiano Zappia; Marta Sanzari; Marco Schaerf; Fiora Pirri (ECCV (30), 2022)

Which Conference Is That? A Case Study in Computer Science. - Camil Demetrescu; Irene Finocchi; Andrea Ribichini; Marco Schaerf (ACM J. Data Inf. Qual., 2022)

On computer science research and its temporal evolution. - Camil Demetrescu; Irene Finocchi; Andrea Ribichini; Marco Schaerf (Scientometrics, 2022)

Artificial Intelligence Algorithms for the Analysis of User Experience in Palazzo Braschi Museum. - 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; et al. (GCH, 2023)

An analysis of international mobility and research productivity in computer science. - Irene Finocchi; Andrea Ribichini; Marco Schaerf (Scientometrics, 2023)

Evaluating visitors' experience in museum: Comparing artificial intelligence and multi-partitioned analysis. - 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; et al. (Digit. Appl. Archaeol. Cult. Heritage, 2024)

A large-scale temporal analysis of scientific production across disciplines and countries. - Irene Finocchi; Andrea Ribichini; Marco Schaerf (J. Informetrics, 2025)