Marco Schaerf

Cited by

	All	Since 2020
Citations	3335	391
h-index	27	11
i10-index	47	13

200

100

150

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202517 10 23 37 57 68 93 74 74 89 102 108 106 151 197 138 187 173 177 159 143 106 136 97 85 103 53 66 48 64 63 72 67 115 9

Public access

View all

5 articles

1 article

available

not available

Based on funding mandates

Co-authors

Francesco Maria DoniniUniversità della TusciaVerified email at unitus.it
Daniele NardiSapienza Univ. Roma, Dept. Computer, Control and Management EngineeringVerified email at dis.uniroma1.it
Fiora PirriProfessor, ALCOR LAB @University of Rome, SapienzaVerified email at diag.uniroma1.it
Andrea RibichiniSapienza University of RomeVerified email at diag.uniroma1.it
Angela Di IorioSapienza Università di RomaVerified email at uniroma1.it
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaVerified email at inria.fr
Camil DemetrescuProfessor of Computer Science, Sapienza University of RomeVerified email at diag.uniroma1.it
Maurizio LenzeriniProfessor of Computer Science, Sapienza University of RomeVerified email at diag.uniroma1.it
Marta SanzariPhD researcherVerified email at uniroma3.it
Andrea FerraraUniversità La Sapienza di Roma - Dipartimento di InformaticaVerified email at di.uniroma1.it
Anna PeriniFondazione Bruno Kessler (FBK), Trento (I)Verified email at fbk.eu
Irene FinocchiProfessor of Computer Science, LUISS University, Rome, ItalyVerified email at luiss.it
Simone RossettiPhD candidate, Sapienza University of RomeVerified email at diag.uniroma1.it
Andrea SchaerfProfessor of Computer Science, DPIA, University of Udine, ItalyVerified email at uniud.it
Bart SelmanProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Alessandro PrevitiEricsson ResearchVerified email at ericsson.com
Raghuram RamanujanAssociate Professor of Mathematics and Computer Science, Davidson CollegeVerified email at davidson.edu
Francesco LupiaUniversity of CalabriaVerified email at unical.it
Francesco ScarcelloProfessor of Computer ScienceVerified email at unical.it
Amedeo CestaCNR -- National Research Council of Italy, ISTCVerified email at istc.cnr.it

Marco Schaerf

Professor of Computer Science, Sapienza University

Verified email at uniroma1.it

Artificial Intelligence Computer Graphics Digital Libraries Research Assesment


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Describing and reasoning on web services using process algebra G Salaun, L Bordeaux, M Schaerf International Journal of Business Process Integration and Management 1 (2 …, 2006	466	2006
An algorithm to evaluate quantified Boolean formulae M Cadoli, A Giovanardi, M Schaerf AAAI/IAAI 98, 262-267, 1998	305*	1998
Tractable reasoning via approximation M Schaerf, M Cadoli Artificial Intelligence 74 (2), 249-310, 1995	259	1995
Arbitration (or how to merge knowledge bases) P Liberatore, M Schaerf IEEE Transactions on Knowledge and Data Engineering 10 (1), 76-90, 1998	241	1998
A survey of complexity results for non-monotonic logics M Cadoli, M Schaerf The Journal of Logic Programming 17 (2-4), 127-160, 1993	204	1993
An algorithm to evaluate quantified boolean formulae and its experimental evaluation M Cadoli, M Schaerf, A Giovanardi, M Giovanardi Journal of Automated Reasoning 28, 101-142, 2002	188	2002
Is intractability of nonmonotonic reasoning a real drawback? M Cadoli, FM Donini, M Schaerf Artificial intelligence 88 (1-2), 215-251, 1996	100	1996
Preprocessing of intractable problems M Cadoli, FM Donini, P Liberatore, M Schaerf Information and Computation 176 (2), 89-120, 2002	90	2002
Towards intelligent decision support systems for emergency managers: the IDA approach AM Gadomski, S Bologna, GD Costanzo, A Perini, M Schaerf International Journal of Risk Assessment and Management 2 (3-4), 224-242, 2001	72	2001
On the complexity of entailment in propositional multivalued logics M Cadoli, M Schaerf Annals of Mathematics and Artificial Intelligence 18, 29-50, 1996	67	1996
Arbitration: A Commutative Operator for Belief Revision. P Liberatore, M Schaerf WOCFAI, 217-228, 1995	66	1995
Max pooling with vision transformers reconciles class and shape in weakly supervised semantic segmentation S Rossetti, D Zappia, M Sanzari, M Schaerf, F Pirri European conference on computer vision, 446-463, 2022	65	2022
Space efficiency of propositional knowledge representation formalisms M Cadoli, FM Donini, P Liberatore, M Schaerf Journal of Artificial Intelligence Research 13, 1-31, 2000	61	2000
BReLS: A system for the integration of knowledge bases P Liberatore, M Schaerf KR, 145-152, 2000	60	2000
Experimental analysis of the computational cost of evaluating quantified boolean formulae M Cadoli, A Giovanardi, M Schaerf AI* IA 97: Advances in Artificial Intelligence: 5th Congress of the Italian …, 1997	52	1997
The complexity of model checking for belief revision and update P Liberatore, M Schaerf AAAI/IAAI, Vol. 1, 556-561, 1996	50	1996
Approximate inference in default logic and circumscription M Cadoli, M Schaerf Fundamenta Informaticae 23 (1), 123-143, 1995	45	1995
The size of a revised knowledge base M Cadoli, FM Donini, P Liberatore, M Schaerf Artificial Intelligence 115 (1), 25-64, 1999	44	1999
On compact representations of propositional circumscription M Cadoli, FM Donini, M Schaerf, R Silvestri Theoretical Computer Science 182 (1-2), 183-202, 1997	44	1997
Belief revision and update: Complexity of model checking P Liberatore, M Schaerf Journal of Computer and System Sciences 62 (1), 43-72, 2001	42	2001

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors