Marco Schaerf

Navedeno

	Vse	Od leta 2020
Navedbe	3357	399
indeks h	27	11
indeks i10	47	15

200

100

150

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 9 19 35 58 66 91 73 76 91 104 107 105 151 195 138 191 172 177 163 140 109 138 95 91 99 54 66 50 63 64 71 65 122 13

Javni dostop

Prikaži vse

5 člankov

1 članek

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Francesco Maria DoniniUniversità della TusciaPreverjeni e-poštni naslov na unitus.it
Daniele NardiSapienza Univ. Roma, Dept. Computer, Control and Management EngineeringPreverjeni e-poštni naslov na dis.uniroma1.it
Fiora PirriProfessor, ALCOR LAB @University of Rome, SapienzaPreverjeni e-poštni naslov na diag.uniroma1.it
Andrea RibichiniSapienza University of RomePreverjeni e-poštni naslov na diag.uniroma1.it
Angela Di IorioSapienza Università di RomaPreverjeni e-poštni naslov na uniroma1.it
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaPreverjeni e-poštni naslov na inria.fr
Camil DemetrescuProfessor of Computer Science, Sapienza University of RomePreverjeni e-poštni naslov na diag.uniroma1.it
Maurizio LenzeriniProfessor of Computer Science, Sapienza University of RomePreverjeni e-poštni naslov na diag.uniroma1.it
Marta SanzariPhD researcherPreverjeni e-poštni naslov na uniroma3.it
Andrea FerraraUniversità La Sapienza di Roma - Dipartimento di InformaticaPreverjeni e-poštni naslov na di.uniroma1.it
Anna PeriniFondazione Bruno Kessler (FBK), Trento (I)Preverjeni e-poštni naslov na fbk.eu
Irene FinocchiProfessor of Computer Science, LUISS University, Rome, ItalyPreverjeni e-poštni naslov na luiss.it
Simone RossettiPhD candidate, Sapienza University of RomePreverjeni e-poštni naslov na diag.uniroma1.it
Andrea SchaerfProfessor of Computer Science, DPIA, University of Udine, ItalyPreverjeni e-poštni naslov na uniud.it
Amedeo CestaCNR -- National Research Council of Italy, ISTCPreverjeni e-poštni naslov na istc.cnr.it
Bart SelmanProfessor of Computer Science, Cornell UniversityPreverjeni e-poštni naslov na cs.cornell.edu
Alessandro PrevitiEricsson ResearchPreverjeni e-poštni naslov na ericsson.com
Raghuram RamanujanAssociate Professor of Mathematics and Computer Science, Davidson CollegePreverjeni e-poštni naslov na davidson.edu
Francesco LupiaUniversity of CalabriaPreverjeni e-poštni naslov na unical.it
Francesco ScarcelloProfessor of Computer SciencePreverjeni e-poštni naslov na unical.it

Spremljaj

Marco Schaerf

Professor of Computer Science, Sapienza University

Preverjeni e-poštni naslov na uniroma1.it

Artificial Intelligence Computer Graphics Digital Libraries Research Assesment


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	469	2006
An algorithm to evaluate quantified Boolean formulae M Cadoli, A Giovanardi, M Schaerf AAAI/IAAI 98, 262-267, 1998	303*	1998
Tractable reasoning via approximation M Schaerf, M Cadoli Artificial Intelligence 74 (2), 249-310, 1995	260	1995
Arbitration (or how to merge knowledge bases) P Liberatore, M Schaerf IEEE Transactions on Knowledge and Data Engineering 10 (1), 76-90, 1998	242	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	189	2002
Is intractability of nonmonotonic reasoning a real drawback? M Cadoli, FM Donini, M Schaerf Artificial intelligence 88 (1-2), 215-251, 1996	103	1996
Preprocessing of intractable problems M Cadoli, FM Donini, P Liberatore, M Schaerf Information and Computation 176 (2), 89-120, 2002	92	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	73	2001
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	68	2022
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	62	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	52	1996
The size of a revised knowledge base M Cadoli, FM Donini, P Liberatore, M Schaerf Artificial Intelligence 115 (1), 25-64, 1999	47	1999
Approximate inference in default logic and circumscription M Cadoli, M Schaerf Fundamenta Informaticae 23 (1), 123-143, 1995	47	1995
On compact representations of propositional circumscription M Cadoli, FM Donini, M Schaerf, R Silvestri Theoretical Computer Science 182 (1-2), 183-202, 1997	45	1997
Belief revision and update: Complexity of model checking P Liberatore, M Schaerf Journal of Computer and System Sciences 62 (1), 43-72, 2001	44	2001

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji