Research Outputs - Fausto Giunchiglia

IT | EN

mappa

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 - see details
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 - see details
J.Stottinger, J. Uijlings, A. K. Pandey, N. Sebe, F. Giunchiglia, "(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 - see details
F. Giunchiglia, B. Dutta, V. Maltese, F. Farazi, "A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology" in JOURNAL ON DATA SEMANTICS, v. 2012, n. 1 (2012), p. 57-73 - see details
R. Chenu, M. Menendez, F. Giunchiglia, A. De Angeli, "An entity-based platform for the integration of social and scientific services" in IEEE , Pittsburgh, PA: IEEE, 2012, p. 165-174. Proceedings of: CollaborateCom, Pittsburgh, PA, 14-17/10/2012 - see details
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 - see details
F. Giunchiglia, V. Maltese, B. Dutta, "Domains and Context: First Steps Towards Managing Diversity in Knowledge" in JOURNAL OF WEB SEMANTICS, v. 2012, (2012). - DOI: 10.1016/j.websem.2011.11.007 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
R. De Virgilio, F. Giunchiglia, F. Guerra, L. Tanca, Y. Velegrakis (edited by), "Special Issue on Semantic Web Data Management", New York: Elsevier, 2012, 99 p. - (Information Systems; 37 (4)) - see details
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 ; 6631). - ISBN: 9783642206290. Proceedings of: 4th International Conference GeoS 2011, Brest, Francia, 12-13/06/2011. - DOI: 10.1007/978-3-642-20630-6_9 - see details
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 ; 6644). - ISBN: 9783642210648. Proceedings of: ESWC 2011, Heraklion, Grecia, 30/5/11-3/6/11. - DOI: 10.1007/978-3-642-21064-8_12 - see details
F. Giunchiglia, B. Crispo, R Zhang, "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 - see details
P. Andrews, J. Paniagua, F. Giunchiglia, "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 - see details
I. Tankoyeu, J. Paniagua, J. Stottinger, F. Giunchiglia, "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). - ISBN: 9781450309967. Proceedings of: ACM SRED, Scottsdale, Arizona, 28/11/2011-1/12/2011 - see details
Pil Ho Kim, F. Giunchiglia, "Lifelog Event Management: Crowd Research Case Study" in EiMM 2011, New York: ACM, 2011. - ISBN: 9781450309967. Proceedings of: 3rd ACM Workshop on Events in Multimedia, Scottsdale, Arizona, 28/11/2011-1/12/2011. - DOI: 10.1145/2072508.2072518 - see details
F. Giunchiglia, U. Kharkevich, A. Hume, "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 - see details
I. Tankoyeu, J. Paniagua, J. Stottinger, F. Giunchiglia, "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. - ISBN: 978-3-00-038754-8. Proceedings of: 7th Russian-Bavarian Conference, Erlangen, Germany, 10-14/10/2011 - see details
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. - ISBN: 9781450305181. Proceedings of: 4th International Semantic Search Workshop, Hyderabad, India, 29 March 2011. - URL: http://km.aifb.kit.edu/ws/semsearch11/12.pdf - see details
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 - see details
F. Giunchiglia, V. Maltese, "Ontologie leggere a faccette" in AIDA INFORMAZIONI, v. Anno 28 , n. n. 1-2 (2010), p. 87-107 - see details
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 - see details
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 - see details
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; 6427). Proceedings of: ODBASE 2010, Hersonissos, Greece, 25th-29th October 2010. - DOI: 10.1007/978-3-642-16949-6_28 - see details
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 - see details
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 - see details
R. Virgilio, F. Giunchiglia, L. Tanca (edited by), "Semantic Web Information Management: Model-Based perspective", Berlin: SPRINGER, 2010, 549 p. - ISBN: 9783642043284 - see details
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 - see details
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 - see details
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 - see details
F. Giunchiglia, M. Yatskeich, P. Avesani, P. Shvaiko, "A Large Scale Dataset for the Evaluation of Ontology Matching Systems" in KNOWLEDGE ENGINEERING REVIEW, v. number 2, n. 24 (2009), p. 137-157 - see details
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, p. - . Proceedings of: CSWS09, Nanjing (China), September 2009 - see details
F. Giunchiglia, V. Maltese, A. Autayeu, "Computing minimal mappings" in ISWC Ontology Matching Workshop (OM 2009), Germania: Springer, 2009, p. - . Proceedings of: Computing minimal mappings”,, Washington (DC), 25th October 2009 - see details
F. Giunchiglia, U. Kharkevich, I. Zaihrayeu, "Concept search" in Processing of ESWC'09, Lecture Notes in Computer Science, Germania: Springer, 2009, p. - . Proceedings of: ESWC'09, xx, xx - see details
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 ; 5600) - see details
G. Boato, C. Fontanari, F. Giunchiglia, F.G.B. De Natale, "Glocal Multimedia Retrieval" - Technical Report DISI 09-002, 2009, 6 p. - URL: http://eprints.biblio.unitn.it/archive/00001538/01/002.pdf - see details
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, p. - . Proceedings of: First Natural Language Processing for Digital Libraries Workshop, Viareggio, - see details
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, p. - . Proceedings of: ICSD 2009, Trento, 8th-11th September 2009, - see details
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; 4891). - DOI: 10.1007/978-3-54089784-2_4 - see details
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, p. - . Proceedings of: The First International Workshop on Living Web: Makakaking Web Diversity a True Asset, Washington (DC), 25th October 2009 - see details
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 - see details
F. Giunchiglia, U. Kharkevich, H.S. R. 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, p. - . Proceedings of: Semantic Search 2009 workshop (SemSearch2009), Madrid, April 2009 - see details
F. Giunchiglia, P. Shvaiko, M. Yatskevich, "Semantic Matching" in L. Liu, M. Özsu, M. Tamer (edited by), Encyclopedia of Database Systems, Germania: Springer, 2009, p. - . - ISBN: 9780387496160. - URL: http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-0-387-49616-0 - see details
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 - see details
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 - see details
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 - see details
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, p. - . Proceedings of: DL2009, Oxford , July 2009 - see details
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), : IOS press, 2008, p. 743-744. Proceedings of: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, June 2008 - see details
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. [n.d.]-[n.d]. Proceedings of: ODBASE 2008, Monterrey, Mexico, 1st November 2008 - see details
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 - see details
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, Busan, Korea, November 11-15, 2007, USA: Springer, 2008, p. 623-636 -(LNCS; 4825). Proceedings of: ISWC + ASWC 2007, Busan, Korea, November, 2007 - see details
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 - see details
F. Giunchiglia, I. Zaihrayeu, "Lightweight Ontologies" in Encyclopedia of Database Systems, Germania: Springer Verlag, 2008, p. 1613-1619. Proceedings of: OM 2008, germania, 2008 - see details
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 - see details
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 - see details
A. Ivanyukovich, M. Marchese, F. Giunchiglia, "ScienceTreks: an autonomous digital library system" in ONLINE INFORMATION REVIEW, v. 32, n. 4 (2008) - see details
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 - see details
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 - see details
F. Casati, F. Giunchiglia, M. Marchese, ""Publish and perish", UBIQUITY, an ACM IT MAGAZINE AND FORUM, 2007, V. 8, N. 3", 2007 - see details
F. Giunchiglia, M. Yatskevich, P. Shvaiko, ""Semantic Matching: Algorithms and Implementation"" in Journal on Data Semantics, 2007, p. 1-38 - see details
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 - see details
F. Giunchiglia, M. Marchese, I. Zaihrayeu, "Encoding Classifications into Lightweight Ontologies" in JOURNAL ON DATA SEMANTICS, v. 8, n. xx (2007), p. 57-81 - see details
F. Giunchiglia, M. Marchese, I. Zaihrayeu, "Encoding Classifications into Lightweight Ontologies" in JOURNAL ON DATA SEMANTICS, v. LNCS 4380, (2007), p. 57-81 - see details
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; 4675). Proceedings of: ECDL 2007, Budapest, 16th-21st September 2007. - DOI: 10.1007/978-3-540-74851-9_3 - see details
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 - see details
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; 315). 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/ - see details
P. Shvaiko, J. Euzenat, F. Giunchiglia, Bin He (edited by), "Ontology Matching ", Berlin: CEUR, 2007 - see details
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; 304) - see details
F. Casati, F. Giunchiglia, M. Marchese, "Publish and perish" in UBIQUITY - ASSOCIATION FOR COMPUTING MACHINERY, v. 8, n. 3 (2007), p. - . - URL: http://ubiquity.acm.org/article.cfm?id=1226695 - see details
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 - see details
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; 4825). Proceedings of: ISWC + ASWC 2007, Busan, Korea, 11th-15th November 2007. - DOI: 10.1007/978-3-540-76298-0_48 - see details
F. Giunchiglia, M. Yatskevich, P. Shvaiko, "Semantic Matching: Algorithms and Implementation" in JOURNAL ON DATA SEMANTICS, v. IX, n. XX (2007), p. 1-38 - see details
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; 304). 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 - see details
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 - see details
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, p. - . Proceedings of: ESWC, Innsbruck, 2007 - see details
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 - see details
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 - see details
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 - see details
I. Zaihrayeu, M. Marchese, F. Giunchiglia, "Encoding Classifications into Lightweight Ontologies" in Proceedings of the 3rd European Semantic Web Conference: Springer Verlag, 2006, p. 80-94. Proceedings of: Springer-Verlag, Budva, Montenegro, 11-14 June 2006. - URL: http://www.springeronline.com/3-540-34544-2 - see details
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, July 17 - 21, 2005, San Diego, California, 2005. Proceedings of: IEEE Computer Society, San Diego (CA), 17th-21th July 2005 - see details
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; 3729). - ISBN: 3540297545. Proceedings of: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, 6 -10th November 2005 - see details
F. Giunchiglia, M. Yatskevich, E. Giunchiglia, "Efficient Semantic Matching" in Proceedings of the 2nd European semantic web conference, Heidelberg: Springer, 2005, p. xx-xx -(Lecture Notes in Computer Science; 3532). Proceedings of: ESWC '05, Heraklion, Crete, Greece, 29 May - 1 June 2005 - see details
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 - see details
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 - see details
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: AAA!-05, Pittsburgh, Pennsylvania, USA, July 9-13 2005 - see details
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; 3532). Proceedings of: 2nd European semantic web conference (ESWC'05), Heraklion, 29 May - 1 June 2005. - URL: http://www.eswc2005.org/ - see details
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 - see details
F. Giunchiglia, "Contextualizing Ontologies" in Web Semantics: Science, Services and Agents on the World Wide Web, 2004, p. 325-343 - see details
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 - see details
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 - see details
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: 3540237984. Proceedings of: Meaning Coordination and Negotiation Workshop, Hiroshima, Japan, 6 November 2004 - see details
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 - see details
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; 2926). - ISBN: 9783540208686. Proceedings of: AMKM 2003, Stanford, CA, March 24-26, 2003 - see details
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, p. - . Proceedings of: GL 2004, Liverpool, 7 October 2004 - see details
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/ - see details
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/ - see details
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 - see details
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; 102). Proceedings of: KR-MED 2004, Whistler, BC, Canada, 1st June 2004. - URL: http://CEUR-WS.org/Vol-102/ - see details
L. Serafini, F. Giunchiglia, J. Mylopoulos, P.A. Bernstein (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: 3-540-40380-9 - see details
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 - see details
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: 3-540-00713-X - see details
F. Giunchiglia, P. Bouquet, F. Van Harmelen, L. Serafini, H. Stuckenschmidt, "C-OWL: Contextualizing Ontologies" in Second International Semantic Web Conference, Sanibel Island, USA, 2003, 2003, p. 164-179 - see details
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: 3-540-20362-1. 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 - see details
E. Blanzieri, P. Giorgini, F. Giunchiglia, C. Zanoni, "Implicit Culture-Based Personal Agents for Knowledge Management" in International Symposium on Agent-Mediated Knowledge Management (AMKM '03) Stanford, California, 2003, p. 245-261 - see details
F. Giunchiglia, 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, 2003, p. 286-299 - see details
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 - see details
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: 3-540-40380-9 - see details
F. Giunchiglia, P. Blackburn, C. Ghidini, R.M. Turner, "Proceedings CONTEXT 2003, 4th International and Interdisciplinary Conference", 2003 - see details
F. Giunchiglia, A. Gomez-perez, A. Pease, H. Stuckenschmidt, Y. Sure, S. Willmott (edited by), "Proceedings of the IJCAI-03 workshop on ontologies and distributed systems (ODS 2003)", Aachen: CEUR, 2003 - see details
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 - see details
F. Giunchiglia, P. Shvaiko, "Semantic matching" in KNOWLEDGE ENGINEERING REVIEW, v. 18, n. 3 (2003), p. 265-280 - see details
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 - see details
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 - see details
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: 3-540-00713-X. Proceedings of: Third International Workshop on Agent-Oriented Software Engineering, AOSE 2002, Bologna, 15th July 2002 - see details
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 - see details
F. Giunchiglia, G. Weiss (edited by), "3rd international workshop on agent-oriented software engineering (AOSE 2002)", by F. Giunchiglia, G. Weiss, 2002. - ISBN: 3-540-00713-X - see details
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 - see details
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 - see details
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 - see details
F. Giunchiglia, J. Odell, G. Weiss (edited by), "Agent-Oriented Software Engineering", by F. Giunchiglia, J. Odell, G. Weiss, 2002. - ISBN: 3-540-00713-X - see details
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 - see details
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 - see details
F. Giunchiglia, A. Perini, F. Sannicolò, "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 - see details
D. Fensel, F. Giunchiglia, D. L. Mcguinness, M. Williams (edited by), "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: 1-55860-554-1 - see details
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 - see details
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 - see details
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: 3-540-43282-1. Proceedings of: 2nd International Workshop on Agent-Oriented Software Engineering (AOSE'01), Montreal, Canada, 29 May 2001 - see details
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; 2404). - ISBN: 3540439978. Proceedings of: 14th international conference on computer aided verification (CAV'02), Copenhagen, 27th-31st July 2002. - URL: http://eprints.biblio.unitn.it/archive/00000085/ - see details
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 - see details
F. Giunchiglia, J. Mylopoulos, A. Perini, "The Tropos Software Development Methodology: Processes, Models and Diagrams" in Third International Workshop on Agent-Oriented Software Engineering (AOSE 2002) Bologna, 2002, p. 162-173 - see details
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 - see details
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 - see details
C. Batini, F. Giunchiglia, P. Giorgini, M. Mecella (edited by), "Cooperative information systems: 9th international conference, CoopIS 2001", by C. Batini, F. Giunchiglia, P. Giorgini, M. Mecella, 2001. - ISBN: 3-540-42524-1 - see details
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: 3-540-42524-1 - see details
E. Giunchiglia, F. Giunchiglia, "Ideal and real belief about belief" in JOURNAL OF LOGIC AND COMPUTATION, v. 11, n. 1 (2001), p. 157-192 - see details
F. Giunchiglia, R. Sebastiani, P. Traverso, "Integrating SAT Solvers with Domain-Specific Reasoners" in CALCULEMUS 2000- Symposium, Simbolic Computation and Automated Reasoning, 2001, p. 249-251 - see details
F. Giunchiglia, R. Sebastiani, P. Traverso, "Integrating SAT solvers with domain-specific reasoners" in Symbolic Computation and Automated Reasoning, Wellesley, Mass.: A K Peters, 2001, p. 249-251 - see details
F. Giunchiglia, A. Perini, F. Sannicolò, "Knowledge Level Software Engineering" in 8th international workshop ATAL 2001, 2001, p. 6-20 - see details
C. Ghidini, F. Giunchiglia, "Local models semantics, or contextual reasoning = locality + compatibility" in ARTIFICIAL INTELLIGENCE, v. 127, n. 2 (2001), p. 221-259 - see details
R. Sebastiani, A. Tomasi, F. Giunchiglia, "Model checking syllabi and student careers" in ETAPS 2001, Berlin: Springer, 2001, p. 128-142 -(LNCS; 2031). - 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 - see details
F. Giunchiglia, P. Bresciani, A. Perini, P. Giorgini, "Modeling early requirements in tropos: a transformation based approach" in 2nd international workshop on agent-oriented software engineering (AOSE'01), 2001, p. 151-168 - see details
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 - see details
A. Armando, A. Coglio, F. Giunchiglia, "The Control Component of Open Mechanized Reasoning Systems" in JOURNAL OF SYMBOLIC COMPUTATION, v. 32, (2001), p. 305-332 - see details
A. Perini, P. Bresciani, P. Giorgini, F. Giunchiglia, J. Mylopoulos, "Towards an Agent Oriented Approach to Software Engineering" in Dagli Oggetti agli Agenti: Tendenze Evolutive dei Sistemi Software. Modena, Italy, 2001, 2001 - see details
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) - see details
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/ - see details
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 - see details
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 - see details
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 - see details
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 - see details
F. Giunchiglia, G.A. Cohn, B. Selman, "KR2000 - Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning", 2000 - see details
F. Giunchiglia, A. G. Cohn, B. Selman (edited by), "KR2000: proceedings of the seventh international conference on principles of knowledge representation and reasoning", Amsterdam [etc.]: Morgan Kaufmann, 2000, 735 p. - ISBN: 1-558-60-690-4 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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/ - see details
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: 3-540-65713-4. Proceedings of: 5th International Workshop on Agent Theories, Architectures and Languages (ATAL'98), Paris, 4-7 July 1998 - see details
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 - see details
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 - see details
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/ - see details
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 - see details
F. Giunchiglia, P. Traverso, "Planning as Model Checking" in 5th European Conference on Planning - ECP-99, Durham, UK., 1999, p. 1-20 - see details
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 - see details
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 - see details
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 - see details
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) - see details
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 - see details
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: 3-540-67350-4. Proceedings of: 6th Congress of the Italian association for artificial intelligence (AI*IA'99), Bologna, 14-17 September 1999 - see details
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 - see details
F. Giunchiglia, "Using abstrips abstractions -- where do we stand?" in ARTIFICIAL INTELLIGENCE REVIEW, v. 13, n. 3 (1999), p. 201-213 - see details
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 - see details
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 - see details
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 - see details
A. Cimatti, F. Giunchiglia, R. W. Weyhrauch, "A many-sorted natural deduction" in COMPUTATIONAL INTELLIGENCE, v. 14, n. 1 (1998), p. 134-149 - see details
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 - see details
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 - see details
F. Giunchiglia (edited by), "Artificial Intelligence: methodology, systems and applications, 8th international conference, AIMSA'98:", by F. Giunchiglia, 1998 - see details
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: 3-540-64993-X - see details
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 - see details
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 - see details
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 - see details
M. Benerecetti, F. Giunchiglia, L. Serafini, "Model checking multiagent systems" in JOURNAL OF LOGIC AND COMPUTATION, v. 8, n. 3 (1998), p. 401-423 - see details
M. Benerecetti, F. Giunchiglia, L. Serafini, "Model checking multiagent systems: a preliminary report" in AIIA NOTIZIE, v. 11, n. 3 (1998), p. 38-44 - see details
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 - see details
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 - see details
F. Giunchiglia, M. Benerecetti, "Multiagent systems verification via model checking" in European workshop on validation and verification of knowledge-based systems, 1998 - see details
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 - see details
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 - see details
V. Hartonas-garmhausen, S. Campos, A. Cimatti, E. Clarke, 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 - see details
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 - see details
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 - see details
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; 1249). - ISBN: 3540631046. Proceedings of: CADE-14, Townsville, 13-17 July 1997 - see details
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 - see details
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 - see details
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: 3-540-62507-0. Proceedings of: ECAI'96 Workshop on Agent Theories, Architectures and Languages (ATAL), Budapest, 12-13 August 1996 - see details
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 - see details
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) - see details
F. Giunchiglia, "Logica, Scienze Cognitive e Intelligenza Artificiale" in LETTERA MATEMATICA PRISTEM, v. 16, (1997), p. 18-21 - see details
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 - see details
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 - see details
F. Giunchiglia, A. Villafiorita, T. Walsh, "Theories of abstraction" in AI COMMUNICATIONS, v. 10, (1997) - see details
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; 1081). - 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 - see details
F. Giunchiglia, P. Traverso, "A metatheory of a mechanized object theory" in ARTIFICIAL INTELLIGENCE, v. 80, (1996), p. 197-241 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
F. Giunchiglia, R. Sebastiani, "Calculating criticalities" in ARTIFICIAL INTELLIGENCE, v. 88, (1996), p. 39-67 - see details
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 - see details
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 - see details
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 - see details
P. Bouquet, F. Giunchiglia, "Contexts, Locality and Generality" in MATHWARE & SOFT COMPUTING, v. 3, (1996), p. 47-57 - see details
P. Bouquet, E. Giunchiglia, F. Giunchiglia, "Contexts, locality and generality" in MATHWARE & SOFT COMPUTING, v. 3, n. 1-2 (1996), p. 47-57 - see details
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 - see details
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 - see details
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: 3-540-60852-4. Proceedings of: 7th European workshop on modelling autonomous agents in a multi-agent world (MAAMAW'96), Eindhoven, The Netherlands, 22-25 January 1996 - see details
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 - see details
F. Giunchiglia, P. Traverso, "Program tactics and logic tactics." in ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE, v. 17, (1996), p. 235-259 - see details
F. Giunchiglia, R. Sebastiani, A. Villafiorita, "Proving theorems by using abstraction interactively" in R. Albrecht, H. Herre (edited by), Trends in theoretical informatics, München ; Wien: Oldenbourg, 1996, p. 83-94. - (Schriftenreihe der Österreichischen Computer Gesellschaft; 89) - see details
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: 3-540-60805-2. 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 - see details
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 - see details
F. Giunchiglia, P. Pecchiari, A. Armando, "Towards provably correct system synthesis and extension" in FUTURE GENERATION COMPUTER SYSTEMS, v. 12, (1996), p. 123-137 - see details
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 - see details
F. Giunchiglia, "An epistemological science of common sense" in ARTIFICIAL INTELLIGENCE, v. 77, (1995), p. 371-392 - see details
F. Giunchiglia, "Logica, scienze cognitive e intelligenza artificiale" in LETTERA MATEMATICA PRISTEM, v. 16, (1995), p. 18-21 - see details
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 - see details
P. Bouquet, F. Giunchiglia, "Reasoning about theory adequacy: a new solution to the qualification problem" in FUNDAMENTA INFORMATICAE, v. 23, (1995), p. 247-262 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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: 3-540-58792-6. Proceedings of: 4th International Workshops on Logic Programming Synthesis and Transformation (LOPSTR'94) and Metaprogramming in Logic (META'94), Pisa, 20-21 June 1994 - see details
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 - see details
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 - see details
F. Giunchiglia, L. Serafini, "Multilanguage hierarchical logics, or: How we can do without modal logics." in ARTIFICIAL INTELLIGENCE, v. 1, (1994), p. 29-70 - see details
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 - see details
D. Basin, F. Giunchiglia, M. Kaufmann (edited by), "Proceedings CADE-12 Workshop on correctness and metatheoretic extensibility of automated reasoning systems", Trento: Istituto trentino di cultura, 1994 - see details
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 - see details
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 - see details
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 - see details
F. Giunchiglia, "Contextual reasoning" in EPISTEMOLOGIA, v. 16, (1993), p. 145-164 - see details
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 - see details
F. Giunchiglia, P. Traverso, A. Cimatti, L. Spalazzi, S. Dalbosco, A. Armando, P. Pecchiari, "MRG: sistema di ragionamento" in AUTOMAZIONE E STRUMENTAZIONE, v. 41, (1993), p. 97-103 - see details
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 - see details
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 - see details
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 - see details
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 - see details
F. Giunchiglia, T. Walsh, "The inevitability of inconsistent abstract spaces" in JOURNAL OF AUTOMATED REASONING, v. 11, (1993), p. 23-41 - see details
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 - see details
F. Giunchiglia, "A theory of abstraction" in ARTIFICIAL INTELLIGENCE, v. 57, (1992), p. 323-389 - see details
F. Giunchiglia, T. Walsh, "A theory of abstraction." in ARTIFICIAL INTELLIGENCE, v. 57, n. 2-3 (1992), p. 323-389 - see details
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 - see details
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 - see details
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: 3-540-56282-5. Proceedings of: 3rd International Workshop on Meta-Programming in Logic (META'92), Uppsala, 10-12 June 1992 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
F. Giunchiglia, P. Traverso, "La deduzione automatica" in SISTEMI INTELLIGENTI, v. 3, (1991), p. 37-66 - see details
F. Giunchiglia, P. Traverso, L. Serafini, "La deduzione automatica" in SISTEMI INTELLIGENTI, v. 3, n. 1 (1991), p. 37-66 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
F. Giunchiglia, "Abstraction in AI" in AISB QUARTERLY, v. 73, (1990), p. 22-26 - see details
F. Giunchiglia, T. Walsh, "Abstraction in AI" in AISB QUARTERLY, n. 73 (1990), p. 22-26 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
F. Giunchiglia, D. Dimanzo, E. Trucco, F. Ricci, "FUR: Understanding FUnctional Reasoning" in INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, v. 4, (1989), p. 431-457 - see details
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 - see details
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: 0-262-51047-2. Proceedings of: Workshop on Metaprogramming in Logic Programming (META 88), University of Bristol, 22-24 June 1988 - see details
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 - see details
F. Giunchiglia, R. Sebastiani, "A Metatheory of a Mechanized Object Theory" in ARTIFICIAL INTELLIGENCE, (1988), p. 39-67 - see details
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: 0444703438 - see details
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 - see details
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 - see details
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 - see details
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 - see details
M. Di Manzo, F. Giunchiglia, "A first order theory of common sense object positioning" in COMPUTERS IN INDUSTRY, v. 7, (1987), p. 257-262 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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: 0893914940 - see details
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 - see details
M. Di Manzo, F. Giunchiglia, "A first order theory of common sense object positioning" in COMPUTERS IN INDUSTRY, v. 7, (1986), p. 257-262 - see details
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 - see details
F. Giunchiglia, M. Di Manzo, G. Adorni, "Reasoning about scene descriptions" in PROCEEDINGS OF THE IEEE, v. 74, n. 7 (1986), p. 1013-1025 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
F. Giunchiglia, M. Di Manzo, "Space as a linguistic variable", 1985. Proceedings of: 1st IFSA congress, Palma De Mallorca, 1-6 July 1985 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
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 - see details
M. S. Bonifacio, F. Giunchiglia, I. Zaihrayeu, "Peer-to-Peer Knowledge Management", 1. 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 - see details