11573/1689795 - 2023 -
Artificial Intelligence Algorithms for the Analysis of User Experience in Palazzo Braschi Museum Ceccarelli, Sofia; Cesta, Amedeo; Cortellessa, Gabriella; Benedictis Riccardo, De; Fracasso, Francesca; Leopardi, Laura; Ligios, Luca; Lombardi, Ernesto; Malatesta, Saverio Giulio; Oddi, Angelo; Pagano, Alfonsina; Palombini, Augusto; Romagna, Gianmauro; Sanzari, Marta; Schaerf, Marco - 04b Atto di convegno in volume
conference: GCH 2023 - Eurographics Workshop on Graphics and Cultural Heritage (Lecce, Italy)
book: Eurographics Workshop on Graphics and Cultural Heritage - (978-3-03868-217-2)
11573/1691830 - 2023 -
An analysis of international mobility and research productivity in computer science Finocchi, I.; Ribichini, A.; Schaerf, M. - 01a Articolo in rivista
paper: SCIENTOMETRICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 6147-6175 - issn: 0138-9130 - wos: WOS:001071607600001 (0) - scopus: 2-s2.0-85172695089 (1)
11573/1674309 - 2023 -
Anomaly detection in railway bridges using imaging techniques Russo, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: SCIENTIFIC REPORTS (London: Springer Nature
London: Nature Publishing Group) pp. - - issn: 2045-2322 - wos: WOS:000985158100040 (1) - scopus: 2-s2.0-85149708399 (2)
11573/1661033 - 2022 -
On computer science research and its temporal evolution Demetrescu, C.; Finocchi, I.; Ribichini, A.; Schaerf, M. - 01a Articolo in rivista
paper: SCIENTOMETRICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 4913-4938 - issn: 0138-9130 - wos: WOS:000833438000001 (2) - scopus: 2-s2.0-85136765914 (3)
11573/1661035 - 2022 -
Which Conference Is That? A Case Study in Computer Science Demetrescu, C.; Finocchi, I.; Ribichini, A.; Schaerf, M. - 01a Articolo in rivista
paper: ACM JOURNAL OF DATA AND INFORMATION QUALITY (New York, NY: Association for Comput ing Machinery (ACM)) pp. 1-13 - issn: 1936-1955 - wos: WOS:000934495600006 (1) - scopus: 2-s2.0-85136752684 (1)
11573/1664986 - 2022 -
Max Pooling with Vision Transformers Reconciles Class and Shape in Weakly Supervised Semantic Segmentation Rossetti, S.; Zappia, D.; Sanzari, M.; Schaerf, M.; Pirri, F. - 04b Atto di convegno in volume
conference: European Conference on Computer Vision (Tel Aviv, Israel)
book: 17th European conference on computer vision, ECCV 2022 - (978-3-031-20055-7; 978-3-031-20056-4)
11573/1464349 - 2020 -
Are Italian research assessment exercises size-biased? Demetrescu, C.; Ribichini, A.; Schaerf, M. - 01a Articolo in rivista
paper: SCIENTOMETRICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 533-549 - issn: 0138-9130 - wos: WOS:000556168300006 (3) - scopus: 2-s2.0-85089107775 (4)
11573/1405608 - 2020 -
On bibliometrics in academic promotions: a case study in computer science and engineering in Italy Demetrescu, Camil; Finocchi, Irene; Ribichini, Andrea; Schaerf, Marco - 01a Articolo in rivista
paper: SCIENTOMETRICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 2207-2228 - issn: 0138-9130 - wos: WOS:000544354400011 (10) - scopus: 2-s2.0-85086644320 (10)
11573/1204366 - 2019 -
On the Shapley value and its application to the Italian VQR research assessment exercise Demetrescu, Camil; Lupia, Francesco; Mendicelli, Angelo; Ribichini, Andrea; Scarcello, Francesco; Schaerf, Marco - 01a Articolo in rivista
paper: JOURNAL OF INFORMETRICS (Amsterdam ; Boston ; Jena ; London ; New York ; Oxford ; Paris ; Philadelphia ; San Diego ; St. Louis : Elsevier) pp. 87-104 - issn: 1751-1577 - wos: WOS:000460550800007 (9) - scopus: 2-s2.0-85058031245 (11)
11573/1321272 - 2019 -
Expressing the tacit knowledge of a digital library system as linked data Di Iorio, A.; Schaerf, M. - 01a Articolo in rivista
paper: COMPUTERS (Basel : MDPI) pp. - - issn: 2073-431X - wos: WOS:000475513000018 (3) - scopus: 2-s2.0-85071179971 (4)
11573/1359783 - 2019 -
Autonomous flight of a quadrocopter group with the use of the virtual leader strategy Samoilov, P.; Vinokursky, D.; Schaerf, M.; Mecella, M. - 04b Atto di convegno in volume
conference: 3rd International Workshop on Young Scientist's Trends in Information Processing, YSIP3 2019 (Stavropol and Arkhyz; Russian Federation)
book: Proceedings of the Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3 2019) - ()
11573/1169506 - 2018 -
Accuracy of Author Names in Bibliographic Data Sources: An Italian Case Study Demetrescu, Camil; Ribichini, Andrea; Schaerf, Marco - 01a Articolo in rivista
paper: SCIENTOMETRICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 1777-1791 - issn: 0138-9130 - wos: WOS:000451754600022 (8) - scopus: 2-s2.0-85055970421 (8)
11573/1209171 - 2018 -
Addressing the tacit knowledge of a digital library system Di Iorio, Angela; Schaerf, Marco - 04b Atto di convegno in volume
conference: 2018 Multidisciplinary Symposium on Computer Science and ICT, REMS 2018 (Stavropol; Russia)
book: REMS 2018 Multidisciplinary Symposium on Computer Science and ICT - ()
11573/1210556 - 2018 -
Learning PREMIS Knowledge Base: a Tool for Humans and Machines Di Iorio, Angela; Schaerf, Marco - 04b Atto di convegno in volume
conference: iPRES 2018 the 15th International Conference on Digital Preservation (Boston, MA, USA)
book: iPres2018 Conference - ()
11573/1102376 - 2018 -
Computing the Shapley value in allocation problems: approximations and bounds, with an application to the Italian VQR research assessment program Lupia, Francesco; Mendicelli, Angelo; Ribichini, Andrea; Scarcello, Francesco; Schaerf, Marco - 01a Articolo in rivista
paper: JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE (Taylor & Francis Limited:Rankine Road, Basingstoke RG24 8PR United Kingdom:011 44 1256 813035, EMAIL: madeline.sims@tandf.co.uk, info@tandf.co.uk, INTERNET: http://www.tandf.co.uk, Fax: 011 44 1256 330245) pp. 505-524 - issn: 0952-813X - wos: WOS:000437347100003 (5) - scopus: 2-s2.0-85045101580 (6)
11573/1204428 - 2018 -
REMS 2018
Multidisciplinary Symposium on Computer Science and ICT Mecella, Massimo; Schaerf, Marco; Viktoria Igorevna, Drozdova; Igor Anatolievich, Kalmykov - 06a Curatela
Schaerf, M.; Mecella, M.; Igorevna, D. V.; Anatolievich, K. I. - 02c Prefazione/Postfazione
book: Multidisciplinary Symposium on Computer Science and ICT - ()
11573/1209169 - 2018 -
The adaptive control system of quadrocopter motion Schaerf, Marco; Vinokursky, Dmitry; Mecella, Massimo; Samoilov, Filipp - 04b Atto di convegno in volume
conference: 2018 Multidisciplinary Symposium on Computer Science and ICT, REMS 2018 (Stavropol; Russian Federation)
book: REMS 2018 Multidisciplinary Symposium on Computer Science and ICT - ()
11573/1008856 - 2017 -
Computing the Shapley Value in Allocation Problems: Approximations and
Bounds, with an Application to the Italian VQR Research Assessment Program Francesco, Lupia; Angelo, Mendicelli; Ribichini, Andrea; Francesco, Scarcello; Schaerf, Marco - 13a Altro ministeriale
11573/1008857 - 2017 -
Research assessment: A contribution to solving the publication credit allocation problem Schaerf, Marco - 04b Atto di convegno in volume
conference: 2nd Young Scientist's International Workshop on Trends in Information Processing, YSIP2 2017 (Dombai, Russian Federation)
book: YSIP2 Proceedings of the second young scientist’s international workshop on trends in information processing, Dombai, Russian Federation, May 16–20, 2017 - ()
11573/937952 - 2016 -
A semantic model for content description in the sapienza digital library Di Iorio, Angela; Schaerf, Marco - 04b Atto di convegno in volume
conference: 11th Italian Research Conference on Digital Libraries, IRCDL 2015 (Bolzano; Italy)
book: Digital Libraries on the Movee - (9783319419374; 978-3-319-41938-1)
11573/912746 - 2016 -
The size of BDDs and other data structures in temporal logics model checking Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON COMPUTERS (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 3148-3156 - issn: 0018-9340 - wos: WOS:000384131200016 (0) - scopus: 2-s2.0-84987602332 (0)
11573/951636 - 2016 -
Computing the shapley value in allocation problems: Approximations and bounds, with an application to the Italian VQR research assessment program Lupia, Francesco; Mendicelli, Angelo; Ribichini, Andrea; Scarcello, Francesco; Schaerf, Marco - 04b Atto di convegno in volume
conference: 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2016 (Genova, Italy)
book: RCRA 2016 Proceedings of the 23rd RCRA international work- shop on experimental evaluation of algorithms for solving problems with combinatorial explosion, Genova, Italy, November 28, 2016 - ()
11573/849352 - 2015 -
Collision detection for articulated deformable characters Abu Rumman, Nadine; Schaerf, Marco; Bechmann, Dominique - 04b Atto di convegno in volume
conference: Proceedings of the 8th ACM SIGGRAPH Conference on Motion in Games (Paris; France)
book: Proceedings of the 8th ACM SIGGRAPH Conference on Motion in Games - ()
11573/786073 - 2015 -
On the complexity of second-best abductive explanations Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL OF APPROXIMATE REASONING (Elsevier Science Incorporated / NY Journals:Madison Square Station, PO Box 882:New York, NY 10159:(212)633-3730, EMAIL: usinfo-f@elsevier.com, INTERNET: http://www.elsevier.com, Fax: (212)633-3680) pp. 22-31 - issn: 0888-613X - wos: WOS:000358626500002 (1) - scopus: 2-s2.0-84944810017 (1)
11573/623581 - 2014 -
The Sapienza Digital Library from the Holistic Vision to the Actual Implementation Catarci, Tiziana; Di Iorio, Angela; Schaerf, Marco - 04c Atto di convegno in rivista
paper: PROCEDIA COMPUTER SCIENCE (Amsterdam : Elsevier) pp. 4-11 - issn: 1877-0509 - wos: WOS:000345438800001 (3) - scopus: 2-s2.0-84923275558 (7)
book: Procedia Computer Science - ()
11573/617587 - 2014 -
Providing Proof of Trustworthiness Reconstructing Digital Objects’ Custody Chain Di Iorio, Angela; Schaerf, Marco - 04b Atto di convegno in volume
book: Lecture Notes in Computer ScienceOn the Move to Meaningful Internet Systems: OTM 2014 Workshops - (9783662455494; 9783662455500)
11573/661664 - 2014 -
The Organization information integration in the management of a Digital Library System Di Iorio, Angela; Schaerf, Marco - 04b Atto di convegno in volume
book: IEEE/ACM Joint Conference on Digital Libraries - (9781479955695)
11573/661688 - 2014 -
Identification Semantics for an Organization Establishing a Digital Library System Di Iorio, Angela; Schaerf, Marco - 04b Atto di convegno in volume
conference: Proceedings of the 4th International Workshop on Semantic Digital Archives (SDA 2014) (Londra)
book: Proceedings of the 4th International Workshop on Semantic Digital Archives (SDA 2014) - ()
11573/536806 - 2014 -
A Digital Infrastructure for Trustworthiness: The Sapienza Digital Library Experience Di Iorio, Angela; Schaerf, Marco; Guercio, Maria; Ortolani, Silvia; Matteo, Bertazzo - 04b Atto di convegno in volume
book: Bridging Between Cultural Heritage Institutions - (9783642543463; 9783642543470)
11573/523637 - 2013 -
Applicability of digital library descriptive metadata to the contemporary artworks: The Sapienza digital library case study Di Iorio, Angela; Schaerf, Marco - 04b Atto di convegno in volume
conference: 2nd International Conference on Information Technologies for Performing Arts, Media Access and Entertainment, ECLAP 2013 (Porto)
book: Lecture Notes in Computer ScienceInformation Technologies for Performing Arts, Media Access, and Entertainment - (9783642400490; 9783642400506)
11573/507169 - 2013 -
Establishing a digital library in wide-ranging university's context: The Sapienza Digital Library experience Di Iorio, Angela; Schaerf, Marco; Matteo, Bertazzo - 04b Atto di convegno in volume
conference: 8th Italian Research Conference on Digital Libraries, IRCDL 2012 (Bari)
book: Communications in Computer and Information ScienceDigital Libraries and Archives - (9783642358333; 9783642358340)
11573/524187 - 2013 -
The scientific legacy of Marco Cadoli in Artificial Intelligence Lenzerini, Maurizio; Schaerf, Marco - 01a Articolo in rivista
paper: INTELLIGENZA ARTIFICIALE (Associazione Italiana per l'Intelligenza Artificiale) pp. - - issn: 1724-8035 - wos: (0) - scopus: (0)
Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: INTELLIGENZA ARTIFICIALE (Associazione Italiana per l'Intelligenza Artificiale) pp. 31-35 - issn: 1724-8035 - wos: (0) - scopus: (0)
11573/444433 - 2012 -
On the Complexity of Finding Second-Best Abductive Explanations Liberatore, Paolo; Schaerf, Marco - 13a Altro ministeriale
11573/369008 - 2011 -
Applying UCT to Boolean Satisfiability Alessandro, Previti; Raghuram, Ramanujan; Schaerf, Marco; Bart, Selman - 04b Atto di convegno in volume
conference: 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011 (Ann Arbor, MI)
book: Theory and Applications of Satisfiability Testing - SAT 2011 - (9783642215803; 9783642215810)
11573/398504 - 2011 -
Monte-Carlo style UCT search for boolean satisfiability Alessandro, Previti; Raghuram, Ramanujan; Schaerf, Marco; Bart, Selman - 04b Atto di convegno in volume
conference: 12th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2011 (Palermo; Italy)
book: AI*IA 2011: Artificial Intelligence Around Man and Beyond - (9783642239533; 9783642239540)
11573/524876 - 2011 -
Space Efficiency of Propositional Knowledge Representation Formalisms Marco, Cadoli; Francesco M., Donini; Liberatore, Paolo; Schaerf, Marco - 13a Altro ministeriale
Andrea, Ferrara; Liberatore, Paolo; Schaerf, Marco - 04b Atto di convegno in volume
conference: 10th Congress of the Italian Association for Artificial Intelligence (Rome; Italy)
book: Lecture Notes in Computer Science: Artificial Intelligence and Human-Oriented Computing - (9783540747819)
11573/363341 - 2007 -
Facial motion cloning with radial basis functions in MPEG-4 FBA Fratarcangeli, Marco; Schaerf, Marco; Robert, Forchheimer - 01a Articolo in rivista
paper: GRAPHICAL MODELS (Pubblicata da: ACADEMIC PRESS INC ELSEVIER SCIENCE, 525 B ST, STE 1900, SAN DIEGO, USA, CA, 92101-4495) pp. 106-118 - issn: 1524-0703 - wos: WOS:000244258400002 (11) - scopus: 2-s2.0-33846645953 (18)
11573/236024 - 2007 -
Compilability of Propositional Abduction Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 65-83 - issn: 1529-3785 - wos: WOS:000244402200002 (1) - scopus: 2-s2.0-33846602159 (7)
11573/16335 - 2007 -
Marco Cadoli (1965-2006) - Obituary Schaerf, Marco - 01a Articolo in rivista
paper: AI COMMUNICATIONS (Amsterdam: Department Social Science Informatics) pp. 69-70 - issn: 0921-7126 - wos: WOS:000248718600001 (0) - scopus: (0)
Cadoli, Marco; Francesco, Donini; Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON COMPUTERS (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 913-917 - issn: 0018-9340 - wos: WOS:000237631000011 (2) - scopus: 2-s2.0-33744810648 (1)
11573/159366 - 2006 -
Partial Solutions with Unique Completion Cadoli, Marco; Schaerf, Marco - 02a Capitolo o Articolo
book: Reasoning, Action and Interaction in AI Theories and Systems - (9783540379010)
11573/16097 - 2006 -
Describing and reasoning on Web Services using process algebra Gwen, Salaun; Lucas, Bordeaux; Schaerf, Marco - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL OF BUSINESS PROCESS INTEGRATION AND MANAGEMENT (Olney : Inderscience Enterprises, 2005-.) pp. 116-128 - issn: 1741-8763 - wos: (0) - scopus: 2-s2.0-33746654119 (55)
11573/181736 - 2006 -
Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello Oliviero, Stock; Schaerf, Marco - 06a Curatela
book: Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello - (9783540379010)
Andrea, Ferrara; Liberatore, Paolo; Schaerf, Marco - 04b Atto di convegno in volume
conference: 9th Congress of the Italian-Association-for-Artificial-Intelligence (Milan, ITALY)
book: AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artific - (9783540290414; 9783540317333)
Fratarcangeli, Marco; Schaerf, Marco - 04b Atto di convegno in volume
paper: ISPA (Zagreb : Faculty of Electrical Engineering and Computing, 2001- .) pp. 310-315 - issn: 1845-5921 - wos: WOS:000234676200056 (0) - scopus: 2-s2.0-33749078380 (1)
conference: 4th International Symposium on Image and Signal Processing and Analysis (Zagreb; Croatia)
book: 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005) - (9789531840897)
11573/366806 - 2005 -
Facial Motion Cloning Using Global Shape Deformation Fratarcangeli, Marco; Schaerf, Marco - 04a Atto di comunicazione a congresso
book: 26th annual conference of the European Association for Computer Graphics (Eurographics 2005) - ()
11573/232021 - 2005 -
The complexity of model checking for propositional default logics Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: DATA & KNOWLEDGE ENGINEERING (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 189-202 - issn: 0169-023X - wos: WOS:000236634900004 (3) - scopus: 2-s2.0-24644482379 (3)
11573/358536 - 2004 -
Realistic Modeling of Animatable Faces in MPEG-4 Fratarcangeli, Marco; Schaerf, Marco - 04a Atto di comunicazione a congresso
book: 17th annual conference on Computer Animation and Social Agents (CASA2004) - ()
11573/187781 - 2004 -
Describing and Reasoning on Web Services using Process Algebra Gwen, Salaun; Lucas, Bordeaux; Schaerf, Marco - 04a Atto di comunicazione a congresso
conference: Web Services, 2004. Proceedings. IEEE International Conference on ()
book: IEEE International Conference on Web Services (ICWS 2004) - ()
11573/233029 - 2004 -
The compactness of belief revision and update operators Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: FUNDAMENTA INFORMATICAE (IOS Press:Nieuwe Hemweg 6B, 1013 BG Amsterdam Netherlands:011 31 20 6883355, EMAIL: r.tosendjojo@iospress.nl, INTERNET: http://www.iospress.nl, Fax: 011 31 20 6203419) pp. 377-393 - issn: 0169-2968 - wos: WOS:000225994200006 (4) - scopus: 2-s2.0-24044512988 (5)
11573/152117 - 2002 -
Programmazione orientata agli oggetti e Java Cadoli, Marco; De Giacomo, Giuseppe; Schaerf, Marco - 03a Saggio, Trattato Scientifico
Cadoli, Marco; Francesco M., Donini; Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 89-120 - issn: 0890-5401 - wos: WOS:000177966200001 (32) - scopus: 2-s2.0-0036707242 (49)
11573/252913 - 2002 -
An algorithm to evaluate quantified Boolean formulae and its experimental evaluation Cadoli, Marco; Schaerf, Marco; Andrea, Giovanardi; Massimo, Giovanardi - 01a Articolo in rivista
paper: JOURNAL OF AUTOMATED REASONING (Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254) pp. 101-142 - issn: 0168-7433 - wos: WOS:000174923200002 (63) - scopus: 2-s2.0-0036476801 (90)
Donini, F; Liberatore, Paolo; Massacci, F; Schaerf, Marco - 04a Atto di comunicazione a congresso
book: Eighth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR02) - ()
11573/201101 - 2001 -
JERRY: Un ambiente di supporto per pianificare esperimenti con il braccio robotico SPIDER sulla ISS Carlucci, Luigia; Cesta, A.; Giunchiglia, E.; Schaerf, Marco; Severoni, F.; Traverso, P. - 04a Atto di comunicazione a congresso
book: Workshop Nazionale “La Scienza e la Tecnologia sulla Stazione Spaziale" - ()
11573/1324396 - 2001 -
Towards intelligent decision support systems for emergency managers: the IDA approach Gadomski, A. M.; Bologna, S.; Di Costanzo, G.; Perini, A.; Schaerf, M. - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL OF RISK ASSESSMENT AND MANAGEMENT (Inderscience Enterprises Limited:29 route de Pre-Bois, CP 896, CH-1215 Geneva Switzerland:011 44 1234 713365, EMAIL: subs@inderscience.com, INTERNET: http://www.inderscience.com, Fax: 011 41 22 7910885
Milton Keynes: Inderscience Enterprises.) pp. 224-242 - issn: 1466-8297 - wos: (0) - scopus: 2-s2.0-84869062735 (39)
11573/252117 - 2001 -
Belief revision and update: Complexity of model checking Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 43-72 - issn: 0022-0000 - wos: WOS:000167500800003 (19) - scopus: 2-s2.0-0035250904 (25)
11573/248590 - 2000 -
Space efficiency of propositional knowledge representation formalisms Cadoli, Marco; F. M., Donini; Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 1-31 - issn: 1076-9757 - wos: WOS:000088737400001 (22) - scopus: 2-s2.0-0346977661 (41)
11573/249177 - 2000 -
BReLS: A system for the integration of knowledge bases Liberatore, Paolo; Schaerf, Marco - 04a Atto di comunicazione a congresso
book: Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000) - ()
Liberatore, Paolo; Schaerf, Marco - 04a Atto di comunicazione a congresso
conference: 17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000) (AUSTIN, TX)
book: Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000) - (9780262511124)
11573/187779 - 2000 -
ICARUS: Intelligent content-based retrieval of 3D scene R., Colaci; Schaerf, Marco - 04a Atto di comunicazione a congresso
conference: 17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000) (AUSTIN, TX)
book: Seventeenth National Conference on Artificial Intelligence and Twelfth Conferenc - (9780262511124)
11573/211522 - 1999 -
A System Integrating high and low level planning of complex tasks with a 3 dimensional visualizer Alberto, Finzi; Pirri Ardizzone, Maria Fiora; Schaerf, Marco - 04a Atto di comunicazione a congresso
book: 5th International Symposium on Artificial Intelligence, Robotics and Automation - ()
Cadoli, Marco; Donini, F. M.; Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 25-64 - issn: 0004-3702 - wos: WOS:000084448600002 (22) - scopus: 2-s2.0-0033324326 (26)
11573/189771 - 1999 -
JubilEasy: Build a Personalized 3D Visit of Rome Schaerf, Marco; Tessicini, A. - 04a Atto di comunicazione a congresso
book: Fourth Symposium on The Virtual Reality Modeling Language - ()
11573/1325162 - 1998 -
Algorithm to evaluate Quantified Boolean Formulae Cadoli, Marco; Giovanardi, Andrea; Schaerf, Marco - 04b Atto di convegno in volume
conference: Proceedings of the 1998 15th National Conference on Artificial Intelligence, AAAI (Madison, WI, USA,)
book: Proceedings of the 1998 15th National Conference on Artificial Intelligence, AAAI - (0-262-51098-7)
11573/243254 - 1998 -
Arbitration (or how to merge knowledge bases) Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 76-90 - issn: 1041-4347 - wos: WOS:000073100600005 (111) - scopus: 2-s2.0-0031702261 (146)
11573/243792 - 1998 -
The complexity of model checking for propositional default logics Liberatore, Paolo; Schaerf, Marco - 04a Atto di comunicazione a congresso
conference: 13TH European Conference on Artificial Intelligence (ECAI 98) (BRIGHTON, ENGLAND)
book: Thirteenth European Conference on Artificial Intelligence (ECAI'98) - (9780471984313)
11573/1325157 - 1997 -
Experimental analysis of the computational cost of evaluating Quantified Boolean Formulae Cadoli, M.; Giovanardi, A.; Schaerf, M. - 04b Atto di convegno in volume
conference: 5th Congress of the Italian Association for Artificial Intelligence, AI*IA 1997 (Rome; Italy)
book: AI*IA 97: Advances in Artificial Intelligence - (3540635769; 978-354063576-5)
11573/243375 - 1997 -
On Compact Representations of Propositional Circumscription Cadoli, Marco; Donini, Fm; Schaerf, Marco; Silvestri, Riccardo - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 183-202 - issn: 0304-3975 - wos: WOS:A1997XR61800005 (17) - scopus: 2-s2.0-0031207583 (23)
11573/245228 - 1997 -
Reducing belief revision to circumscription (and vice versa) Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 261-296 - issn: 0004-3702 - wos: WOS:A1997XJ15800007 (18) - scopus: 2-s2.0-0031164254 (21)
11573/206824 - 1996 -
Feasibility and unfeasibility of off-line processing Cadoli, Marco; Donini, F.; Liberatore, Paolo; Schaerf, Marco - 04a Atto di comunicazione a congresso
book: Fourth Israeli Symposium on Theory of Computing and Systems (ISTCS'96) - ()
11573/243667 - 1996 -
Is intractability of nonmonotonic reasoning a real drawback? Cadoli, Marco; Francesco M., Donini; Schaerf, Marco - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 215-251 - issn: 0004-3702 - wos: WOS:A1996WB24100008 (29) - scopus: 2-s2.0-0030409709 (34)
11573/245214 - 1996 -
On the complexity of entailment in propositional multivalued logics Cadoli, Marco; Schaerf, Marco - 01a Articolo in rivista
paper: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE (Basel: J.C. Baltzer AG) pp. 29-50 - issn: 1012-2443 - wos: WOS:A1996VY76500003 (30) - scopus: 2-s2.0-21444446907 (39)
11573/206826 - 1996 -
The complexity of model checking for belief revision and update Liberatore, Paolo; Schaerf, Marco - 04a Atto di comunicazione a congresso
conference: 13th National Conference on Artificial Intelligence (AAAI 96) / 8th Conference on Innovative Applications of Artificial Intelligence (IAAI 96) (PORTLAND, OR)
book: Thirteenth National Conference on Artificial Intelligence (AAAI'96) - (9780262510912)
11573/1325159 - 1995 -
On compact representations of propositional circumscription Cadoli, M.; Donini, F. M.; Schaerf, M. - 04b Atto di convegno in volume
conference: 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS 1995 (Munich; Germany)
book: STACS 95 - (3540590420; 978-354059042-2)
Cadoli, Marco; Donini Francesco, M.; Liberatore, Paolo; Schaerf, Marco - 04b Atto di convegno in volume
conference: Proceedings of the 14th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (San Jose, CA, USA,)
book: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - ()
11573/244550 - 1995 -
NEGATION AND MINIMALITY IN DISJUNCTIVE DATABASES Schaerf, Marco - 01a Articolo in rivista
paper: JOURNAL OF LOGIC PROGRAMMING (New York, NY : Elsevier Science Pub. Co., c1984-2000.) pp. 63-86 - issn: 0743-1066 - wos: WOS:A1995QQ66700002 (3) - scopus: 2-s2.0-0042907628 (5)
Schaerf, Marco; Cadoli, Marco - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 249-310 - issn: 0004-3702 - wos: WOS:A1995RE62200002 (89) - scopus: 2-s2.0-0029290445 (134)
11573/1325172 - 1994 -
Is intractability of non-monotonic reasoning a real drawback? Cadoli, Marco; Donini Francesco, M.; Schaerf, Marco - 04b Atto di convegno in volume
conference: Proceedings of the 12th National Conference on Artificial Intelligence. Part 1 (of 2) (Seattle, WA; USA)
book: Proceedings of the National Conference on Artificial Intelligence - (0-262-61102-3)
11573/17333 - 1994 -
Approximate Inference in Default Logic and Circumscription Cadoli, Marco; Schaerf, Marco - 01a Articolo in rivista
paper: FUNDAMENTA INFORMATICAE (IOS Press:Nieuwe Hemweg 6B, 1013 BG Amsterdam Netherlands:011 31 20 6883355, EMAIL: r.tosendjojo@iospress.nl, INTERNET: http://www.iospress.nl, Fax: 011 31 20 6203419) pp. 123-143 - issn: 0169-2968 - wos: WOS:A1992BY03P00075 (1) - scopus: 2-s2.0-84974752929 (9)
11573/256614 - 1993 -
A SURVEY OF COMPLEXITY RESULTS FOR NONMONOTONIC LOGICS Cadoli, Marco; Schaerf, Marco - 01a Articolo in rivista
paper: JOURNAL OF LOGIC PROGRAMMING (New York, NY : Elsevier Science Pub. Co., c1984-2000.) pp. 127-160 - issn: 0743-1066 - wos: WOS:A1993MC58400003 (74) - scopus: 2-s2.0-0027694154 (87)
11573/1325166 - 1993 -
Logic programming and autoepistemic logics: New relations and complexity results Schaerf, M. - 04b Atto di convegno in volume
conference: 3rd Congress of the Italian Association for Artificial Intelligence, AI*IA 1993 (Torino; Italy)
book: Advances in Artificial Intelligence - ()
11573/1331687 - 1993 -
Negation and minimality in non-Horn databases Schaerf, Marco - 04b Atto di convegno in volume
conference: 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Washington, DC, USA)
book: Proceedings of the 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - ()
11573/979380 - 1991 -
Reasoning about reasoning in a meta-level architecture Aiello, Luigia Carlucci; Nardi, Daniele; Schaerf, Marco - 01a Articolo in rivista
paper: APPLIED INTELLIGENCE (-DORDRECHT, NETHERLANDS: SPRINGER
-London ; Dordrecht ; Boston : Kluwer Academic Publishers) pp. 55-67 - issn: 0924-669X - wos: (0) - scopus: 2-s2.0-34249923360 (4)
Cadoli, M.; Schaerf, M. - 04b Atto di convegno in volume
conference: 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA 1991 (Palermo; Italy)
book: Trends in Artificial Intelligence - (978-3-540-54712-9; 978-3-540-46443-3)
Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; Pirri Ardizzone, Maria Fiora; Schaerf, Marco - 01a Articolo in rivista
paper: RIVISTA DI INFORMATICA (Edizioni Dedalo
Masson SPA:via Flli Bressan 2, I 20126 Milan Italy:011 39 02 27074286, EMAIL: aboonamenti@masson.it, INTERNET: http://www.masson.it, Fax: 011 39 02 27074210) pp. 5-42 - issn: 0390-668X - wos: (0) - scopus: (0)
Schaerf, M. - 01a Articolo in rivista
paper: COMPUTATIONAL INTELLIGENCE (Blackwell Publishing Limited:9600 Garsington Road, Oxford OX4 2DQ United Kingdom:011 44 1865 776868 , (781)388-8200, EMAIL: agentservices@oxon.blackwellpublishing.com, e-help@blackwellpublishers.co.uk, INTERNET: http://www.blackwellpublishing.com, Fax: 011 44 1865 714591) pp. 154-159 - issn: 0824-7935 - wos: (0) - scopus: 2-s2.0-84990557307 (1)
Carlucci, Luigia; Francesco Maria, Donini; Lenzerini, Maurizio; Nardi, Daniele; Pirri Ardizzone, Maria Fiora; Schaerf, Marco - 02a Capitolo o Articolo
book: Intelligent Systems: State of the Art and Future Directions - ()
Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; Pirri Ardizzone, Maria Fiora; Schaerf, Marco - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE REVIEW (-DORDRECHT, NETHERLANDS: SPRINGER VERLAG
-Oxford; Exeter: Blackwell Scientific Publications Intellect Limited.
-Dordrecht Netherlands: Kluwer Academic Publishers) pp. 163-210 - issn: 0269-2821 - wos: WOS:A1990DQ02900005 (9) - scopus: 2-s2.0-30244488021 (9)