Schaerf, Marco

8 publications

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

AAAI 2000 Compilability of Abduction Paolo Liberatore, Marco Schaerf

AAAI 2000 ICARUS: Intelligent Content-Based Retrieval of 3D Scene Raffaella Colaci, Marco Schaerf

JAIR 2000 Space Efficiency of Propositional Knowledge Representation Formalisms Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

AAAI 1998 An Algorithm to Evaluate Quantified Boolean Formulae Marco Cadoli, Andrea Giovanardi, Marco Schaerf

AAAI 1996 The Complexity of Model Checking for Belief Revision and Update Paolo Liberatore, Marco Schaerf

IJCAI 1995 Relating Belief Revision and Circumscription Paolo Liberatore, Marco Schaerf

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