Marco Schaerf

Cited by

	All	Since 2017
Citations	3058	332
h-index	26	10
i10-index	43	11

200

100

150

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202214 6 19 32 55 67 88 71 68 91 97 107 112 156 193 142 192 160 176 164 139 103 132 95 85 96 53 67 52 68 70 22

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Daniele NardiSapienza Univ. Roma, Dept. Computer, Control and Management EngineeringVerified email at dis.uniroma1.it
Angela Di IorioSapienza Università di RomaVerified email at uniroma1.it
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaVerified email at inria.fr
Marco FratarcangeliChalmers University of TechnologyVerified email at chalmers.se
Fiora PirriProfessor, ALCOR LAB @University of Rome, SapienzaVerified email at diag.uniroma1.it
Andrea RibichiniVerified email at diag.uniroma1.it
Camil DemetrescuProfessor of Computer Science, Sapienza University of RomeVerified email at diag.uniroma1.it
Anna PeriniCenter for Information Technology (CIT), FBK, Trento (I)Verified email at fbk.eu
Andrea FerraraUniversità La Sapienza di Roma - Dipartimento di InformaticaVerified email at di.uniroma1.it
Maurizio LenzeriniProfessor of Computer Science, Università di Roma La SapienzaVerified email at diag.uniroma1.it
Bart SelmanProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Alessandro PrevitiEricsson ResearchVerified email at ericsson.com
Matteo BertazzoVerified email at cineca.it
Enrico GiunchigliaDIBRIS - Università di GenovaVerified email at unige.it
Francesco LupiaUniversity of Calabria - PostDocVerified email at dimes.unical.it
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerified email at ieee.org
Alberto FinziProf. Computer Science, Università di Napoli "Federico II"Verified email at unina.it
Tiziana CatarciProfessor of Computer Engineering, Sapienza - Università di RomaVerified email at dis.uniroma1.it
marta cialdeaDipartimento di Informatica e Automazione, Universita` di Roma TreVerified email at dia.uniroma3.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	288*	1998
Tractable reasoning via approximation M Schaerf, M Cadoli Artificial Intelligence 74 (2), 249-310, 1995	246	1995
Arbitration (or how to merge knowledge bases) P Liberatore, M Schaerf IEEE Transactions on Knowledge and Data Engineering 10 (1), 76-90, 1998	232	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	196	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 (2), 101-142, 2002	179	2002
Is intractability of nonmonotonic reasoning a real drawback? M Cadoli, FM Donini, M Schaerf Artificial intelligence 88 (1-2), 215-251, 1996	97	1996
Preprocessing of intractable problems M Cadoli, FM Donini, P Liberatore, M Schaerf Information and Computation 176 (2), 89-120, 2002	82	2002
Preprocessing of intractable problems M Cadoli, FM Donini, P Liberatore, M Schaerf Information and Computation 176 (2), 89-120, 2002	82	2002
On the complexity of entailment in propositional multivalued logics M Cadoli, M Schaerf Annals of Mathematics and Artificial Intelligence 18 (1), 29-50, 1996	71	1996
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	70	2001
Arbitration: A Commutative Operator for Belief Revision. P Liberatore, M Schaerf WOCFAI, 217-228, 1995	64	1995
BReLS: A system for the integration of knowledge bases P Liberatore, M Schaerf KR, 145-152, 2000	58	2000
Space efficiency of propositional knowledge representation formalisms M Cadoli, FM Donini, P Liberatore, M Schaerf Journal of Artificial Intelligence Research 13, 1-31, 2000	54	2000
Experimental analysis of the computational cost of evaluating quantified boolean formulae M Cadoli, A Giovanardi, M Schaerf Congress of the Italian Association for Artificial Intelligence, 207-218, 1997	50	1997
The complexity of model checking for belief revision and update P Liberatore, M Schaerf AAAI/IAAI, Vol. 1, 556-561, 1996	48	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	43	1997
Belief revision and update: Complexity of model checking P Liberatore, M Schaerf Journal of Computer and System Sciences 62 (1), 43-72, 2001	38	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 this author

Cited by

Co-authors