Research Outputs Fausto Giunchiglia


  • DAVIDE CERRI; EMANUELE DELLA VALLE; DAVID DE FRANCISCO MARCOS; F. GIUNCHIGLIA; DALIT NAOR; LYNDON NIXON; KIA TEYMOURIAN; PHILIPP OBERMEIER; DIETRICH REBHOLZ-SCHUHMANN; RETO KRUMMENACHER AND ELENASIMPERL, "¿Towards Knowledge in the Cloud¿" in SEMELS 2008, OTM Workshop 2008, In press, Monterrey, Mexico, Nov 9 - 14, 2008
  • Xu, Hao; Giunchiglia, Fausto; Batsuren, Khuyagbaatar; Yang, Hui; Qin, Yue, "A systematic approach and methodology for language translation: The English-Chinese case study", Inghilterra: journal of knowledge management, In press
  • Iwaya, Leonardo H.; Giunchiglia, Fausto; Martucci, Leonardo A.; Hume, Alethia; Fischer-Hübner, Simone; Chenu, Ronald, "Ontology-based Obfuscation and Anonymisation for Privacy - A Case Study on Healthcare", Edinburgh: Springer, In press
  • Subhashis, Das; Sajan, Raj Ojha; Fausto, Giunchiglia, "ATOM: Ontology Aware Transportation Model", San Diego, California: IEEE, 2017
  • Prasad, A.R.D.; Fausto, Giunchiglia; Devika, P. Madalli, "DERA: From Document Centric to Entity Centric Knowledge Modelling", London: Ergon Verlag, 2017
  • Hanyu, Zhang; Sajan, Raj Ojha; Fausto, Giunchiglia, "Finding errors in a Chinese lexico-semantic resource using GWAP", San Diego, California: IEEE, 2017
  • Giunchiglia, F.; Bignotti, E.; Zeni, M., "HUMAN-LIKE CONTEXT MODELLING FOR ROBOT SURVEILLANCE" in Pervasive Computing and Communications, 2017 IEEE International Conference, Stati Uniti: ISWER, 2017. Proceedings of: IEEE 2017, Stati Uniti, 13-17 marzo 2017
  • Fausto, Giunchiglia; Enrico, Bignotti; Mattia, Zeni, "Human-like context sensing for robot surveillance" in INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING, v. 2017, (2017)
  • Fausto, Giunchiglia; Mattia, Zeni; Elisa, Gobbi; Enrico, Bignotti; Ivano, Bison, "Mobile Social Media and Academic Performance" in The 9th International Conference on Social Informatics (SocInfo 2017), Springer, Berlino: Springer, 2017. Proceedings of: SocInfo 2017, Oxford , UK, 13-15 Settembre 2017
  • Giunchiglia, Fausto; Bignotti, Enrico; Zeni, Mattia, "Personal context modelling and annotation" in Pervasive Computing and Communications, 2017 IEEE International Conference, Kona, Big Island, Hawaii, USA: IEEE, 2017. Proceedings of: IEEE 2017, San Diego, California, USA, 30 Jan - 01 Feb 2017
  • Fausto, Giunchiglia; Sajan, Raj Ojha; Subhashis, Das, "SemUI: A Knowledge Driven Visualization Of Diversified Data", San Diego, California: IEEE, 2017, sponsored by: Proceedings in 11th International Conference on Semantic Computing (ICSC – 2017)
  • Fausto, Giunchiglia; Khuyagbaatar, Batsuren; Gabor, Bella, "Understanding and Exploiting Language Diversity", Melbourne, Australia: IJICAI, 2017
  • Freihat, A.; Giunchiglia, F.; Dutta, B., "A Taxonomic Classification of WordNet Polysemy Types", Romania: GWC2016, 2016
  • Chatterjee, Usashi; Giunchiglia, Fausto; Madalli, Devika P.; Maltese, Vincenzo, "AN ENTITY MODEL FOR ONLINE RECIPE SEARCH", Trento: Universita' di Trento, 2016
  • Mercedes Huertas-Migueláñez; Fausto Giunchiglia; Mladjan Jovanovic, "Building a Lexico-Semantic Resource Collaboratively", Trento: COOP 2016, 2016
  • Huertas Migueláñez, Maria De Las Mercedes; Giunchiglia, Fausto; Leonardi, Natascia; Jovanovic, Mladan, "Bulding a Lexico_Semantic Resource Collaboratively", Italia: COOP 2016, 2016
  • Fausto, Giunchiglia; Mattia, Fumagalli, "CONCEPTS AS (RECOGNITION) ABILITIES", Italy: IOS Press, 2016
  • Bella, Gabor; Giunchiglia, Fausto; McNeill, Fiona, "Cross-Lingual Semantic Matching", Journal of Web Semantics: Elsevier, 2016
  • Gabor, Bella; Alessio, Zamboni; Fausto, Giunchiglia, "Domain-Based Sense Disambiguation in Multilingual Structured Data", The Hague: ECAI, 2016
  • Maltese, Vincenzo; Giunchiglia, Fausto, "Foundations of Digital Universities" in CATALOGING & CLASSIFICATION QUARTERLY, v. 2016, (2016), p. 1-25. - URL: http://dx.doi.org/10.1080/01639374.2016.1245231 . - DOI: 10.1080/01639374.2016.1245231
  • Subhashis, Das; Fausto, Giunchiglia, "GeoEtypes: Harmonizing Diversity in Geospatial Data", ODBASE 2016: ODBASE 2016, 2016
  • David, Robertson; Fausto, Giunchiglia; Stephen, Pavis; Ettore, Turra; Gabor, Bella; Elizabeth, Elliot; Andrew, Morris; Malcolm, Atkinson; Gordon, Mcallister; Areti, Manataki; Petros, Papapanagiotou; Mark, Parsons, "Healthcare Data Safe Havens: Towards a Logical Architecture and Experiment Automation", Gran Bretagna: The Journal of Engineering, 2016
  • Chatterjee, Usashi; Giunchiglia, Fausto; Madalli, Devika P.; Maltese, Vincenzo, "Modeling recipes for online search", ODBASE 2016: ODBASE 2016, 2016
  • Maltese, Vincenzo; Giunchiglia, Fausto, "Search and Analytics Challenges in Digital Libraries and Archives" in ACM JOURNAL OF DATA AND INFORMATION QUALITY, v. 16, n. 3 (2016)
  • Bella, Gábor; Giunchiglia, Fausto; AbuRaed Ghassan Tawfik, Ahmed; McNeill, Fiona, "A Multilingual Ontology Matcher" in Proceedings of the 10th Workshop on Ontology Matching at the 14th International Semantic Web Conference (ISWC), http://ceur-ws.org/: CEUR-WS, 2015. Proceedings of: OM2015, Bethlehem, PA, USA, 12 October 2015
  • Giunchiglia, F.; Jovanovic, M.; Huertas Miguelánez, M.; Batsuren, K., "Crowdsourcing a large scale multilingual lexico-semantic resource", www.aaai.org: HCOMP, 2015
  • Maltese, V.; Giunchiglia, F.; Sarangi, A.; Margonar, S., "eFRBR: An entity model for FRBR" in ISKO UK conference, London: International Society for Knowledge Organization (ISKO), 2015. Proceedings of: ISKO UK 2015, Londra, 13-14 Luglio 2015
  • Ojha, Sajan Raj; Jovanovic, Mladjan; Giunchiglia, Fausto, "Entity-Centric Visualization of Open Data, CHAPTER Human-Computer Interaction – INTERACT 2015 Volume 9298 of the series Lecture Notes in Computer Science pp 149-166", Germany: HCI Interact, 2015
  • Autayeu, Aliaksandr; Giunchiglia, Fausto; Jovanovic, Mladjan, "Knowledge Maintenance Via Word Games", DISI, UNITN: DISI, UNITN, 2015
  • Zoljargal, Munkhjargal; Gábor, Bella; Altangerel, Chagnaa; Fausto, Giunchiglia, "Named Entity Recognition for the Mongolian Language" in Proceedings of the 18th International Conference on Text, Speech, and Dialogue, Germania: Springer Lecture Notes in Artificial Intelligence (LNAI 9302), 2015. Proceedings of: 18th International Conference on Text, Speech, and Dialogue., Pilsen, Repubblica Ceca, 2015
  • Hartswood, Mark; Jirotka, Marina; Chenu Abente Acosta, Ronald; Hume Llamosas, Alethia Graciela; Giunchiglia, Fausto; Martucci, Leonardo A.; Fischer-Hübner, Simone, "Privacy for Peer Profiling in Collective Adaptive Systems" in Privacy and Identity Management for the Future Internet in the Age of Globalisation, Berlin: Springer International Publishing, 2015, p. 237-252. - ISBN: 978-3-319-18620-7. Proceedings of: IFIP14, Patras, Greece, 7-12/09/2014. - URL: http://dx.doi.org/10.1007/978-3-319-18621-4_16 . - DOI: 10.1007/978-3-319-18621-4_16
  • Scekic, Ognjen; Miorandi, Daniele; Schiavinotto, Tommaso; Diochnos, Dimitrios I.; Hume Llamosas, Alethia Graciela; Chenu-Abente, Acosta Ronald; Truong, Hong-Linh; Rovatsos, Michael; Carreras, Iacopo; Dustdar, Schahram; Giunchiglia, Fausto, "SmartSociety – A Platform for Collaborative People-Machine Computation", Rome: SOCA, 2015
  • Tawfik, A.; Giunchiglia, F.; Maltese, V., "A Collaborative Platform for Multilingual Ontology Development" in International Science Index, unknown: unknown, 2014. Proceedings of: ICKEO conference 2014, Parigi, 31 Dicembre 2014
  • A. Ganbold; F. Farazi; F. Giunchiglia, "An experiment in managing language diversity across cultures" in The Sixth International Conference on Information, Process, and Knowledge Management, Barcelona, Spain: IARIA, 2014. Proceedings of: eKNOW 2014, Barcelona, Spain, March 23 - 27, 2014
  • F. Giunchiglia; M. Fumagalli, "From ER Models to the Entity Model" in 19th Int'l Conference on Knowledge Engineering and Knowledge Management, Germania: Springer Verlag, 2014. Proceedings of: 19th Int'l Conference on Knowledge Engineering and Knowledge Management, Linköping, Sweden, 24th November – 28th November
  • Giunchiglia, F.; Dutta, B.; Maltese, V., "From Knowledge Organization to Knowledge Representation" in KNOWLEDGE ORGANIZATION, v. 2014, n. 41 (1) (2014), p. 44-56
  • A. Ganbold; F. Farazi; M. Reyad; F. Giunchiglia; O. Nyamdavaa;, "Managing Language Diversity Across Cultures: the English-Mongolian Case Study" in INTERNATIONAL JOURNAL ON ADVANCES IN LIFE SCIENCES, v. 6, n. 34 (2014)
  • Zeni, M.; Zaihrayeu, I.; Giunchiglia, F., "Multi-device activity logging" in Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing Adjunct Publication - UbiComp '14 Adjunct, USA: ACM, 2014, p. 299-302. - ISBN: 9781450330473. Proceedings of: UBICOMP 2014, Seattle, 13-17 settembre. - DOI: 10.1145/2638728.2638756
  • Gernot Bahle;Agnes Gruenerbl;Enrico Bignotti;Mattia Zeni;Fausto Giunchiglia;Paul Lukowicz, "Recognizing Hospital Care Activities with a Coat Pocket Worn Smartphone" in Proceedings of the 6th International Conference on Mobile Computing, Applications and Services, USA: IEEE, 2014, p. 175-181. - ISBN: 9781631900242. Proceedings of: MobiCASE, Austin, Texas, USA, 6-7 November 2014. - DOI: 10.4108/icst.mobicase.2014.257777
  • A. Birukou; E. Blanzieri; P. Giorgini; F. Giunchiglia, "A Formal Definition of Culture" in K. Sycara, M. Gefald, A. Abbe (edited by), Models for Intercultural Collaboration and Negotiation, Dordrech: Springer, 2013, p. 1-26. - ISBN: 9789400755734. - DOI: 10.1007/978-94-007-5574-1_1
  • Chenu Abente Acosta, Ronald; Zaihrayeu, Ilya; Giunchiglia, Fausto, "A Semantic-Enabled Engine for Mobile Social Networks" in The Semantic Web: ESWC 2013 Satellite Events, Berlin: Springer Berlin Heidelberg, 2013, p. 298-299. - (LECTURE NOTES IN COMPUTER SCIENCE). - ISBN: 978-3-642-41241-7. Proceedings of: SWCS, Montpellier, France, 6th May 2013. - URL: http://dx.doi.org/10.1007/978-3-642-41242-4_50 . - DOI: 10.1007/978-3-642-41242-4_50
  • R. Chenu-Abente, I. Zaihrayeu, F. Giunchiglia, "A Semantic-Enabled Engine for Mobile Social NetworksThe Semantic Web: ESWC 2013 Satellite Events" in Lecture Notes in Computer ScienceThe Semantic Web: ESWC 2013 Satellite Events, Heidelberg, Germania: Springer-Verlag, 2013, p. 298-299. - (LECTURE NOTES IN COMPUTER SCIENCE). Proceedings of: ESWC 2013, Montpellier, Francia, 26-30 Maggio 2013. - DOI: 10.1007/978-3-642-41242-4_50
  • A. A. Freihat, F. Giunchiglia, B. Dutta, "Approaching Regular Polysemy in WordNet" in International Conference on Information, Process, and Knowledge Management, Nice, France: Dirk Malzahn, OrgaTech GmbH, 2013. Proceedings of: eKNOW 2013, The Fifth International Conference on Information, Process, and Knowledge Management, Nice, Francia, 24.02.13-01.03.2013
  • Giunchiglia, F.; Dutta, B.; Maltese, V., "From Knowledge Organization to Knowledge Representation" in unknown, unknown: unknown, 2013. Proceedings of: ISKO UK 2013, Londra, 8-9 Luglio 2013
  • Giunchiglia, F.; Maltese, V.; Baldry, A.; Dutta, B., "Living Knowledge" in al. Giulia Magazzù et (edited by), Web genres and web tools, unknown: Ibis, 2013. - ISBN: 9788871644042
  • D. Robertson;F. Giunchiglia, "Programming the social computer" in PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A: MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, v. 2013, n. 371 (2013), p. 20120379-20120379. - DOI: 10.1098/rsta.2012.0379
  • Freihat, A. A.; Dutta, B.; Giunchiglia, F., "Solving specialization polysemy in WordNet" in INTERNATIONAL JOURNAL OF COMPUTATIONAL LINGUISTICS AND APPLICATIONS, v. 2013, (2013)
  • Pil Ho Kim; Fausto Giunchiglia, "The open platform for personal lifelogging: the eLifeLog architecture" in CHI EA '13 CHI '13 Extended Abstracts on Human Factors in Computing Systems, New York, NY: ACM, 2013, p. 1677. - ISBN: 9781450319522. Proceedings of: CHI '13, Parigi, 27/04/13-02/05/13. - DOI: 10.1145/2468356.2468656
  • Giunchiglia, F.; Maltese, V.; Anderson, S.; Miorandi, D., "Towards Hybrid and Diversity-Aware Collective Adaptive Systems" in Advances in Artificial Life, ECAL 2013 Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems, Stati Uniti D'America: MitPress, 2013. - ISBN: 978-0-262-31709-2. Proceedings of: First FOCAS Workshop on Fundamentals of Collective Systems at ECAL 2013, Taormina, Settembre 2013
  • Stottinger, J.; Uijlings, J.; Pandey, A.; Sebe, N.; Giunchiglia, F., "(Unseen) Event Recognition via Semantic Compositionality" in Proceedings of the IEEE International Conference on Computer Vision and Patterm Recognition, Los Alamitos: IEEE, 2012, p. 3061-3068. - ISBN: 9781467312264. Proceedings of: IEEE CVPR, Providence, 16 June - 21 June. - DOI: 10.1109/CVPR.2012.6248037
  • R. Chenu; M. Menendez; F. Giunchiglia; A. De Angeli, "An entity-based platform for the integration of social and scientific services" in Proceedings of CollaborateCom 2012, New York: IEEE, 2012, p. 165-174. - ISBN: 9781936968367. Proceedings of: CollaborateCom, Pittsburgh, PA, 14th-17th October 2012. - URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6450904 . - DOI: 10.4108/icst.collaboratecom.2012.250430
  • F. Giunchiglia; V. Maltese; A. Autayeu, "Computing minimal mappings between lightweight ontologies." in INTERNATIONAL JOURNAL ON DIGITAL LIBRARIES, v. vol 11, (2012), p. 179-193. - URL: http://www.springerlink.com/content/aq381263656v6755/ . - DOI: 10.1007/s00799-012-0083-2
  • F. Giunchiglia; V. Maltese; B. Dutta, "Domains and Context: First Steps Towards Managing Diversity in Knowledge" in JOURNAL OF WEB SEMANTICS, v. 2012, (2012), p. 53-63. - DOI: 10.1016/j.websem.2011.11.007
  • Paniagua Laconich, Eduardo Javier; Tankoyeu, Ivan; Stöttinger, Julian; Giunchiglia, Fausto, "Indexing media by personal eventsProceedings of the 2nd ACM International Conference on Multimedia Retrieval - ICMR '12" in Proceedings of the 2nd ACM International Conference on Multimedia Retrieval - ICMR '12, Hong Kong: ACM, 2012, p. 1. - ISBN: 9781450313292. Proceedings of: ICMR '12, Hong Kong, 5-8/06/12. - DOI: 10.1145/2324796.2324845
  • R. De Virgilio; F. Giunchiglia; F. Guerra; L. Tanca; Y. Velegrakis, "Introduction to the Special Issue on Semantic Web Data Management" in INFORMATION SYSTEMS, v. vol. 37, n. n. 4 (2012), p. 291-293. - URL: http://www.sciencedirect.com/science/article/pii/S0306437911001566 . - DOI: 10.1016/j.is.2011.12.002
  • P.H. Kim; F. Giunchiglia, "Life Logging Practice for Human Behavior Modeling" in IEEE, USA: IEEE, 2012, p. 2873-2878. - ISBN: 9781467317139. Proceedings of: International conference on Systems, Man and Cybernetics (SMC), COEX, Seoul, Korea, 14-17/10/2012. - DOI: 10.1109/ICSMC.2012.6378185
  • Pil Ho Kim; F. Giunchiglia, "Lifelog Data Model and Management: Study on Research Challenges" in INTERNATIONAL JOURNAL OF COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT APPLICATIONS, v. 4, (2012), p. 2873-2878. - URL: www.mirlabs.net/ijcisim/index.html . - DOI: 10.1109/ICSMC.2012.6378185
  • F. Giunchiglia; R. Chenu, "Papers, Persons and Events: an Integrated Entity-Based Platform for Knowledge Production and Dissemination" in Carles Sierra (edited by), Festschrift in honour of Ramon Lòpez de Màntaras, Barcelona: Institut d'Investigaciò en Intelligència Artificial, IIIA-CSIC, 2012, p. 105-125. - ISBN: 9788469529430
  • T. Hasan; F. Giunchiglia, "Photo annotations: Preservation of contents and contexts" in 10th Asia Pacific Conference on Computer Human Interaction, Matsue, Japan: ACM, 2012. - ISBN: 9781450314961. Proceedings of: APCHI2012, Matsue, Japan, 28-31/08/2012
  • Giunchiglia, F.; Autayeu, A.; Pane Fernandez, J., "S-Match: an open source framework formatching lightweight ontologies" in SEMANTIC WEB, v. 3, n. 3/2012 (2012), p. 307-317. - DOI: 10.3233/SW-2011-0036
  • E. Pavan; F. Giunchiglia; D. Robertson, "Social Computers help to resolve global social challenges". - (Self-Awareness in Autonomic Systems), 2012, 2 p. - DOI: 10.2417/3201202.003974
  • B. Dutta; F. Giunchiglia; V. Maltese, "A Facet-Based Methodology for Geo-Spatial Modeling" in Proceedings of the GEOS 2011, France: Springer, 2011, p. 133-150. - (Lecture Notes in Computer Science). Proceedings of: 4th International Conference GeoS 2011, Brest, Francia, 12-13/06/2011. - DOI: 10.1007/978-3-642-20630-6_9
  • F. Farazi; V. Maltese; F. Giunchiglia; A. Ivanyukovich, "A Faceted Ontology for a Semantic Geo-Catalogue" in 8th Extended Semantic Web Conference (ESWC 2011), Heraklion, Greece: Springer, 2011, p. 169-182. - (Lecture Notes in Computer Science). Proceedings of: ESWC 2011, Heraklion, Grecia, 30/5/11-3/6/11. - DOI: 10.1007/978-3-642-21064-8_12
  • Giunchiglia, F.; Crispo, B.; Zhang, R., "Access control via lightweight ontologies" in 2011 IEEE Fifth International Conference on Semantic Computing, Palo Alto, CA, USA: Computer society Press of the IEEE, 2011, p. 352-355. - ISBN: 9781457716485. Proceedings of: ICSC 2011, Palo Alto, CA, USA, September 18-21, 2011. - DOI: 10.1109/ICSC.2011.23
  • Andrews, P.; Paniagua Laconich, J.; Giunchiglia, F., "Clues of Personal Events in Online Photo Sharing" in 10th International Semantic Web Conference, Germany, USA: DERIVE 2011, 2011. Proceedings of: 10th International Semantic Web Conference, Bonn, Germania, 23-27/10/2011
  • Tankoyeu, I.; Paniagua Laconich, J.; Stottinger, J.; Giunchiglia, F., "Event Detection and Scene Attraction by Very Simple Contextual Cues" in J-MRE '11: Proceedings of the 2011 joint ACM workshop on Modeling and representing, Scottsdale, Arizona: ACM Press, 2011, p. [1-5]. - (SRED). Proceedings of: ACM SRED, Scottsdale, Arizona, 28/11/2011-1/12/2011
  • Pil Ho Kim; F. Giunchiglia, "Lifelog Event Management: Crowd Research Case Study" in EiMM 2011, New York: ACM, 2011. Proceedings of: 3rd ACM Workshop on Events in Multimedia, Scottsdale, Arizona, 28/11/2011-1/12/2011. - DOI: 10.1145/2072508.2072518
  • Giunchiglia, F.; Kharkevich, U.; Hume Llamosas, A., "Semantic Flooding: Semantic Search across Distributed Lightweight Ontologies" in WORLD WIDE WEB JOURNAL, v. 14, n. 5-6 (2011), p. 651-669. - URL: http://www.springerlink.com/content/t2645x6828n5k768/ . - DOI: 10.1007/s11280-010-0108-y
  • Tankoyeu, I.; Paniagua Laconich, J.; Stottinger, J.; Giunchiglia, F., "Sounding out Semantic Event Detection in Electronic Health Records" in Proceedings of the RBC of the 7th Russian-Bavarian Conference, Erlagen, Germany: RBC, 2011, p. 39-42. Proceedings of: 7th Russian-Bavarian Conference, Erlangen, Germany, 10-14/10/2011
  • J. Dharanipragada; F. Giunchiglia; H. Haridas; U. Kharkevich, "Two-layered architecture for peer-to-peer concept search" in SemSearch 2011 workshop, India: ACM, New York, 2011. Proceedings of: 4th International Semantic Search Workshop, Hyderabad, India, 29 March 2011
  • F. Giunchiglia; V. Maltese; F. Farazi; B. Dutta, "GeoWordNet: A Resource for Geo-Spatial Applications" in 7th Extended Semantic Web Conference, Heraklion, Greece: ESWC, 2010. Proceedings of: ESWC 2010, Heraklion, Greece, 30/5/11-2/6/11
  • F. Giunchiglia; V. Maltese, "Ontologie leggere a faccette" in AIDA INFORMAZIONI, v. Anno 28, n. n. 1-2 (2010), p. 87-107
  • A. Artale; B. Crispo; F. Giunchiglia; F. Turkmen; R. Zhang, "Reasoning about Relation Based Access Control" in 2010 Fourth International Conference on Network and System Security: NSS 2010: Proceedings, Piscataway, NJ: IEEE, 2010, p. 231-238. Proceedings of: NSS 2010, Melbourne, 1st-3rd September 2010. - URL: http://dx.doi.org/10.1109/NSS.2010.76 . - DOI: 10.1109/NSS.2010.76
  • R. Zhang; F. Giunchiglia; B. Crispo; L. Song, "Relation-Based Access Control: An Access Control Model for Context-Aware Computing Environment" in WIRELESS PERSONAL COMMUNICATIONS, v. 55, n. no. 1 (2010), p. 5-17. - DOI: 10.1007/s11277-009-9782-4
  • V. Maltese; F. Giunchiglia; A. Autayeu, "Save up to 99% of your time in mapping validation" in On the Move to Meaningful Internet Systems: OTM 2010: Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Berlin ; Heidelberg: Springer, 2010, p. 1044-1060. - (Lecture Notes in Computer Science). Proceedings of: ODBASE 2010, Hersonissos, Greece, 25th-29th October 2010. - DOI: 10.1007/978-3-642-16949-6_28
  • F. Giunchiglia; U. Kharkevich; A. Hume; P. Chatvorawit, "Semantic Flooding: Search Over Semantic Links" in 2010 IEEE 26th International Conference on Data Engineering Workshops, Piscataway, NJ: IEEE, 2010, p. 191-196. - ISBN: 9781424465224. Proceedings of: ICDEW 2010, Long Beach, CA, March 1st-6th, 2010. - DOI: 10.1109/ICDEW.2010.5452749
  • P. Shvaiko; F. Giunchiglia; M. Yatskevich, "Semantic Matching with S-Match" in R. de Virgilio, F. Giunchiglia, L. Tanca (edited by), Semantic Web Information Management: A Model-Based Perspective, Berlin: Springer, 2010, p. 183-203. - ISBN: 9783642043284. - URL: http://www.springerlink.com/content/h55853636w531150/ . - DOI: 10.1007/978-3-642-04329-1_9
  • R. Virgilio; F. Giunchiglia; L. Tanca (Ed. critica a cura di), Semantic Web Information Management: Model-Based perspective, Berlin: SPRINGER, 2010, 549 p. - ISBN: 9783642043284
  • A. Birukou; E. Blanzieri; P. Giorgini; F. Giunchiglia, "A Formal Definition of Culture" in Proceedings of MICON workshop at the International Joint Conference on Artificial Intelligence (IJCAI2009), Prasadena, California, USA: IJCAI 2009 - WP notes, 2009, p. 0-0. Proceedings of: MICON 2009, Prasadena, California, USA, July 11-17
  • F. Giunchiglia; M. Yatskevich; P. Avesani; P. Shvaiko, "A large dataset for the evaluation of ontology matching" in KNOWLEDGE ENGINEERING REVIEW, v. 24, n. 2 (2009), p. 137-157. - DOI: 10.1017/S026988890900023X
  • F. Giunchiglia; M. Yatskevich; P. Avesani; P. Shavaiko, "A Large Scale Dataset for the Evaluation of Ontology Matching Systems" in KNOWLEDGE ENGINEERING REVIEW, v. 24(2), (2009), p. 137-157
  • Y. Zhao; K. Wang; R. Topor; J. Z. Pan; F. Giunchiglia, "Building Heterogeneous Multi-context Systems by Semantic Bindings" in Proceedings of The 3rd Chinese Semantic Web Symposium, CSWS09, Germania: Springer, 2009. Proceedings of: CSWS09, Nanjing (China), September 2009
  • F. Giunchiglia; V. Maltese; A. Autayeu, "Computing minimal mappings" in ISWC Ontology Matching Workshop (OM 2009), Germania: Springer, 2009. Proceedings of: Computing minimal mappings”,, Washington (DC), 25th October 2009
  • F. Giunchiglia; U. Kharkevich; I. Zaihrayeu, "Concept search" in Processing of ESWC'09, Lecture Notes in Computer Science, Germania: Springer, 2009. Proceedings of: ESWC'09, xx, xx
  • F. Giunchiglia; B. Dutta; V. Maltese, "Faceted Lightweight Ontologies" in A. Borgida, V. Chaudhri, P. Giorgini, E. Yu (edited by), Conceptual Modeling: Foundations and Applications, Berlin: Springer, 2009, p. 36-51. - (LNCS)
  • G. Boato; C. Fontanari; F. Giunchiglia; F.G.B. De Natale, "Glocal Multimedia Retrieval". - (Technical Report DISI), 2009, 6 p. - [download]
  • A. Autayeu; F. Giunchiglia; P. Andrews; Q. Ju, "Lightweight Parsing of Natural Language Metadata" in Proceedings of the First Natural Language Processing for Digital Libraries Workshop, Viareggio, Germania: Springer, 2009. Proceedings of: First Natural Language Processing for Digital Libraries Workshop, Viareggio
  • F. Giunchiglia; D. Soergel; V. Maltese; A. Bertacco, "Mapping large-scale Knowledge Organization Systems" in Proceedings of the 2nd International Conference on the Semantic Web and Digital Libraries (ICSD 2009), Germania: Spinger, 2009. Proceedings of: ICSD 2009, Trento, 8th-11th September 2009,
  • D. Robertson; A. Barker; P. Besana; A. Bundy; Y. H. Chen-burger; D. Dupplaw; F. Giunchiglia; F. Van Harmelen; F. Hassan; S. Kotoulas; D. Lambert; G. Li; J. Mcginnis; F. Mcneill; N. Osman; A. Perreau De Pinninck; R. Siebes; C. Sierra; C. Walton, "Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing" in E. Chang, T. S. Dillon, R. Meersman, K. Sycara (edited by), Advances in Web Semantics 1, Berlin Heidelberg: Springer, 2009, p. 81-129. - (LNCS). - DOI: 10.1007/978-3-54089784-2_4
  • V. Maltese; F. Giunchiglia; K. Denecke; P. Lewis; C. Wallner; A. Baldry; D. Madalli, "On the interdisciplinary foundations of diversity" in Proceddings ISWC 2009, Washington (DC): Springer, 2009. Proceedings of: The First International Workshop on Living Web: Makakaking Web Diversity a True Asset, Washington (DC), 25th October 2009
  • F. GIUNCHIGLIA; RUI ZHANG; BRUNO CRISPO, "Ontology Driven Community Access Control" in PROCEEDINGS OF THE 1ST WORKSHOP ON TRUST AND PRIVACY ON THE SOCIAL AND SEMANTIC WEB (SPOT2009), Berlin: Springer, 2009, p. xx-xx. Proceedings of: SPOT2009, HERAKLION, GREECE, JUNE 1, 2009
  • F. Giunchiglia; U. Kharkevich; S. R. H. Noori, "P2P Concept Search: Some Preliminary Results" in Proceedings Semantic Search 2009 workshop (SemSearch2009), co-located with the 18th Int. World Wide Web Conference WWW2009, Germania: Springer, 2009. Proceedings of: Semantic Search 2009 workshop (SemSearch2009), Madrid, April 2009
  • F. Giunchiglia ; P. Shvaiko ; M. Yatskevich, Semantic Matching in: "Encyclopedia of Database Systems", Germania: Springer, 2009. - ISBN: 9780387496160. - URL: http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-0-387-49616-0
  • F. MCNEILL; P. BESANA; J. PANE; F. GIUNCHIGLIA, "Service Integration through Structurepreserving Semantic Matching" in Cases on Semantic Interoperability for Information Systems Integration, IGI Global, Hershey, PA: IGI Global Publishing, 2009, p. 64-82. - URL: http://www.igi-global.com/cases/details.asp?id=35929
  • B. Dutta; F. Giunchiglia, "Social tagging: Semantics are actually used" in Proceedings of International Conference on Semantic Web and Digital Libraries (ICSD): Springer, 2009, p. 62-76. Proceedings of: ICSD 2009, Trento, 10-11 settembre 2009
  • F. Giunchiglia; F. Farazi; L. Tanca; R. De Virgilio, "The SemanticWeb Languages" in Semantic Web Information management, a model based perspective, Berlin: SPRINGER 2009, 2009, p. 25-38. - ISBN: 9783642043284
  • R. Zhang; A. Artale; F. Giunchiglia; B. Crispo, "Using Description Logics in Relation Based Access Control" in Proceedings of The 22nd International Workshop on Description Logics (DL2009): Springer, 2009. Proceedings of: DL2009, Oxford, July 2009
  • F. Giunchiglia ; M. Yatskevich ; F. Mcneill ; P. Shvaiko ; J. Pane ; P. Besana, "Approximate structure preserving semantic matching" in Frontiers in Artificial Intelligence and Applications : 18th European Conference on Artificial Intelligence (ECAI 2008), The Netherlands: IOs press Book, 2008, p. 743-744. - ISBN: 978-1-58603-891-5. Proceedings of: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, June 2008. - DOI: DOI10.3233/978-1-58603-891-5-743
  • F. Giunchiglia ; F. Mcneill ; M. Yatskevich ; J. Pane ; P. Besana ; P. Shvaiko, "Approximate Structure-Preserving Semantic Matching" in 7th International Conference on Ontologies, Databases and Applications of Semantics (ODBASE 2008), Mexico: Springer, 2008, p. 1217-1234. - (Lecture Notes in Computer Science; 5332part II). - ISBN: 978-3-909386-80-2. Proceedings of: ODBASE 2008, Monterrey, Mexico, 1st November 2008. - DOI: 10.1007/978-3-540-88873-4_22
  • F. Giunchiglia ; U. Kharkevich ; I. Zaihrayeu, "Concept Search: Semantics Enabled Syntactic Search" in CEUR Workshop Proceedings, Aachen: CEUR, 2008, p. [1--15]. Proceedings of: SemSearch 2008, Tenerife, 2nd June 2008. - URL: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-334/paper-10.pdf
  • I. Zaihrayeu ; L. Su ; F. Giunchiglia ; W. Pan ; Q. Ju ; M. Chi ; H. Xuanjing, "From Web Directories to Ontologies: Natural Language Processing Challenges" in The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, USA: Springer, 2008, p. 623-636. - (LNCS). - ISBN: 978-3-540-76297-3. Proceedings of: ISWC + ASWC 2007, Busan, Korea, November, 2007. - DOI: 10.1007/978-3-540-76298-0
  • F. Giunchiglia; I. Zaihrayeu, "Lightweight Ontologies" in L. Liu, M. T. Özsu (edited by), Encyclopedia of Database Systems, Berlin; Heidelberg: Springer, 2008, p. 1613-1619. - DOI: 10.1007/978-0-387-39940-9_1314
  • F. Giunchiglia; R. Zhang; B. Crispo, "RelBAC: Relation Based Access Control" in Proceedings: SKG 2008, The Fourth International Conference on Semantics, Knowledge and Grid, IEEE Computer Society, 2008, WA DC, USA: IEEE, 2008, p. 3-11
  • F. Giunchiglia; R. Zhang; B. Crispo, "RelBAC: Relation Based Access Control" in Proceedings of the 2008 Fourth International Conference on Semantics, Knowledge and Grid, Washington, DC, USA: IEEE Computer Society, 2008, p. 3-11. - (IEEE). Proceedings of: SKG2008, BEIJIN, 2008. - URL: http://portal.acm.org/citation.cfm?id=1494651.1495599 . - DOI: 10.1109/SKG.2008.76
  • A. Ivanyukovich ; M. Marchese ; F. Giunchiglia, "ScienceTreks: an autonomous digital library system" in ONLINE INFORMATION REVIEW, v. 32, n. 4 (2008), p. 488-499. - URL: http://www.emeraldinsight.com/doi/pdfplus/10.1108/14684520810897368 . - DOI: http://dx.doi.org/10.1108/14684520810897368
  • F. Giunchiglia; P. Shvaiko; M. Yatskevich, "Semantic Matching" in L. Ling, M. Tamer Özsu (edited by), Encyclopedia of database systems, Berlin; Heidelberg: Springer, 2008, p. 2561-2566. - DOI: 10.1007/978-0-387-39940-9_1044
  • F. Giunchiglia ; D. Cerri ; E. Della Valle ; D. De Francisco Marcos ; D. Naor ; L. Nixon ; K. Teymourian ; P. Obermeier ; D. Rebholz-schuhmann ; R. Krummenacher ; E. Simperl, "Towards Knowledge in the Cloud" in Proceedings SEMELS 2008, Germania: Springer Verlag, 2008, p. 986-995. Proceedings of: SEMEL, OTM Workshop 2008, Monterrey, Mexico, 9-14 Nov., 2008
  • F. GIUNCHIGLIA; YATSKEVICH M; SHVAIKO P, ""Semantic Matching: Algorithms and Implementation"" in Journal on Data Semantics, USA: Springer, 2007, p. 1-38
  • F. Giunchiglia ; P. Shvaiko ; M. Yatskevich, "Background knowledge in ontology matching" in Bertinoro Workshop on Information Integration, [S.l.: s.n.], 2007, p. [n.d.]-[n.d.]. Proceedings of: INFINT 2007, Bertinoro (FO), 30th September-4th October 2007. - URL: http://www.dis.uniroma1.it/~lenzerin/INFINT2007/index.shtml
  • F. Giunchiglia ; M. Marchese ; I. Zaihrayeu, "Encoding Classifications into Lightweight Ontologies" in JOURNAL ON DATA SEMANTICS, v. 8, n. xx (2007), p. 57-81. - DOI: 10.1007/978-3-540-70664-9
  • F. Giunchiglia; M. Marchese; I. Zaihrayeu, "Encoding Classifications into Lightweight Ontologies" in JOURNAL ON DATA SEMANTICS, v. LNCS 4380, (2007), p. 57-81
  • F. Giunchiglia ; I. Zaihrayeu ; U. Kharkevich, "Formalizing the Get-Specific Document Classification Algorithm" in Research and Advanced Technology for Digital Libraries: 11th European Conference: ECDL 2007: Proceedings, Berlin; Heidelberg: Springer, 2007, p. 26-37. - (Lecture Notes in Computer Science). Proceedings of: ECDL 2007, Budapest, 16th-21st September 2007. - DOI: 10.1007/978-3-540-74851-9_3
  • I. Zaihrayeu; L. Su; F. Giunchiglia; P. Wei; J. Qi; C. Mingmin; H. Xuanjing, "From Web Directories to Ontologies: Natural Language Processing Challenges" in Proceedings of the 6th International Semantic Web Conference and the 2nd Asian Semantic Web Conference, (ISWC'07/ + ASWC'07), Berlin, Heidelberg: Springer-Verlag, 2007, p. 623-636. - ISBN: 9783540762973. Proceedings of: ISWC + ASWC 2007, Busan, 2007
  • A. Borgida ; F. Giunchiglia, "Importing from Functional Knowledge Bases" in WoMO '07: 2nd International Workshop on Modular Ontologies: Proceedings of the 2nd International Workshop on Modular Ontologies, Aachen: CEUR, 2007, p. [1-8]. - (CEUR-WS). Proceedings of: 2nd International Workshop on Modular Ontologies, K-cap 2007, 4th International Conference on Knowledge Cpature 2007, Whistler, Canada, 21-23/10/2007. - URL: ONLINE: http://CEUR-WS.org/Vol-315/
  • P. Shvaiko ; J. Euzenat ; F. Giunchiglia; Bin He (edited by), "Ontology Matching", by P. Shvaiko, J. Euzenat, F. Giunchiglia, Bin He, Berlin: CEUR, 2007
  • P. Shvaiko; J. Euzenat; F. Giunchiglia; B. He (edited by), "Proceedings of the International Workshop on Ontology Matching (OM 2007)", Aachen: CEUR, 2007. - (CEUR Workshop Proceedings)
  • F. Casati ; F. Giunchiglia ; M. Marchese, "Publish and perish" in UBIQUITY - ASSOCIATION FOR COMPUTING MACHINERY, v. 8, n. 3 (2007). - URL: http://ubiquity.acm.org/article.cfm?id=1226695
  • CASATI F; F. GIUNCHIGLIA; MARCHESE M, "Publish and perish". - (UBIQUITY - ASSOCIATION FOR COMPUTING MACHINERY), 2007
  • A. Ivanyukovich ; M. Marchese ; F. Giunchiglia, "ScienceTreks: an Autonomous Digital Library System" in Proceedings of the 2007 International Conference on Semantic Web and Digital Libraries, Bangalore: Documentation Research & Training Centre, 2007, p. 89-100. - (Indian Statistical Institute platinum jubilee conference series). Proceedings of: ICSD 2007, Bangalore, India, 21st-23rd February 2007
  • Y. Zhao ; W. Kewen ; R. Topor ; J. Z. Pan ; F. Giunchiglia, "Semantic Cooperation And Knowledge Reuse By Using Autonomous Ontology" in The Semantic Web: 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference: ISWC 2007 + ASWC 2007: Proceedings, Berlin; Heidelberg: Springer, 2007, p. 666-679. - (Lecture Notes in Computer Science). - ISBN: 978-3-540-76297-3. Proceedings of: ISWC + ASWC 2007, Busan, Korea, 11th-15th November 2007. - DOI: 10.1007/978-3-540-76298-0_48
  • F. Giunchiglia ; M. Yatskevich ; P. Shvaiko, "Semantic Matching: Algorithms and Implementation" in JOURNAL ON DATA SEMANTICS, v. IX, n. XX (2007), p. 1-38
  • F. Giunchiglia ; M. Yatskevich ; F. Mcneill, "Structure preserving semantic matching" in Proceedings of the 2nd International Workshop on Ontology Matching: OM-2007, Aachen: CEUR, 2007, p. 13-24. - (CEUR-WS). Proceedings of: Ontology Matching OM 2007, Busan, Korea, 11th November 2007. - URL: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-304/OM-2007proc.pdf
  • F. Giunchiglia; M. Marchese; M. Ronchetti; Y. Zhao, ""EASTWEB, Building an integrated leading Euro-Asian higher education and research community in the field of the SemanTic WEB"" in The Semantic Web - ASWC 2006 Workshop Proceedings, Beijing: Jilin University Press, 2006, p. 87-95. Proceedings of: ASWC, Beijing, 3th-7th September 2006
  • M. Yatskevich; F. Giunchiglia; P. Avesani, "A Large Scale Dataset for the Evaluation of Matching Systems" in European Semantic Web Conference (ESWC), Austria: ESWC, 2006. Proceedings of: ESWC, Innsbruck, 2007
  • Y. Zhao ; L. Serafini ; F. Giunchiglia, "Autonomous Ontology: Operations and Semantics or Local Semantics with Semantic Binding on Foreign Entity" in The Semantic Web: ASWC 2006: First Asian Semantic Web Conference: Proceedings, Berlin ; Heidelberg: Springer, 2006, p. 646-652. - (Lecture Notes in Computer Science). Proceedings of: ASWC 2006, Beijing, China, 3rd-7th September 2006
  • F. Giunchiglia ; P. Shvaiko ; M. Yatskevich, "Discovering Missing Background Knowledge in Onology Matching" in Frontiers in Artificial Intelligence and Applications: 17th European Conference on Artificial Intelligence: ECAI 2006, Amsterdam: IOS Press, 2006, p. 382-386. Proceedings of: ECAI 2006, Riva del Garda, 29th August-1th September 2006
  • F. Giunchiglia ; M. Marchese ; M. Ronchetti ; Y. Zhao, "EASTWEB: building an integrated leading Euro-Asian higher education and research community in the field of the Semantic Web" in The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Berlin/Heidelberg: Springer, 2006, p. 87-96. Proceedings of: ASWC 2006, Beijing, 3rd-7th September 2006
  • M. Marchese ; A. Yanchuk ; F. Giunchiglia, "A Distributed Architecture for Value Added Services to Digital Libraries" in MobiQuitous 2005: the Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, Washington, DC, USA: IEEE Computer Society, 2005. - ISBN: 0-7695-2375-7. Proceedings of: IEEE Computer Society, San Diego (CA), 17th-21th July 2005
  • P. Avesani; F. Giunchiglia; M. Yatskevich, "A Large Scale Taxonomy Mapping Evaluation" in Proceedings of International Semantic Web Conference, Berlin: Springer, 2005, p. 67-81. - (Lecture Notes in Computer Science). - ISBN: 9783540297543. Proceedings of: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, 6 -10th November 2005
  • F. Giunchiglia ; M. Yatskevich ; E. Giunchiglia, "Efficient Semantic Matching" in Proceedings of the 2nd European semantic web conference, Heidelberg: Springer, 2005, p. 272-290. - (Lecture Notes in Computer Science). - ISBN: 978-3-540-26124-7. Proceedings of: ESWC '05, Heraklion, Crete, Greece, 29 May - 1 June 2005
  • F. Giunchiglia ; P. Shvaiko ; M. Yatskevich, "Semantic schema matching" in xx, Berlin-Heidelberg: Springer Verlag, 2005, p. 347-365. Proceedings of: On the move to meaningful internet systems 2005: coopIS, DOA, and ODBASE: OTM Confederated International Conferences, Agia Napa (Cyprus), 2005
  • F. Giunchiglia ; P. Shvaiko ; M. Yatskevich, "S-Match: an algorithm and an implementation of semantic matching" in Semantic Interoperability and Integration, Dagstuhl, Germany, 2005, xx: IBFI, 2005, p. xx-xx. Proceedings of: Semantic Interoperability and Integration 2005, Dagstuhl, Germany, 2005
  • F. Giunchiglia ; M. Marchese ; I. Zaihrayeu, "Towards a Theory of Formal Classification" in Proceedings of Twentieth National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, Pennsylvania, USA: AAAI, 2005. Proceedings of: AAAI-05, Pittsburgh, Pennsylvania, USA, July 9-13 2005
  • P. Shvaiko ; F. Giunchiglia ; P. Pinheiro Da Silva ; D. L. Mcguinness, "Web explanations for semantic heterogeneity discovery" in Proceedings of the 2nd European semantic web conference (ESWC'05), Berlin, Heidelberg: Springer, 2005, p. 303-317. - (LNCS). Proceedings of: 2nd European semantic web conference (ESWC'05), Heraklion, 29 May - 1 June 2005. - URL: http://www.eswc2005.org/
  • C. Ghidini ; F. Giunchiglia, "A semantics for abstraction" in ECAI 2004 : 16th European Conference on Artificial Intelligence: including Prestigious Applications of Intelligent Systems (PAIS 2004): Proceedings, Amsterdam: IOS press, 2004, p. 343-347. Proceedings of: ECAI 2004, Valencia, Agust 22-27, 2004
  • P. Bouquet; F. Giunchiglia; F. Van Harmelen; L. Serafini; H. Stuckenschmidt., "Contextualizing Ontologies" in JOURNAL OF WEB SEMANTICS, v. 26, n. 1 (2004), p. 325-343. - URL: www.sciencedirect.com
  • F. Giunchiglia ; I. Zaihrayeu, "Coordinating Mobile Databases" in Proceedings of the MobiQuitous'04 Workshop on Peer-to-Peer Knowledge Management (P2PKM 2004), Aachen: CEUR, 2004, p. 1-16. Proceedings of: 1st International Workshop on peer-to-peer knowledge management (P2PKM), Boston, Mass., 22 August 2004. - URL: www.p2pkm.org
  • F. Giunchiglia ; M. Yatskevich, "Element Level Semantic Matching" in The Semantic Web: ISWC 2004: Third International Semantic Web Conference: Proceedings, Berlin: Springer, 2004, p. xx-xx. - ISBN: 9783540237983. Proceedings of: Meaning Coordination and Negotiation Workshop, Hiroshima, Japan, 6 November 2004
  • F. Giunchiglia; I. Zaihrayeu, "Implementing database coordination in P2P networks" in The Thirteenth International World Wide Web Conference: Proceedings, New York, N.Y.: ACM press, 2004, p. 23-34. Proceedings of: WWW 2004, New York, USA, 18th May 2004
  • E. Blanzieri ; P. Giorgini ; F. Giunchiglia ; C. Zanoni, "Implicit culture-based personal agents for knowledge management" in Agent-mediated knowledge management, International Symposium AMKM 2003, Stanford, CA, USA, March 24-26, 2003, Revised and Invited Papers, Berlin: Springer, 2004, p. 245-261. - (Lecture Notes in Computer Science). - ISBN: 9783540208686. Proceedings of: AMKM 2003, Stanford, CA, March 24-26, 2003
  • F. Giunchiglia; M. Bonifacio; C. Zini; M. Cruciani; D. Ponte, "Knowledge Diversity and Boundary Crossing as a Means to Develop the European Knowledge Society" in Gnosis Launch 2004, Liverpool: University of Liverpool, 2004. Proceedings of: GL 2004, Liverpool, 7 October 2004
  • F. Giunchiglia ; P. Shvaiko ; M. Yatskevich, "S-Match: an algorithm and an implementation of semantic matching" in The semantic web: research and applications, Berlin, Heidelberg: Springer, 2004, p. 61-75. - (LNCS; 3053). - ISBN: 3540219994. Proceedings of: 1st european semantic web symposium (ESWS'04), Heraklion, 10-12 May 2004. - URL: http://www.esws2004.org/
  • D. L. Mcguinness ; P. Shvaiko ; F. Giunchiglia ; P. Pinheiro Da Silva, "Towards explaining semantic matching" in Proceedings of the 2004 international workshop on description logics (DL2004), Aachen: CEUR, 2004, p. 134-135. - (CEUR Workshop Proceedings). Proceedings of: DL2004, Whistler, BC, Canada, June 6-8 2004. - URL: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-104/
  • P. Bresciani ; A. Perini ; P. Giorgini ; F. Giunchiglia ; J. Mylopoulos, "TROPOS: an agent-oriented software development methodology" in AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, v. 8, n. 3 (2004), p. 203-236. - DOI: 10.1023/B:AGNT.0000018806.20944.ef
  • H. Stuckenschmidt ; F. Van Harmelen ; P. Bouquet ; F. Giunchiglia ; L. Serafini, "Using C-OWL for the alignment and merging of medical ontologies" in KR-MED 2004: First International Workshop on Formal Biomedical Knowledge Representation, Aachen: CEUR, 2004, p. 88-101. - (CEUR Workshop Proceedings). Proceedings of: KR-MED 2004, Whistler, BC, Canada, 1st June 2004. - URL: http://CEUR-WS.org/Vol-102/
  • SERAFINI L.; F. GIUNCHIGLIA; MYLOPOULOS J.; BERNSTEIN P.A. (edited by), "4th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2003)", by L. Serafini, F. Giunchiglia, J. Mylopoulos, P.A. Bernstein, 2003. - ISBN: 9783540403807
  • E. Blanzieri ; P. Giorgini ; C. Zanoni ; F. Giunchiglia, "A multi-agent system for knowledge management based on the implicit culture framework" in WM 2003: Professionelles Wissesmanagement: Erfahrungen und Visionen: Beiträge der 2. Konferenz professionelles Wissensmanagement, Bonn: Köllen, 2003, p. 287-294. - (LNI; 28). Proceedings of: 2nd German workshop on experience management (GWEM 2003), Luzern, 2nd-4th April 2003. - URL: http://www.gi-ev.de/LNI/proceedings/p-28.shtml
  • F. Giunchiglia ; J. Odell ; G. Weiß (edited by), "Agent-oriented software engineering III: 3rd international workshop, AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and contributions", Berlin: Springer, 2003, 229 p. - (LNCS; 2585). - ISBN: 9783540007135
  • P. Bouquet ; F. Giunchiglia ; F. Van Harmelen ; L. Serafini ; H. Stuckenschmidt, "C-OWL: contextualizing ontologies" in 2nd international semantic web conference, (ISWC 2003, GERMANIA: Springer, 2003, p. 164-179. - ISBN: 3540203621. Proceedings of: 2nd international semantic web conference (ISWC 2003), Sanibel Island (Fla.), 20-23 October 2003. - URL: http://www.springerlink.com/app/home/contribution.asp?wasp=fl9xa52kuq5yqg8ejj1q&referrer=parent&back
  • BLANZIERI E.; GIORGINI P.; F. GIUNCHIGLIA; ZANONI C., "Implicit Culture-Based Personal Agents for Knowledge Management" in International Symposium on Agent-Mediated Knowledge Management (AMKM '03) Stanford, California, 2003, p. 245-261
  • F. GIUNCHIGLIA; BERNSTEIN P., "Local Relational Model: A Logical Formalization of Database Coordination" in 4th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2003)¿, St, 2003, p. 286-299
  • L. Serafini ; F. Giunchiglia ; J. Mylopoulos ; P. Bernstein, "Local relational model: a logical formalization of database coordination" in 4th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2003), St, Berlin: Springer, 2003, p. 286-299, Stanford, Calif., 23-25 June 2003
  • P. Blackburn ; R. M. Turner ; C. Ghidini ; F. Giunchiglia (edited by), "Modeling and using context: 4th international and interdisciplinary conference CONTEXT 2003: Stanford, CA, USA, June 23-25, 2003: proceedings", Berlin: Springer, 2003, 525 p. - (LNCS; 2680). - ISBN: 9783540403807
  • F. Giunchiglia ; A. Gomez-perez ; A. Pease ; H. Stuckenschmidt ; Y. Sure ; S. Willmott (Ed. critica a cura di), Proceedings of the IJCAI-03 workshop on ontologies and distributed systems (ODS 2003), Aachen: CEUR, 2003
  • F. Giunchiglia ; P. Shvaiko, "Semantic matching" in KNOWLEDGE ENGINEERING REVIEW, v. 18, n. 3 (2003), p. 265-280
  • F. GIUNCHIGLIA; A GOMEZ-PEREZ; A. PEASE; H. STUCKENSCHMIDT; Y. SURE; S. WILLMOTT, "Semantic Matching" in F. Giunchiglia, A Gomez-perez, A. Pease, H. Stuckenschmidt, Y. Sure, S. Willmott (edited by), Ontologies and Distributed Systems, 2003
  • F. Giunchiglia ; P. Shvaiko, "Semantic matching" in Proceedings of the IJCAI-03 Workshop on Ontologies and Distributed Systems, Aachen: CEUR, 2003, Acapulco, 9 August 2003
  • L. Serafini ; F. Giunchiglia ; J. Mylopoulos ; P. Bernstein, "The Local Relational Model: A Logical Formalization of Database Coordination", 2003. Proceedings of: Context’03, Stanford, June 2003
  • F. Giunchiglia ; J. Mylopoulos ; A. Perini, "The tropos software development methodology: processes, models and diagrams" in Agent-Oriented Software Engineering III, Berlin: Springer, 2003, p. 162-173. - (Lecture Notes in Computer Science). - ISBN: 9783540007135. Proceedings of: Third International Workshop on Agent-Oriented Software Engineering, AOSE 2002, Bologna, 15th July 2002
  • P. Bouquet ; C. Ghidini ; F. Giunchiglia ; E. Blanzieri, "Theories and uses of context in knowledge representation and reasoning" in JOURNAL OF PRAGMATICS, v. 35, n. 3 (2003), p. 455-484. - URL: http://dx.doi.org/10.1016/S0378-2166(02)00145-5 . - DOI: 10.1016/S0378-2166(02)00145-5
  • F. GIUNCHIGLIA; WEISS G. (edited by), "3rd international workshop on agent-oriented software engineering (AOSE 2002)", by F. Giunchiglia, G. Weiss, 2002. - ISBN: 9783540007135
  • G. Criscuolo ; F. Giunchiglia ; L. Serafini, "A Foundation for Metareasoning Part I: The Proof Theory" in JOURNAL OF LOGIC AND COMPUTATION, v. 12, n. 1 (2002), p. 167-208
  • G. Criscuolo ; F. Giunchiglia ; L. Serafini, "A foundation for Metareasoning Part II: The Model Theory" in JOURNAL OF LOGIC AND COMPUTATION, v. 12, n. 3 (2002), p. 345-370
  • E. Blanzieri ; P. Giorgini ; F. Giunchiglia ; C. Zanoni, "A multi-agent system for knowledge management based on the implicit culture framework" in WOA 2002 : dagli oggetti agli agenti : dall'informazione alla conoscenza, Bologna: Pitagora, 2002. Proceedings of: Dagli oggetti agli agenti (WOA02), Milano, 18th-19th November 2002. - URL: http://www.lia.deis.unibo.it/books/woa2002/home.shtml
  • F. GIUNCHIGLIA; ODELL J.; WEISS G. (edited by), "Agent-Oriented Software Engineering", by F. Giunchiglia, J. Odell, G. Weiss, 2002. - ISBN: 9783540007135
  • F. Giunchiglia ; A. Perini ; A. Susi, "Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology", New York: ACM Press, 2002, p. 51-54. Proceedings of: 14th international conference on software engineering and knowledge engineering (SEKE'02), Ischia (NA), 15th-19th July 2002. - URL: http://portal.acm.org/citation.cfm?doid=568760.568770#abstract
  • P. A. Bernstein ; F. Giunchiglia ; A. Kementsietsidis ; J. Mylopoulos ; L. Serafini ; I. Zaihrayeu, "Data management for peer-to-peer computing: a vision" in SIGMOD 2002: Proceedings of the ACM SIGMOD, New York, N.Y.: ACM press, 2002, p. 89-94. Proceedings of: 5th International Workshop on the Web and Databases (WebDB 2002), Madison (Wis), 6-7 June 2002. - URL: http://www.db.ucsd.edu/webdb2002/papers/15.pdf
  • F. Giunchiglia ; A. Perini ; F. Sannicolo', "Knowledge Level Software Engineering" in Intelligent Agents VIII : Revised Papers, Berlin: Springer, 2002, p. 6-20. - (Lecture Notes in Computer Science). Proceedings of: 8th International Workshop ATAL 2001, Seattle (Wa), 1st-3rd August 2001
  • D. Fensel ; F. Giunchiglia ; D. L. Mcguinness ; M. Williams (Ed. critica a cura di), KR2002: proceedings of the 8th international conference on principles of knowledge representation and reasoning: Toulouse, France, April 22-25, 2002, Amsterdam [etc.]: Morgan Kaufmann, 2002. - ISBN: 9781558605541
  • F. Giunchiglia ; I. Zaihrayeu, "Making Peer Databases Interact: A Vision for an Architecture Supporting Data Coordination" in Cooperative Information Agents VI : Proceedings, Berlin: Springer Verlag, 2002, p. 18-35. - (Lectures Notes in Computer Science; 2446). Proceedings of: 6th International Workshop on Cooperative Information Agents (CIA 2002), Madrid, 18th-20th September 2002
  • L. Serafini ; F. Giunchiglia, "ML systems: a proof theory for contexts" in JOURNAL OF LOGIC, LANGUAGE, AND INFORMATION, v. 11, n. 4 (2002), p. 471-518
  • F. Giunchiglia ; P. Bresciani ; A. Perini ; P. Giorgini ; J. Mylopoulos, "Modeling Early Requirements in Tropos: A Transformation Based Approach" in Agent-Oriented Software Engineering II : Revised Papers and Invited Contributions, Berlin: Springer, 2002, p. 151-168. - (Lecture Notes in Computer Science). - ISBN: 9783540432821. Proceedings of: 2nd International Workshop on Agent-Oriented Software Engineering (AOSE'01), Montreal, Canada, 29 May 2001
  • A. Cimatti ; E. Clarke ; E. Giunchiglia ; F. Giunchiglia ; M. Pistore ; M. Roveri ; R. Sebastiani ; A. Tacchella, "NuSMV2: an open source tool for symbolic model checking" in Computer-Aided verification (CAV'02), Berlin/Heidelberg: Springer, 2002, p. 359-364. - (Lecture Notes in Computer Science). - ISBN: 3540439978. Proceedings of: 14th international conference on computer aided verification (CAV'02), Copenhagen, 27th-31st July 2002. - [download]
  • E. Giunchiglia ; A. Tacchella ; F. Giunchiglia, "SAT-based decision procedures for classical modal logics" in JOURNAL OF AUTOMATED REASONING, v. 28, n. 2 (2002), p. 143-171
  • P. Bresciani ; A. Perini ; P. Giorgini ; F. Giunchiglia ; J. Mylopoulos, "A knowledge level software engineering methodology for agent oriented programming", New York: ACM, 2001, p. 648-655. Proceedings of: 5th international conference on autonomous agents (Agents 2001), Montreal, 28 May -1 June 2001. - URL: http://portal.acm.org/citation.cfm?id=375735.376477
  • P. Giorgini ; A. Perini ; J. Mylopoulos ; F. Giunchiglia ; P. Bresciani, "Agent-oriented software development: a case study": Knowledge systems institute, 2001, p. 283-290. Proceedings of: 13th international conference on software engineering & knowledge engineering - SEKE '01, Buenos Aires, 13-15 June 2001
  • BATINI C.; F. GIUNCHIGLIA; GIORGINI P.; MECELLA M. (edited by), "Cooperative information systems: 9th international conference, CoopIS 2001", by C. Batini, F. Giunchiglia, P. Giorgini, M. Mecella, 2001. - ISBN: 9783540425243
  • C. Batini ; F. Giunchiglia ; P. Giorgini ; M. Mecella (edited by), "Cooperative information systems: 9th international conference, CoopIS 2001: Trento, Italy, September 5-7, 2001: proceedings", Berlin: Springer, 2001, 450 p. - (LNCS; 2172). - ISBN: 9783540425243
  • E. Giunchiglia ; F. Giunchiglia, "Ideal and real belief about belief" in JOURNAL OF LOGIC AND COMPUTATION, v. 11, n. 1 (2001), p. 157-192
  • F. GIUNCHIGLIA; SEBASTIANI R.; TRAVERSO P., "Integrating SAT Solvers with Domain-Specific Reasoners" in CALCULEMUS 2000- Symposium, Simbolic Computation and Automated Reasoning, 2001, p. 249-251
  • F. GIUNCHIGLIA; PERINI A.; SANNICOLO' F., "Knowledge Level Software Engineering" in 8th international workshop ATAL 2001, 2001, p. 6-20
  • C. Ghidini ; F. Giunchiglia, "Local models semantics, or contextual reasoning = locality + compatibility" in ARTIFICIAL INTELLIGENCE, v. 127, n. 2 (2001), p. 221-259
  • R. Sebastiani ; A. Tomasi ; F. Giunchiglia, "Model checking syllabi and student careers" in ETAPS 2001, Berlin: Springer, 2001, p. 128-142. - (LNCS). - ISBN: 3540418652. Proceedings of: ETAPS 2001, Genova, 2-6 April 2001. - URL: http://www.springerlink.com/app/home/contribution.asp?wasp=c96e78b4uq5wnked9j5m&referrer=parent&back
  • F. GIUNCHIGLIA; BRESCIANI P.; PERINI A.; GIORGINI P., "Modeling early requirements in tropos: a transformation based approach" in 2nd international workshop on agent-oriented software engineering (AOSE'01), 2001, p. 151-168
  • M. S. Bonifacio ; F. Giunchiglia ; I. Zaihrayeu, "Peer-to-Peer Knowledge Management" in Peer-to-Peer Knowledge Management, Graz: J.UCS conference proceedings of the I-Know '03 Conference, 2001. Proceedings of: 5th International Conference on Knowledge Management (I-KNOW'05), Graz (Austria), 29th June-1st July 2005. - URL: http://i-know.know-center.tugraz.at/content/download/406/1595/file/Bonifacio_paper.pdf
  • F. Giunchiglia ; P. Pecchiari ; C. Talcott, "Reasoning theories: towards an architecture for open mechanized reasoning systems" in JOURNAL OF AUTOMATED REASONING, v. 26, n. 3 (2001), p. 291-331
  • ARMANDO A.; COGLIO A; F. GIUNCHIGLIA, "The Control Component of Open Mechanized Reasoning Systems" in JOURNAL OF SYMBOLIC COMPUTATION, v. 32, (2001), p. 305-332
  • PERINI A.; BRESCIANI P.; GIORGINI P.; F. GIUNCHIGLIA; MYLOPOULOS J., "Towards an Agent Oriented Approach to Software Engineering" in Dagli Oggetti agli Agenti: Tendenze Evolutive dei Sistemi Software. Modena, Italy, 2001, 2001
  • A. Perini ; P. Bresciani ; P. Giorgini ; F. Giunchiglia ; J. Mylopoulos, "Towards an Agent Oriented approach to Software Engineering" in AIIA NOTIZIE, v. XIV, n. 4 (2001)
  • F. Giunchiglia ; C. Ghidini, "A local models semantics for information integration": Kluwer Academic Publishers, 2000, p. 161-174. Proceedings of: 1st international and interdisciplinary conference on modelling and using context, Rio de Janeiro, 4-6 February 1997. - URL: http://www-poleia.lip6.fr/~brezil/Pages2/Publications/CONTEXT-97/
  • M. Benerecetti ; F. Giunchiglia ; M. Panti ; L. Spalazzi, "A logic of belief and a model checking algorithm for security protocols", Boston: Kluwer Academic, 2000, p. 393-408. - (IFIP conference proceedings; 183). Proceedings of: 13th FORTE/20th PSTV, IFIP TC6 WG6.1 joint international conference, Pisa, 10-13 October 2000
  • F. Giunchiglia ; R. Sebastiani, "Building decision procedures for modal logics from propositional decision procedures: the case study of modal K(m)" in INFORMATION AND COMPUTATION, v. 162, n. 1-2 (2000), p. 158-178. - DOI: 10.1006/inco.1999.2850
  • A. Coglio ; F. Giunchiglia ; J. Meseguer ; C. Talcott, "Composing and Controlling Search in Reasoning Theories Using Mappings" in Frontiers of Combining Systems: Proceedings, Berlin: Springer, 2000, p. 200-216, Nancy, France, 22-24 March 2000
  • E. Blanzieri ; P. Giorgini ; F. Giunchiglia, "Implicit culture and multi-agent systems" in International conference on advances in infrastructure for electronic business, science and education on the Internet (SSGRR 2000), L'Aquila: Scuola Superiore G. Reiss Romoli, 2000, p. 1-6. Proceedings of: International conference on advances in infrastructure for electronic business, science and education on the Internet (SSGRR 2000), L'Aquila, 31 July - 6 August 2000
  • F. GIUNCHIGLIA; COHN A. G.; SELMAN B., "KR2000 - Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning", 2000
  • F. Giunchiglia ; A. G. Cohn ; B. Selman (Ed. critica a cura di), KR2000: proceedings of the seventh international conference on principles of knowledge representation and reasoning, Amsterdam [etc.]: Morgan Kaufmann, 2000, 735 p. - ISBN: 9781558606906
  • M. Benerecetti ; F. Giunchiglia, "Model checking security protocols using a logic of belief", Berlin, Heidelberg: Springer, 2000, p. 519-534. - (LNCS; 1785). Proceedings of: 6th international conference on tools and algorithms for the construction and analysis of systems (TACAS2000), Berlin, 25 March-2 April 2000
  • A. Cimatti ; E. M. Clarke ; F. Giunchiglia ; M. Roveri, "NUSMV: a new symbolic model checker" in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, v. 2, n. 4 (2000), p. 410-425
  • F. Giunchiglia ; P. Traverso, "Planning as model checking": Springer, 2000, p. 1-20. Proceedings of: 5th European conference on planning (ECP'99), Durham, 8-10 September 1999
  • E. Giunchiglia ; F. Giunchiglia ; R. Sebastiani ; A. Tacchella, "SAT vs. translation based decision procedures for modal logics: a comparative evaluation" in JOURNAL OF APPLIED NON-CLASSICAL LOGICS, v. 10, n. 2 (2000), p. 145-172. - DOI: 10.1080/11663081.2000.10510994
  • F. Giunchiglia ; P. Bertoli ; A. Coglio, "The OMRS project: state of the art": Elsevier, 2000. Proceedings of: International workshop on rewriting logic and its applications, Pont-à-Mousson, September 1998. - URL: http://www1.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt
  • F. Giunchiglia ; P. Traverso, "Theorem proving in technology transfer: the user's point of view" in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, v. 3, n. 1 (2000), p. 1-12
  • V. Hartonas-garmhausen ; S. V. Aguiar Campos ; A. Cimatti ; E. M. Clarke ; F. Giunchiglia, "Verification of a safety-critical railway interlocking system with real-time constraints" in SCIENCE OF COMPUTER PROGRAMMING, v. 36, n. 1 (2000), p. 53-64
  • E. Giunchiglia ; F. Giunchiglia ; A. Tacchella, "*SAT, KSATC, DLP and TA: a comparative analysis" in Description Logics 1999: Proceedings, Aachen: CEUR, 1999, p. 110-114. - (CEUR Workshop Proceedings). Proceedings of: International Workshop on Description Logics (DL'99), Linköping, Sweden, 30 July-1 August 1999. - URL: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-22/
  • M. Benerecetti ; F. Giunchiglia ; L. Serafini, "A model checking algorithm for multi-agent systems" in Intelligent Agents V. : Agent Theories, Architectures, and Languages: Proceedings, Berlin: Springer, 1999, p. 163-176. - (Lecture Notes in Computer Science). - ISBN: 9783540657132. Proceedings of: 5th International Workshop on Agent Theories, Architectures and Languages (ATAL'98), Paris, 4-7 July 1998
  • M. Daniele ; F. Giunchiglia ; M. Y. Vardi, "Improved automata generation for linear temporal logic", Berlin, Heidelberg: Springer, 1999, p. 249-260. Proceedings of: 11th international conference on computer-aided verification (CAV'99), Trento, 6-10 July 1999
  • F. Giunchiglia ; L. Spalazzi, "Intelligent planning: a decomposition and abstraction based approach to classical planning" in ARTIFICIAL INTELLIGENCE, v. 111, n. 1-2 (1999), p. 329-338
  • F. Giunchiglia ; M. Benerecetti ; L. Serafini, "Multiagent systems verification via model checking" in Validation and Verification of Knowledge-Based Systems, Aachen: CEUR, 1999. - (CEUR Workshop Proceedings). Proceedings of: European Workshop on Validation and Verification of Knowledge-Based Systems, Povo (TN), Italy, 6-8 June 1998. - URL: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-16/
  • A. Cimatti ; E. M. Clarke ; F. Giunchiglia ; M. Roveri, "NUSMV: a new symbolic model verifier" in 11th International Conference on Computer-Aided Verification: proceedings, Berlin: Springer, 1999, p. 495-499. - (LNCS; 1633). Proceedings of: CAV'99, Trento, 6-10 July 1999
  • F. GIUNCHIGLIA; TRAVERSO P., "Planning as Model Checking" in 5th European Conference on Planning - ECP-99, Durham, UK., 1999, p. 1-20
  • A. Cimatti ; F. Giunchiglia ; P. Traverso ; A. Villafiorita, "Run-time result formal verification of safety critical software: an industrial study" in Proceedings of FLoC'99 International Workshop on Runtime Result Verification, 1999, Trento, Italy, July 6, 1999
  • P. Bertoli ; J. Calmet ; F. Giunchiglia ; K. Homann, "Specification and integration of theorem provers and computer algebra systems" in FUNDAMENTA INFORMATICAE, v. 39, n. 1/2 (1999), p. 39-57
  • A. Armando ; A. Coglio ; F. Giunchiglia, "The control component of open mechanized reasoning systems" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 23, n. 3 (1999)
  • A. Alessandro ; F. Giunchiglia ; A. Coglio, "The control component of open mechanized reasoning systems", 1999. Proceedings of: CALCULEMUS 99 workshop at FLoC'99, Trento, 30 June-12 July 1999
  • F. Giunchiglia, "The OMRS project: state of the art" in CALCULEMUS 99 systems for integrated computation and deduction: Elsevier, 1999. Proceedings of: CALCULEMUS 99 systems for integrated computation and deduction, Trento, 11-12 July 1999. - URL: http://www1.elsevier.com/gej-ng/31/29/23/92/36/show/Products/notes/index.htt
  • E. Giunchiglia ; F. Giunchiglia ; A. Tacchella, "The SAT-based approach for classical modal logics" in AI*IA 99: Advances in Artificial Intelligence, Berlin; Heidelberg: Springer, 1999, p. 95-106. - (LNCS; 1792). - ISBN: 3540673504. Proceedings of: 6th Congress of the Italian association for artificial intelligence (AI*IA'99), Bologna, 14-17 September 1999
  • P. Avesani ; C. Bortolotti ; A. Celli ; R. Decol ; F. Giunchiglia ; G. Mameli ; M. Perghem Gelmi, "Un sistema per la gestione integrata dei piani di protezione civile", 1999. Proceedings of: 2. Conferenza italiana utenti ESRI, Roma, 9-10 giugno 1999
  • F. Giunchiglia, "Using abstrips abstractions -- where do we stand?" in ARTIFICIAL INTELLIGENCE REVIEW, v. 13, n. 3 (1999), p. 201-213
  • V. Hartonas-garmhausen ; S. Campos ; A. Cimatti ; E. Clarke ; F. Giunchiglia, "Verification of a safety-critical railway interlocking system with real-time constraints": IEEE Computer Society, 1999, p. 458-463. Proceedings of: 28th annual international symposium on fault-tolerant computing (FTCS-28), München, 23-25 June 1998
  • F. Giunchiglia ; P. Bouquet, "A context-based framework for mental representation" in XX Annual Meeting of the Cognitive Science Society (CogSci'98), 1998, p. 392-397. Proceedings of: 20th annual conference of the cognitive science society (CogSci'98), University of Wisconsin-Madison, 1-4 August 1998
  • F. Giunchiglia ; P. Bouquet, "A contextual framework for distributed mental representation", Dublin: University College Dublin, 1998, p. 273-278. Proceedings of: 9th Artificial Intelligence and Cognitive Science Conference (AICS'98), Dublin, 19-21 August 1998
  • A. Cimatti ; F. Giunchiglia ; R. W. Weyhrauch, "A many-sorted natural deduction" in COMPUTATIONAL INTELLIGENCE, v. 14, n. 1 (1998), p. 134-149
  • P. Bertoli ; A. Cimatti ; F. Giunchiglia ; P. Traverso, "A structured approach to the formal certification of safety of computer aided development tools": Springer, 1998, p. 221-230. Proceedings of: 17th international conference on computer safety, reliability and security (SAFECOMP'98), Heidelberg, 5-7 October 1998. - URL: http://sra.itc.it/paper.epl?id=BCGT98
  • A. Cimatti ; F. Giunchiglia ; M. Roveri, "Abstraction in planning via model checking", 1998, p. 37-41. Proceedings of: Symposium on abstraction, reformulation and approximation (SARA-98), Pacific Grove (CA), 9th-12th May 1998. - URL: http://sra.itc.it/paper.epl?id=CGR98
  • F. GIUNCHIGLIA (edited by), "Artificial Intelligence: methodology, systems and applications, 8th international conference, AIMSA'98:", by F. Giunchiglia, 1998
  • F. Giunchiglia (edited by), "Artificial intelligence: methodology, systems and applications, 8th international conference, AIMSA'98: Sozopol, Bulgaria, September 21-23, 1998: proceedings", Berlin: Springer, 1998, 502 p. - (LNCS; 1480). - ISBN: 9783540649939
  • A. Chiappini ; A. Cimatti ; F. Giunchiglia ; G. Rotondo ; R. Sebastiani ; P. Traverso ; A. Villafiorita, "Formal Specication of the Radio Block Centre (RBC): First Part.", 1998, sponsored by: ITC-IRST e Ansaldo Segnalamento Ferroviario
  • A. Cimatti ; F. Giunchiglia ; G. Mongardi ; D. Romano ; F. Torielli ; P. Traverso, "Formal verification of a railway interlocking system using model checking" in FORMAL ASPECTS OF COMPUTING, v. 10, n. 4 (1998), p. 361-380
  • F. Giunchiglia ; C. Ghidini, "Local models semantics, or contextual reasoning = locality + compatibility": Morgan Kaufmann, 1998, p. 282-289. Proceedings of: 6th international conference on principles of knowledge representation and reasoning (KR'98), Trento, 2-5 June 1998. - URL: http://sra.itc.it/paper.epl?id=GG97b
  • M. Benerecetti ; F. Giunchiglia ; L. Serafini, "Model checking multiagent systems" in JOURNAL OF LOGIC AND COMPUTATION, v. 8, n. 3 (1998), p. 401-423
  • M. Benerecetti ; F. Giunchiglia ; L. Serafini, "Model checking multiagent systems: a preliminary report" in AIIA NOTIZIE, v. 11, n. 3 (1998), p. 38-44
  • A. Cimatti ; F. Giunchiglia ; G. Mongardi ; D. Romano ; F. Torielli ; P. Traverso, "Model checking safety-critical software with SPIN: an application to a railway interlocking system", Berlin, Heidelberg: Springer, 1998, p. 284-295. - (LNCS; 1516). Proceedings of: 17th international conference on computer safety, reliability and security (SAFECOMP'98), Heidelberg, 5-7 October 1998
  • E. Giunchiglia ; F. Giunchiglia ; R. Sebastiani ; A. Tacchella, "More evaluation of decision procedures for modal logics" in Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, San Francisco, Calif.: Morgan Kauffman, 1998, p. 626-635. Proceedings of: 6th international conference on principles of knowledge representation and reasoning (KR'98), Trento, 2-5 June 1998
  • F. GIUNCHIGLIA; BENERECETTI M., "Multiagent systems verification via model checking" in European workshop on validation and verification of knowledge-based systems, 1998
  • A. Cimatti ; E. Clarke ; F. Giunchiglia ; M. Roveri, "NUSMV: a reimplementation of SMV" in Proceedings of the International Workshop on Software Tools for Technology Transfer, Aarhus: Aarhus universitet. Department of computer science, 1998, p. 25-32. - (BRICS Notes Series). Proceedings of: International workshop on software tools for technology transfer (STTT'98), Aalborg, Denmark, 12-13 July 1998. - URL: http://www.brics.dk/NS/98/4/BRICS-NS-98-4.pdf
  • P. Bertoli ; J. Calmet ; F. Giunchiglia ; K. Homann, "Specification and integration of theorem provers and computer algebra systems", Berlin, Heidelberg: Springer, 1998, p. 94-106. - (LNCS; 1476). Proceedings of: International conference on artificial intelligence and symbolic computation (AISC'98), Plattsburgh, N.Y., 16-18 September 1998
  • HARTONAS-GARMHAUSEN V.; CAMPOS S.; CIMATTI A.; CLARKE E.; F. GIUNCHIGLIA, "Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints" in 28th annual international symposium on fault-tolerant computing (FTCS-28)", M¿nchen, 1998, p. 458-463
  • F. Giunchiglia ; P. Bouquet, "Verso una scienza epistemologica del senso comune: il progetto scientifico di John McCarthy" in F. Castellani, L. Montecucco (edited by), Normatività Logica e Ragionamento di Senso Comune, Bologna: Il mulino, 1998, p. 323-342
  • F. Giunchiglia ; C. Ghidini, "A local models semantics for propositional attitudes", 1997, p. 363-372. Proceedings of: 1st international and interdisciplinary conference on modeling and using context (CONTEXT'97), Rio de Janeiro, 4-6 February 1997
  • F. Giunchiglia; M. Roveri; R. Sebastiani, "A new method for testing decision procedures in modal logics" in Automated Deduction, Berlin, Heidelberg: Springer, 1997, p. 264-267. - (LNCS. LNAI). - ISBN: 3540631046. Proceedings of: CADE-14, Townsville, 13-17 July 1997
  • A. Cimatti ; F. Giunchiglia ; P. Pecchiari ; B. Pietra ; J. Profeta ; D. Romano ; P. Traverso ; B. Yu, "A provably correct embedded verifier for the certification of safety critical software": Springer, 1997, p. 202-213. Proceedings of: 9th international conference on computer-aided verification (CAV'97), Haifa, 22-25 June 1997. - URL: http://sra.itc.it/paper.epl?id=CGP%2B97
  • A. Bundy ; F. Giunchiglia ; A. Villafiorita ; T. Walsh, "Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem" in JOURNAL OF AUTOMATED REASONING, v. 19, (1997), p. 319-346
  • M. Benerecetti ; A. Cimatti ; E. Giunchiglia ; F. Giunchiglia ; L. Serafini, "Formal specification of beliefs in multi-agent systems" in Intelligent Agents III : Agent Theories, Architectures, and Languages: Proceedings, Berlin: Springer, 1997, p. 117-130. - (Lecture Notes in Computer Science). - ISBN: 9783540625070. Proceedings of: ECAI'96 Workshop on Agent Theories, Architectures and Languages (ATAL), Budapest, 12-13 August 1996
  • A. Cimatti ; F. Giunchiglia ; G. Mongardi ; B. Pietra ; D. Romano ; F. Torielli ; P. Traverso, "Formal validation & verification of software for railway control and protection systems: experimental applications in ANSALDO", 1997, p. 467-473. Proceedings of: World congress on railway research (WCRR'97), Firenze, 16-19 November 1997. - URL: http://sra.itc.it/paper.epl?id=CGM%2B97b
  • F. Giunchiglia ; P. Bouquet, "Introduction to contextual reasoning: an articial intelligence perspective" in B. Kokinov (edited by), Perspectives on cognitive science, Sofia: NBU Press, 1997, p. 138-159. - (NBU series in cognitive science; 3)
  • F. GIUNCHIGLIA, "Logica, Scienze Cognitive e Intelligenza Artificiale" in LETTERA MATEMATICA PRISTEM, v. 16, (1997), p. 18-21
  • A. Cimatti ; F. Giunchiglia ; G. Mongardi ; D. Romano ; F. Torielli ; P. Traverso, "Model checking safety critical software with SPIN: an application to a railway interlocking system" in Proceedings of the 3rd Spin Workshop (SPIN'97), 1997, p. 1-13. Proceedings of: 3rd Spin Workshop (SPIN'97), Enschede, The Netherlands, 5 April 1997. - URL: http://citeseer.ist.psu.edu/cimatti97model.html
  • A. Cimatti ; F. Giunchiglia ; E. Giunchiglia ; P. Traverso, "Planning via model checking: a decision procedure for AR": Springer, 1997, p. 130-142. Proceedings of: 4th European conference on planning (ECP'97), Toulouse, 24-26 September 1997. - URL: http://sra.itc.it/paper.epl?id=CGGT97b
  • F. Giunchiglia ; A. Villafiorita ; T. Walsh, "Theories of abstraction" in AI COMMUNICATIONS, v. 10, (1997)
  • F. Giunchiglia; R. Sebastiani; A. Villafiorita; T. Walsh, "A general purpose reasoner for abstraction" in Canadian Conference on Artificial Intelligence, BERLIN: Springer, 1996, p. 323-335. - (LNCS). - ISBN: 3540612912. Proceedings of: 11th biennial conference of the Canadian society for computational studies of intelligence on advances in artificial intelligence (AI'96), Toronto, 21-24 May 1996
  • F. Giunchiglia ; P. Traverso, "A metatheory of a mechanized object theory" in ARTIFICIAL INTELLIGENCE, v. 80, (1996), p. 197-241
  • F. Giunchiglia; M. Roveri; R. Sebastiani, "A new method for testing decision procedures in modal and terminological logics" in International Description Logics: Papers from the AAAI Workshop, Menlo Park, Calif.: AAAI press, 1996, p. 119-123. - (AAAI Technical Report). - ISBN: 9781577350149. Proceedings of: International Workshop on Description Logics (DL'96), Cambridge, Mass., 2-4 November 1996. - DOI: 10.1007/3-540-63104-6_26
  • F. Giunchiglia ; R. Sebastiani, "A SAT-based decision procedure for ALC" in Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), San Francisco, Calif.: Morgan Kaufmann, 1996, p. 304-314. - ISBN: 1558604219. Proceedings of: 5th international conference on principles of knowledge representation and reasoning (KR'96), Cambridge, Mass., 5-8 November 1996
  • F. Giunchiglia ; A. Villafiorita, "ABSFOL: a proof checker with abstraction": Springer, 1996, p. 136-140. Proceedings of: 13th international conference on automated deduction (CADE-13), New Brunswick, N.J., July 30 - August 3 1996. - URL: http://sra.itc.it/paper.epl?id=GV96
  • F. Giunchiglia ; R. Sebastiani, "An SAT-based decision procedure for ALC" in Proceedings of the 1996 International Workshop on Description Logics, Berlin: AAAI Press, 1996, p. 49-59. - ISBN: 1577350146. Proceedings of: International workshop on description logics (DL'96), Cambridge, Mass., 2-4 November 1996
  • E. Giunchiglia ; F. Giunchiglia ; L. Serafini, "Belief as context based reasoning", 1996, p. 48-58. Proceedings of: 3rd symposium on logical formalizations of commonsense reasoning (COMMON SENSE'96), Stanford University, Calif., 6-8 January 1996
  • F. Giunchiglia ; R. Sebastiani, "Building decision procedures for modal logics from propositional decision procedures: the case study of modal K" in 13th International Conference on Automated Deduction, Berlin: Springer, 1996, p. 583-597. - (LNCS). - ISBN: 3540615113. Proceedings of: 13th international conference on automated deduction (CADE-13), New Brunswick, N.J., 30 July - 3 August 1996
  • A. Bundy ; F. Giunchiglia ; R. Sebastiani ; T. Walsh, "Calculating criticalities" in ARTIFICIAL INTELLIGENCE, v. 88, (1996), p. 39-67. - DOI: 10.1016/S0004-3702(96)00019-7
  • F. GIUNCHIGLIA; SEBASTIANI R., "Calculating criticalities" in ARTIFICIAL INTELLIGENCE, v. 88, (1996), p. 39-67
  • A. Bundy ; F. Giunchiglia ; R. Sebastiani ; T. Walsh, "Computing abstraction hierarchies by numerical simulation" in Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of ArtificialIntelligence Conference, Menlo Park (CA): AAAI Press/The MIT Press, 1996, p. 523-529. - ISBN: 026251091X. Proceedings of: 13th national conference on artificial intelligence and the 8th innovative applications of artificial intelligence conference, Portland (OR), 4th-8th August 1996. - URL: http://www.aaai.org/Press/Proceedings/AAAI/1996/aaai96.html
  • M. Benerecetti ; A. Cimatti ; E. Giunchiglia ; F. Giunchiglia ; L. Serafini, "Context-based formal specification of multi-agent systems", 1996, p. 295-307. Proceedings of: ECAI'96 3rd International Workshop on Agent Theories, Architectures and Languages (ATAL), Budapest, 12-13 August 1996
  • P. Bouquet ; E. Giunchiglia ; F. Giunchiglia, "Contexts, locality and generality" in MATHWARE & SOFT COMPUTING, v. 3, n. 1-2 (1996), p. 47-57
  • F. Giunchiglia ; E. Giunchiglia ; T. Costello ; P. Bouquet, "Dealing with Expected and Unexpected Obstacles" in JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, v. 8, (1996), p. 173-190
  • E. Giunchiglia ; F. Giunchiglia, "Ideal and real belief about belief": Springer, 1996, p. 261-275. Proceedings of: International conference on formal and applied practical reasoning (FAPR'96), Bonn, 3-7 June 1996
  • F. Giunchiglia ; E. Giunchiglia, "Ideal and real belief about belief: some intuitions" in Agents Breaking Away: Proceedings, Berlin: Springer, 1996, p. 1-12. - (Lecture Notes in Computer Science). - ISBN: 9783540608523. Proceedings of: 7th European workshop on modelling autonomous agents in a multi-agent world (MAAMAW'96), Eindhoven, The Netherlands, 22-25 January 1996
  • A. Villafiorita ; F. Giunchiglia, "Inductive theorem proving via abstraction", 1996, p. 150-153. Proceedings of: 4th international symposium on artificial intelligence and mathematics (AI/MATH-96), Marina Marriott, Fort Lauderdale, Fla., 3-5 January 1996
  • F. Giunchiglia ; P. Traverso, "Program tactics and logic tactics." in ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE, v. 17, (1996), p. 235-259
  • F. Giunchiglia ; P. Traverso ; L. Spalazzi, "Reasoning about acting, sensing and failure handling: a logic for agents embedded in the real world" in Intelligent Agents II : Agent Theories, Architectures and Languages: Proceedings, Berlin: Springer, 1996, p. 65-78. - (Lecture Notes in Computer Science). - ISBN: 9783540608059. Proceedings of: Workshop on Agent Theories, Architectures and Languages (ATAL '95), Montreal, 19-20 August 1995. - URL: http://sra.itc.it/paper.epl?id=TSG95
  • F. Giunchiglia ; P. Pecchiari ; C. Talcott, "Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems" in Applied Logic Series, Vol. 3: Kluwer Academic Publishers,Franz Baader and Klaus U. Schulz (Editors), 1996. Proceedings of: FroCoS'96 - Frontiers of Combining Systems First International Workshop, Munich, Germany, 26-29 March, 1996
  • F. Giunchiglia ; P. Pecchiari ; A. Armando, "Towards provably correct system synthesis and extension" in FUTURE GENERATION COMPUTER SYSTEMS, v. 12, (1996), p. 123-137
  • E. Giunchiglia ; F. Giunchiglia ; L. Serafini, "Agents as reasoners, observers or believers": Springer, 1995, p. 414-425. Proceedings of: 4th congress of the Italian association for artificial intelligence (AI*IA'95), Firenze, 11-13 October 1995
  • F. Giunchiglia, "An epistemological science of common sense" in ARTIFICIAL INTELLIGENCE, v. 77, (1995), p. 371-392
  • F. Giunchiglia, "Logica, scienze cognitive e intelligenza artificiale" in LETTERA MATEMATICA PRISTEM, v. 16, (1995), p. 18-21
  • R. Sebastiani ; A. Villafiorita ; F. Giunchiglia, "Proving theorems by using abstraction interactively" in Journal of Automated Reasoning, New York: Acm, 1995, p. 37-48. Proceedings of: 2nd international round-table on abstract intelligent agent: situation assessment (AIA'94), Roma, 23-25 February 1994
  • P. Bouquet ; F. Giunchiglia, "Reasoning about theory adequacy: a new solution to the qualification problem" in FUNDAMENTA INFORMATICAE, v. 23, (1995), p. 247-262
  • F. Giunchiglia ; P. Bouquet, "Reasoning about theory formulation and reformulation: a new solution to the qualifation problem": Angkor, 1995, p. 39-50. Proceedings of: 2nd world conference on the fundamentals of artificial intelligence (WOCFAI'95), Paris, 3-7 July 1995
  • A. Cimatti ; F. Giunchiglia ; R. W. Weyhrauch, "A many sorted natural deduction" in From Theorem Provers to Mathematical Assistants, Amsterdam: [s.n.], 1994, p. 3-14. Proceedings of: Workshop From Theorem Provers to Mathematical Assistants, Amsterdam, 8-12 August 1994
  • F. Giunchiglia ; P. Traverso, "A system for multi-level mathematical reasoning": Clarendon Press, 1994, p. 119-134. Proceedings of: International conference on artificial intelligence in mathematics, Oxford, April 1991
  • A. Armando ; A. Cimatti ; F. Giunchiglia ; P. Traverso, "First steps towards correct system synthesis of system code" in Proceedings of CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems, 1994. Proceedings of: Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems, Nancy, France, 26 June 1994
  • F. Giunchiglia ; A. Cimatti, "Introspective Metatheoretic Reasoning" in Logic Program Synthesis and Transformation, Meta-Programming in Logic: Proceedings, Berlin: Springer, 1994, p. 425-439. - (Lecture Notes in Computer Science). - ISBN: 9783540587927. Proceedings of: 4th International Workshops on Logic Programming Synthesis and Transformation (LOPSTR'94) and Metaprogramming in Logic (META'94), Pisa, 20-21 June 1994
  • C. Ghidini ; F. Giunchiglia, "Local world semantics", 1994, p. 29-32. Proceedings of: 2. incontro del gruppo di lavoro della AI*IA su aspetti epistemologici e gnoseologici dell'inteligenza artificiale, Parma, 26-28 settembre 1994
  • F. Giunchiglia, "Logica, scienze cognitive e intelligenza artificiale -- alcune considerazioni": ETS, 1994, p. 777-785. Proceedings of: Logica e filosofia della scienza: problemi e prospettive, Lucca, 7-10 gennaio 1993
  • F. Giunchiglia ; L. Serafini, "Multilanguage hierarchical logics, or: How we can do without modal logics." in ARTIFICIAL INTELLIGENCE, v. 1, (1994), p. 29-70
  • F. Giunchiglia ; L. Spalazzi ; P. Traverso, "Planning with failure": AAAI, 1994, p. 74-79. Proceedings of: 2nd international conference on artificial intelligence planning systems (AIPS'94), Chicago, Ill., 13 -15 June 1994
  • D. Basin ; F. Giunchiglia ; M. Kaufmann (Ed. critica a cura di), Proceedings CADE-12 Workshop on correctness and metatheoretic extensibility of automated reasoning systems, Trento: Istituto trentino di cultura, 1994
  • F. Giunchiglia ; P. Traverso, "Program tactics and logic tactics": Springer, 1994, p. 16-30. Proceedings of: 5th international conference on logic programming and automated reasoning (LPAR'94), Kiev, 16-22 July 1994
  • R. Sebastiani ; M. Di Manzo ; F. Giunchiglia, "Using abstraction interactively" in Proceedings of the Workshop on Theory Reformulation and Abstraction, Berlino: Springer, 1994, p. 39-55. Proceedings of: Workshop on theory reformulation and abstraction, Jackson Hole, Wyo., 22-24 May 1994
  • F. Giunchiglia, "Contextual Reasoning" in Using knowledge in its context : workshop, Paris: Institut Blaise Pascal, 1993, p. 39-49. Proceedings of: Workshop on Using Knowledge in its Context, Chambery, Francia, 29 August - 3 September 1993
  • F. Giunchiglia, "Contextual reasoning" in EPISTEMOLOGIA, v. 16, (1993), p. 145-164
  • F. Giunchiglia ; E. Giunchiglia ; T. Costello ; P. Bouquet, "Dealing with expected and unexpected obstacles", 1993, p. 63-73. Proceedings of: 2nd symposium on logical formalizations of common sense reasoning, Austin, Tex., 1993
  • F. Giunchiglia ; P. Traverso ; A. Cimatti ; L. Spalazzi ; S. Dalbosco ; L. Serafini ; E. Giunchiglia ; A. Armando ; P. Pecchiari, "MRG: sistema di ragionamento" in AUTOMAZIONE E STRUMENTAZIONE, v. 41, n. 9 (1993), p. 97-103
  • F. GIUNCHIGLIA; TRAVERSO P.; CIMATTI A.; SPALAZZI L.; DALBOSCO S.; ARMANDO A.; PECCHIARI P., "MRG: sistema di ragionamento" in AUTOMAZIONE E STRUMENTAZIONE, v. 41, (1993), p. 97-103
  • F. Giunchiglia ; P. Traverso ; A. Cimatti ; L. Spalazzi ; S. Dalbosco ; L. Serafini ; E. Giunchiglia ; A. Armando ; P. Pecchiari, "MRG: un nucleo di ragionamento per un sistema integrato multi-funzionale" in SISTEMI INTELLIGENTI, v. 5, (1993), p. 435-460
  • E. Giunchiglia ; P. Traverso ; F. Giunchiglia, "Multi-Context Systems as a Specification Framework for Complex Reasoning Systems" in Formal Specification of Complex Reasoning Systems, Chichester ; New York, N.Y.: Horwood, 1993, p. 43-68. - (Ellis Horwood Workshops). - ISBN: 133367851. Proceedings of: International Workshop on Formal Specification Methods for Complex Reasoning Systems, Wien, 3 August 1992
  • F. Giunchiglia ; L. Serafini ; E. Giunchiglia ; M. Frixione, "Non-omniscient belief as context-based reasoning": Morgan Kaufmann, 1993, p. 548-554. Proceedings of: 13th International joint conference on artificial intelligence (IJCAI'93), Chambéry, 28 August - 3 September 1993
  • F. Giunchiglia ; T. Walsh, "The inevitability of inconsistent abstract spaces" in JOURNAL OF AUTOMATED REASONING, v. 11, (1993), p. 23-41
  • F. Giunchiglia ; P. Traverso ; A. Cimatti ; P. Pecchiari, "A system for multi-level reasoning" in Proceedings IMSA'92 International Workshop on Reflection and Meta-Level Architecture, 1992, p. 190-195. Proceedings of: International Workshop on New Models for Software Architecture '92: Reflection and Meta-Level Architecture (IMSA'92), Tokyo, 4-7 November 1992
  • F. GIUNCHIGLIA, "A theory of abstraction" in ARTIFICIAL INTELLIGENCE, v. 57, (1992), p. 323-389
  • F. Giunchiglia ; T. Walsh, "A theory of abstraction." in ARTIFICIAL INTELLIGENCE, v. 57, n. 2-3 (1992), p. 323-389
  • F. Giunchiglia ; T. Walsh, "An abstract proof checker", 1992. Proceedings of: 2nd international symposium on artificial intelligence and mathematics, Fort Lauderdale, Fla., 5-8 January 1992
  • F. Giunchiglia ; L. Serafini, "Hierarchical meta-logics for belief and provability: how we can do without modal logics", 1992, p. 198-205. Proceedings of: 9th Canadian conference on artificial intelligence (AI'92), Vancouver, 11-15 May 1992. - URL: http://sra.itc.it/paper.epl?id=GS91b
  • F. Giunchiglia ; L. Serafini ; A. K. Simpson, "Hierarchical meta-logics: intuitions, proof theory and semantics" in Meta-Programming in Logic: Proceedings, Berlin: Springer, 1992, p. 235-249. - (Lecture Notes in Computer Science). - ISBN: 9783540562825. Proceedings of: 3rd International Workshop on Meta-Programming in Logic (META'92), Uppsala, 10-12 June 1992
  • F. Giunchiglia ; P. Traverso ; A. Cimatti ; L. Spalazzi ; S. Dalbosco ; L. Serafini ; E. Giunchiglia ; A. Armando ; P. Pecchiari, "MRG: un nucleo di ragionamento per un sistema integrato multi-funzionale": Pirella, 1992, p. 620-633. Proceedings of: 36th ANIPLA annual conference (Automation 1992), Genova, 16-18 November 1992
  • F. Giunchiglia ; A. Cimatti ; S. Dalbosco ; P. Traverso ; L. Spalazzi ; R. Zoppoli, "MRG: un sistema di ragionamento distribuito per applicazioni complesse", 1992, p. 37-40. Proceedings of: 2. incontro del gruppo AI*IA di interesse speciale su intelligenza artificiale distribuita, Roma, maggio 1992
  • F. Giunchiglia ; L. Serafini, "Multilanguage hierarchical logics (or: how we can do without modal logics)", 1992, p. 44-45. Proceedings of: 1st compulog net meeting on knowledge bases (CNKBS'92), München, 6-7 February 1992
  • F. Giunchiglia ; A. Cimatti ; P. Traverso, "Planning as tactical reasoning": IEEE computer society press, 1992, p. 80-85. Proceedings of: AI simulation and planning in high autonomy systems (AIS'92), Perth, July 1992. - URL: http://sra.itc.it/paper.epl?id=CGT91
  • F. Giunchiglia ; P. Traverso ; A. Cimatti ; L. Spalazzi, "Tactics: extending the notion of plan", 1992, p. 1-11. Proceedings of: Beyond sequential planning, Wien, 4 August 1992
  • F. Giunchiglia ; T. Walsh, "Theories of abstraction: a historical perspective", 1992, p. 85-89. Proceedings of: Workshop on Approximation and Abstraction of Computational Theories (AACT'92), San Josè, Calif., 13 July 1992
  • F. Giunchiglia ; T. Walsh, "Tree subsumption: reasoning with outlines": John Wiley and sons, 1992, p. 77-81. Proceedings of: 10th European conference on artificial intelligence (ECAI'92), Vienna, 3-7 August 1992
  • F. Giunchiglia ; C. Ferrari ; P. Traverso ; E. Trucco, "Understanding scene descriptions by integrating different sources of knowledge" in INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, v. 37, (1992), p. 47-81
  • D. A. Basin ; F. Giunchiglia ; P. Traverso, "Automating meta-theory creation and system extension": Springer, 1991, p. 48-57. Proceedings of: 2nd congress of the Italian association for artificial intelligence (AI*IA 91), Palermo, 29-31 October 1991
  • F. Giunchiglia ; P. Traverso ; L. Serafini, "La deduzione automatica" in SISTEMI INTELLIGENTI, v. 3, n. 1 (1991), p. 37-66
  • F. GIUNCHIGLIA; TRAVERSO P., "La deduzione automatica" in SISTEMI INTELLIGENTI, v. 3, (1991), p. 37-66
  • F. Giunchiglia ; L. Serafini, "Multilanguage first order theories of propositional attitudes": IOS Press, 1991, p. 228-240. Proceedings of: 3rd Scandinavian conference on artificial intelligence (SCAI'91), Roskilde University, 21-24 May 1991
  • F. Giunchiglia ; L. Serafini, "Multilanguage hierarchical logics", 1991. Proceedings of: 2nd Bar-Ilan symposium on the foundation of artificial intelligence (BISFAI'91, Ramat Gan, 16-19 June 1991
  • F. Giunchiglia, "Multilanguage systems", 1991, p. 70-79. Proceedings of: Spring symposium on logical formalizations of commonsense reasoning : evaluating existing formalisms and moving on to new domains (AAAI'91), Stanford University, Ca., 26-28 March 1991
  • F. Giunchiglia ; P. Traverso, "Reflective reasoning with and between a declarative metatheory and the implementation code": Morgan Kaufmann, 1991, p. 111-117. Proceedings of: 12th international joint conference on artificial intelligence (IJCAI'91), Sydney, 24-30 August 1991
  • F. Giunchiglia ; T. Walsh, "Using abstraction": Springer, 1991, p. 225-234. Proceedings of: 8th conference of the Society for the study of artificial intelligence and simulation of behaviour (AISB'91), University of Leeds, 16-19 April 1991
  • F. Giunchiglia ; T. Walsh, "Abstraction in AI" in AISB QUARTERLY, n. 73 (1990), p. 22-26
  • F. GIUNCHIGLIA, "Abstraction in AI" in AISB QUARTERLY, v. 73, (1990), p. 22-26
  • A. Bundy ; F. Giunchiglia ; T. Walsh, "Building Abstractions" in Working Notes of AAAI Workshop on Automatic Generation of Approximations and Abstractions, 1990, p. 221-232. - (DAI Research Paper). Proceedings of: Automatic Generation of Approximations and Abstractions, Boston (MA), July 29 - August 3 1990
  • F. Giunchiglia ; P. Traverso, "Plan Formation and Execution in an Uniform Architecture of Declarative Metatheories" in Proceedings of the second Workshop on Meta-Programming in Logic, Leuven: University of Leuven. Department of computer science, 1990, p. 306-322. Proceedings of: 2nd Workshop on Meta-Programming in Logic (META'90), Leuven, 4-6 April 1990
  • F. Giunchiglia ; T. Walsh, "The use of abstraction in automatic inference": IEEE, 1990, p. 365-370. Proceedings of: UKonference on information technology (UK IT 1990), Southampton, 19-22 March 1990. - URL: http://ieeexplore.ieee.org/xpl/tocresult.jsp?isNumber=3373&page=3
  • F. Giunchiglia ; T. Walsh, "Abstract theorem proving": Morgan Kaufmann, 1989, p. 372-377. Proceedings of: 11th international joint conference on artificial intelligence (IJCAI'89), Detroit, Mich., 20-25 August 1989
  • F. Giunchiglia ; T. Walsh, "Abstracting into inconsistent spaces (or the false proof problem)": Cenfor international books, 1989, p. 233-239. Proceedings of: 1. congresso della associazione italiana per l'intelligenza artificiale (AI*IA 89), Trento, 8-10 novembre 1989
  • F. Giunchiglia ; D. Dimanzo ; E. Trucco ; F. Ricci, "FUR: Understanding FUnctional Reasoning" in INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, v. 4, (1989), p. 431-457
  • F. Giunchiglia ; D. Tezza ; E. Giunchiglia, "Ragionamento non monotono: metodologie e prospettive di ricerca" in AIIA NOTIZIE, v. 2, n. 2 (1989), p. 9-26
  • F. Giunchiglia ; A. Smaill, "Reflection in Constructive and Non-Constructive Automated Reasoning" in Meta-Programming in Logic Programming, Cambridge, Mass. ; London: MIT press, 1989, p. 123-140. - (Logic Programming, ISSN 1061-0464). - ISBN: 9780262510479. Proceedings of: Workshop on Metaprogramming in Logic Programming (META 88), University of Bristol, 22-24 June 1988
  • F. Giunchiglia ; T. Walsh, "Theorem proving with definitions": Pitman & Morgan Kaufmann, 1989, p. 175-183. Proceedings of: 7th conference of the Society for the study of artificial intelligence and simulation of behaviour (AISB'89), University of Sussex, 18-21 April 1989
  • F. GIUNCHIGLIA; SEBASTIANI R., "A Metatheory of a Mechanized Object Theory" in ARTIFICIAL INTELLIGENCE, (1988), p. 39-67
  • F. Giunchiglia ; R. W. Weyhrauch, "A multi-context monotonic axiomatization of inessential non-monotonicity" in P. Maes, D. Nardi (edited by), Meta-level architectures and reflection, Amsterdam ; London ; New York, N.Y.: North-Holland, 1988, p. 271-285. - ISBN: 9780444703439
  • F. Giunchiglia ; E. Giunchiglia, "Building complex derived inference rules: a decider for the class of prenex universal-existential formulas": Pitman Publishing, 1988, p. 607-609. Proceedings of: 8th European conference on artificial intelligence (ECAI'88), Munich, 1-5 August 1988
  • C. Ferrari ; F. Giunchiglia ; M. Pilotto, "NALIG: un sistema per la generazione di scene tridimensionali" in SISTEMI E AUTOMAZIONE, v. 34, (1988), p. 37-46
  • A. Bundy ; D. Sannella ; R. Desimone ; F. Giunchiglia ; F. Van Harmelen ; J. Hesketh ; P. Madden ; A. Smaill ; A. Stevens ; L. Wallen, "Proving properties of logic programs: a progress report": IEE, 1988, p. 131-134. Proceedings of: UK IT 88, Swansea, 1988
  • F. Giunchiglia ; A. Giordano ; M. Maresca ; D. Tezza, "A debugging tool in a multiprocessor environment": ACTA press, 1987, p. 450-452. Proceedings of: IASTED international symposium on modelling, identification and control, Grindelwald, 17-20 February 1987
  • DI MANZO M.; F. GIUNCHIGLIA, "A first order theory of common sense object positioning" in COMPUTERS IN INDUSTRY, v. 7, (1987), p. 257-262
  • F. Giunchiglia ; A. Giordano ; M. Maresca ; T. Vernazza, "Evaluation of a multiprocessor structure for image processing" in MICROPROCESSING AND MICROPROGRAMMING, v. 19, (1987), p. 5-17
  • F. Giunchiglia, "Kyoto common lisp: a high level language implementation of common lisp on general purpose machines": Computer society Press of the IEEE, 1987, p. 124-127. Proceedings of: 32nd IEEE computer society international conference (Compcon spring 87), San Francisco, CA, 23-27 February 1987
  • M. Pilotto ; F. Giunchiglia ; C. Ferrari, "OBJMAKE: un modellatore geometrico e funzionale per grafica interattiva": Marcombo, 1987, p. 606-623. Proceedings of: CIL 87: convenció informàtica llatina, Barcelona, 17-20 March 1987
  • M. Di Manzo ; E. Lucchelli ; F. Giunchiglia ; E. Trucco, "Strings manipulation using qualitative reasoning" in D. Sriram, R. Adey (edited by), Artificial intelligence in engineering: tools and techniques, Southampton: Computational mechanics, 1987, p. 307-319. - ISBN: 9780893914943
  • M. Di Manzo ; E. Lucchelli ; F. Giunchiglia ; E. Trucco, "Strings manipulation using qualitative reasoning", 1987. Proceedings of: 2nd international conference on the applications of artificial intelligence in engineering, Boston, Mass., 4-7 August 1987
  • M. Di Manzo ; F. Giunchiglia ; E. Trucco ; F. Ricci, "The FUR project:: understanding functional reasoning" in V. Cantoni, V. Di Gesù, S. Levialdi (edited by), Image analysis and processing II, London ; New York, N.Y.: Plenum press, 1987, p. 129-135
  • M. Di Manzo ; F. Giunchiglia, "A first order theory of common sense object positioning" in COMPUTERS IN INDUSTRY, v. 7, (1986), p. 257-262
  • C. Ferrari ; F. Giunchiglia ; M. Pilotto, "Dall'analisi della descrizione alla generazione delle immagini", 1986, p. 179-186. Proceedings of: Congresso annuale XXV dalla fondazione AICA, Palermo, 24-26 settembre 1986
  • F. Giunchiglia ; M. Di Manzo ; G. Adorni, "Reasoning about scene descriptions" in PROCEEDINGS OF THE IEEE, v. 74, n. 7 (1986), p. 1013-1025
  • A. Boccalatte ; M. Di Manzo ; F. Giunchiglia, "A fault tolerant architecture for the control of industrial plants", 1985, p. 403-414. Proceedings of: 3rd bilateral meeting GDR-Italy, Berlin, 19-21 February 1985
  • F. Giunchiglia ; M. Di Manzo, "A representation of space for knowledge-based scene generation": Cesta, 1985, p. 177-182. Proceedings of: Cognitiva 85, Paris, 4-7 June 1985
  • A. Alloisio ; M. Di Manzo ; F. Giunchiglia, "An user friendly interactive graphic system for scene generation": ACTA press, 1985, p. 32-35. Proceedings of: 7th IASTED international symposium robotics and automation, Lugano, 24-26 June 1985
  • M. Di Manzo ; G. Adorni ; F. Giunchiglia ; F. Ricci, "Building functional descriptions": IFS Ltd, 1985, p. 403-412. Proceedings of: 5th international conference on robot vision and sensory controls (ROVISEC 5), Amsterdam, 29-31 October 1985
  • A. Boccalatte ; F. Giunchiglia ; R. Maggioncalda, "Evaluation of the performance of a distributed system for industrial control": Universidad autonoma de Barcelona, 1985, p. 211-214. Proceedings of: International symposium on mini and microcomputers and their applications (MIMI'85), Sant Feliu, 25-28 June 1985
  • A. Boccalatte ; M. Di Manzo ; F. Giunchiglia, "Fault tolerant computing for industrial control applications", 1985, p. 63-66. Proceedings of: International symposium on mini and microcomputers and their applications (MIMI'85), Sant Feliu, 25-28 June 1985
  • M. Di Manzo ; F. Giunchiglia ; M. Maresca, "IDEM*: an interactive approach to multitask multiprocessor debugging": Marcombo, 1985, p. 804-820. Proceedings of: Convenció informàtica llatina (CIL 85), Barcelona, 16-19 April 1985
  • F. Giunchiglia ; M. Di Manzo, "Space as a linguistic variable", 1985. Proceedings of: 1st IFSA congress, Palma De Mallorca, 1-6 July 1985
  • F. Giunchiglia ; M. Di Manzo ; E. Pino, "Space representation and object positioning in natural language driven image generation": North-Holland, 1985, p. 207-214. Proceedings of: International conference on artificial intelligence: methodology, systems, applications (AIMSA '84), Varna, 17-20 September 1984
  • F. Giunchiglia ; M. Pilotto ; P. Traverso, "Un sistema a produzioni per l'analisi di descrizioni di scene", 1985. Proceedings of: Congresso AICA, Firenze, ottobre 1985
  • F. Giunchiglia ; M. Pilotto ; A. Viacava, "Un sistema per la generazione automatica di scenografie", 1985, p. 31/12/1899 0.01.00-31/12/1899 0.12.00. Proceedings of: Aicographics 1985, Milano, November 1985
  • G. Adorni ; M. Di Manzo ; F. Giunchiglia ; L. Massone, "A conceptual approach to artificial vision": IFS Ltd; North-Holland, 1984, p. 331-340. Proceedings of: 4th international conference on robot vision and sensory controls (ROVISEC 4), London, 9-11 October 1984
  • G. Adorni ; M. Di Manzo ; F. Giunchiglia, "Adaptive natural language generation" in I. Plander (edited by), Artificial intelligence and information-Control systems of robots, Amsterdam [etc.]: Elsevier science, 1984, p. 77-80
  • G. Adorni ; M. Di Manzo ; F. Giunchiglia, "From descriptions to images: what reasoning in between?": Elsevier Science Publishers, 1984, p. 359-368. Proceedings of: 6th European conference on artificial intelligence (ECAI'84), Pisa, 5-7 September 1984
  • G. Adorni ; M. Di Manzo ; F. Giunchiglia, "Natural language driven image generation", 1984, p. 495-500. Proceedings of: 10th international conference on computational linguistics (COLING'84 ), Stanford, CA, 2-6 July 1984
  • F. Giunchiglia ; M. Di Manzo, "Reasoning about scene descriptions in natural language", 1984. Proceedings of: Workshop and conference on applied AI and knowledge-based expert systems, Stockholm, 29-30 November 1984
  • G. Adorni ; M. Di Manzo ; F. Giunchiglia, "Some basic mechanisms for common sense reasoning about stories environments": Kaufmann, 1983, p. 72-74. Proceedings of: 8th international joint conference on artificial intelligence(IJCAI'83), Karlsruhe, 8-12 August 1983