Marco Schaerf

Citado por

	Total	Desde 2019
Citas	3317	423
Índice h	27	12
Índice i10	47	16

200

100

150

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 10 23 37 57 68 93 74 74 89 102 108 106 150 197 138 187 173 177 159 143 106 134 98 85 104 53 65 49 64 63 70 67 106

Acceso público

Ver todo

5 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Francesco Maria DoniniUniversità della TusciaDirección de correo verificada de unitus.it
Daniele NardiSapienza Univ. Roma, Dept. Computer, Control and Management EngineeringDirección de correo verificada de dis.uniroma1.it
Fiora PirriProfessor, ALCOR LAB @University of Rome, SapienzaDirección de correo verificada de diag.uniroma1.it
Andrea RibichiniSapienza University of RomeDirección de correo verificada de diag.uniroma1.it
Angela Di IorioSapienza Università di RomaDirección de correo verificada de uniroma1.it
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaDirección de correo verificada de inria.fr
Camil DemetrescuProfessor of Computer Science, Sapienza University of RomeDirección de correo verificada de diag.uniroma1.it
Maurizio LenzeriniProfessor of Computer Science, Sapienza University of RomeDirección de correo verificada de diag.uniroma1.it
Marta SanzariPhD researcherDirección de correo verificada de uniroma3.it
Andrea FerraraUniversità La Sapienza di Roma - Dipartimento di InformaticaDirección de correo verificada de di.uniroma1.it
Anna PeriniFondazione Bruno Kessler (FBK), Trento (I)Dirección de correo verificada de fbk.eu
Irene FinocchiProfessor of Computer Science, LUISS University, Rome, ItalyDirección de correo verificada de luiss.it
Simone RossettiPhD student, Sapienza University of RomeDirección de correo verificada de diag.uniroma1.it
Andrea SchaerfProfessor of Computer Science, DPIA, University of Udine, ItalyDirección de correo verificada de uniud.it
Bart SelmanProfessor of Computer Science, Cornell UniversityDirección de correo verificada de cs.cornell.edu
Alessandro PrevitiEricsson ResearchDirección de correo verificada de ericsson.com
Raghuram RamanujanAssociate Professor of Mathematics and Computer Science, Davidson CollegeDirección de correo verificada de davidson.edu
Francesco LupiaUniversity of CalabriaDirección de correo verificada de unical.it
Francesco ScarcelloProfessor of Computer ScienceDirección de correo verificada de unical.it
Amedeo CestaCNR -- National Research Council of Italy, ISTCDirección de correo verificada de istc.cnr.it

Seguir

Marco Schaerf

Professor of Computer Science, Sapienza University

Dirección de correo verificada de uniroma1.it

Artificial Intelligence Computer Graphics Digital Libraries Research Assesment


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	304*	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	239	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	187	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	89	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
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
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	58	2022
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores