Marco Schaerf

Citado por

	Total	Desde 2019
Citas	3247	364
Índice h	27	11
Índice i10	46	15

200

100

150

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 10 23 38 57 63 94 74 75 87 102 106 107 150 199 137 185 172 179 159 142 104 128 99 85 104 53 66 49 66 62 74 70 43

Acceso público

Ver todo

5 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

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
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
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
Francesco LupiaUniversity of CalabriaDirección de correo verificada de unical.it
Enrico GiunchigliaDIBRIS - Università di GenovaDirección de correo verificada de unige.it
Matteo BertazzoDirección de correo verificada de cineca.it
Alberto FinziProf. Computer Science, Università di Napoli "Federico II"Dirección de correo verificada de unina.it
Amedeo CestaCNR -- National Research Council of Italy, ISTCDirección de correo verificada de istc.cnr.it
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyDirección de correo verificada de ieee.org
Tiziana CatarciProfessor of Computer Engineering, Sapienza - Università di RomaDirección de correo verificada de dis.uniroma1.it
marta cialdeaDipartimento di Informatica e Automazione, Universita` di Roma TreDirección de correo verificada de dia.uniroma3.it
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaDirección de correo verificada de diag.uniroma1.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	464	2006
An algorithm to evaluate quantified Boolean formulae M Cadoli, A Giovanardi, M Schaerf AAAI/IAAI 98, 262-267, 1998	302*	1998
Tractable reasoning via approximation M Schaerf, M Cadoli Artificial Intelligence 74 (2), 249-310, 1995	254	1995
Arbitration (or how to merge knowledge bases) P Liberatore, M Schaerf IEEE Transactions on Knowledge and Data Engineering 10 (1), 76-90, 1998	238	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	201	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	185	2002
Is intractability of nonmonotonic reasoning a real drawback? M Cadoli, FM Donini, M Schaerf Artificial intelligence 88 (1-2), 215-251, 1996	99	1996
Preprocessing of intractable problems M Cadoli, FM Donini, P Liberatore, M Schaerf Information and Computation 176 (2), 89-120, 2002	86	2002
Preprocessing of intractable problems M Cadoli, FM Donini, P Liberatore, M Schaerf Information and Computation 176 (2), 89-120, 2002	86	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	71	2001
On the complexity of entailment in propositional multivalued logics M Cadoli, M Schaerf Annals of Mathematics and Artificial Intelligence 18, 29-50, 1996	66	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	59	2000
BReLS: A system for the integration of knowledge bases P Liberatore, M Schaerf KR, 145-152, 2000	58	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	46	1995
The size of a revised knowledge base M Cadoli, FM Donini, P Liberatore, M Schaerf Artificial Intelligence 115 (1), 25-64, 1999	45	1999
Belief revision and update: Complexity of model checking P Liberatore, M Schaerf Journal of Computer and System Sciences 62 (1), 43-72, 2001	43	2001
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

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