Luciano Serafini

Head of Unit

    Activities

    In July 1900 I obtained the Master of Information Science, University of Milan, Milan, MI 1988 Thesis title: Semantica di Chang Montague per la rappresentazione della conoscenza. Final evaluation 110/110 cum laude. In October 1988 he joined ITC-IRST (Istituto per la Ricerca Scientifica e Technologica, now
    Fondazione Bruno Kessler) as a junior researcher. Since then his research interests focused on artificial intelligence, logic for knowledge representation and reasoning, multi agent systems, semantic web, ontologies, information integration Luciano Serafini has published influential works in the most important international journals and conferences (his current H-index is 45 and has received more than 9000 citations). His main scientific contributions can be summarised as follows:


    • Multi-Context systems: In the early stage of his scientific career Luciano Serafini was the major contributor, together with Fausto Giunchiglia, of an approach to contextual reasoning called "Multi Context Systems”. This research direction is still active as shown by the recent publication. During 30 years, Multi-Context Systems has been applied to various area of KR&R, Semantic Web, Database, Modular Ontologies and Multi-Agent Systems. The original formulation of MC-system has been extended and modified generating a number of systems for distributed knowledge representation, such as Distributed Description. Logics, Distributed First Order Logic, Contextualized Knowledge Repository, Contextualized ontology web language (C-OWL).

    • Ontology Semantic Matching: In the era of the semantic web, Luciano Serafini was the first to propose to encode the problem of ontology matching in a Satisfiability problem. This idea, implemented in an algorithm called CtxMatch, has influenced a large set ofsystems for ontology matching that fall under the category called “semantic matching”. One of the most cited paper on semantic matching has been directly derived from the CTXmatch algorithm.

    • Quantum Programming Language: Between 2000 and 2004 he collaborate to thedevelopment of a language for Quantum Computing. He collaborate to the definition of the Q language for quantum programming and the relative compiler on a quantum gatecircuits. The proposal has received a particular attention in the community accumulating 180 citations.

    • Integrating machine learning and automated reasoning: In the last years he getinterested in approaches that integrates logical reasoning and machine learning, which leads him to be engaged in statistical relational learning and neuro-symbolic integration architectures. During the visit of the Research Centre for Machine Learning at City University London, he started the development of a new architecture that integrates neural networks and fuzzy logics, called Logic Tensor Networks. The system has received a particular attention from the scientific community collecting more than 100 citations in since its publication.

    • Understanding Multimedia Content One of the main tasks in which the above technologies are applied and further developed is the task of understanding language and vision with the help of background (logical) knowledge. (e.g. aligning text, and pictures exploiting ontologies

    • Online Learning Planning domains from acting and sensing. In the last 2 year I started a research line in learning planning domains by acting in the real world and observing the effect via sensors. The research is rather promising but we are only at the beginning and no major publications are available


    All the above research results have been achieved with many collaborations with word-wide top researchers, and phd students. Luciano Serafini regularly supervises master and Ph.D. students. Despite not compulsory during the years he has taught various courses in Mathematical Logics, Databases and Logics for Knowledge Representation at the university of Trento and Free university of Bolzano, university of Padova and at the ICT International Doctorate School of the University of Trento.

    Publications

    1. Bozzato, Loris; Bruscagin, Giulia; Calabrese, Gaetano; Serafini, Luciano; Furlanello, Cesare,
      eKNOW 2020 - The Twelfth International Conference on Information, Process, and Knowledge Management,
      IARIA XPS Press,
      2020
      , pp. 75-
      81
    2. Hammar, Karl; Kutz, Oliver; Dimou, Anastasia; Hahmann, Torsten; Hoehndorf, Robert; Masolo, Claudio; Vita, Randi; Ben Abbès, Sarra; Hantach, Rim; Calvez, Philippe; Prince Sales, Tiago; Porello -old-, Daniele; Beßler, Daniel; Borgo, Stefano; Diab, Mohammed; Gangemi, Aldo; Olivares Alarcos, Alberto; Pomarlan, Mihai; Porzel, Robert; Skjæveland, Martin G.; Lupp, Daniel P.; Horrocks, Ian; Klüwer, Johan W.; Kindermann, Christian; Bozzato, Loris; Mossakowski, Till; Serafini, Luciano,
      CEUR-WS.org,
      vol. 2708,
      2020
    3. Bozzato, Loris; Serafini, Luciano; Eiter, Thomas,
      ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020),
      IOS Press,
      vol. 325,
      2020
      , pp. 2889-
      2890
    4. Schuetz, Christoph G.; Bozzato, Loris; Neumayr, Bernd; Schrefl, Michael; Serafini, Luciano,
      2020
    5. Campari, Tommaso; Eccher, Paolo; Serafini, Luciano; Ballan, Lamberto,
      Exploiting Scene-Specific Features for Object Goal Navigation,
      Computer Vision { extendash} {ECCV} 2020 Workshops,
      vol. 12538,
      2020
      , pp. 406-
      421
    6. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
      Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday,
      Springer,
      vol. 11560,
      2019
      , pp. 110-
      134
    7. Khan, Abdullah; Serafini, Luciano; Bozzato, Loris; Lazzerini, Beatrice,
      Proceedings of the 34th Italian Conference on Computational Logic (CILC 2019),
      CEUR-WS.org,
      vol. 2396,
      2019
      , pp. 48-
      58
    8. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
      Proceedings of the 32nd International Workshop on Description Logics (DL 2019),
      CEUR-WS.org,
      vol. 2373,
      2019
    9. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
      vol. abs/1905.0922,
      2019
    10. Donadello, Ivan; Serafini, Luciano,
      Proceedings of the 2019 International Joint Conference on Neural Networks (IJCNN),
      2019
      , pp. 1-
      8
    11. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
      Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings,
      Springer,
      vol. 11784,
      2019
      , pp. 19-
      35
    12. Khan, Abdullah; Bozzato, Loris; Serafini, Luciano; Lazzerini, Beatrice,
      GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence,
      EasyChair,
      vol. 65,
      2019
      , pp. 42-
      53
    13. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
      Modeling and Using Context - 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20-22, 2019, Proceedings,
      Springer,
      vol. 11939,
      2019
      , pp. 26-
      39
    14. Daniele, Alessandro; Serafini, Luciano,
      Knowledge Enhanced Neural Networks,
      PRICAI 2019: Trends in Artificial Intelligence,
      2019
      , pp. 542-
      554
    15. Francesco, Corcoglioniti; Marco, Rospocher; Roldano, Cattoni; Bernardo, Magnini; Luciano, Serafini,
      Innovations, Developments, and Applications of Semantic Web and Information Systems,
      IGI Global,
      2018
      , pp. 32-
      61
    16. Loris, Bozzato; Thomas, Eiter; Luciano, Serafini,
      in «ARTIFICIAL INTELLIGENCE»,
      vol. 257,
      2018
      , pp. 72-
      126
    17. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
      Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.,
      ijcai.org,
      2018
      , pp. 5568-
      5572
    18. Bozzato, Loris; Serafini, Luciano; Eiter, Thomas,
      vol. abs/1808.01874,
      2018
    19. Bozzato, Loris; Serafini, Luciano; Eiter, Thomas,
      Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona,30 October - 2 November 2018.,
      AAAI Press,
      2018
      , pp. 329-
      338
    20. Nedbal, Radim; Serafini, Luciano,
      AI*IA 2018 – Advances in Artificial Intelligence,
      Springer,
      vol. 11298,
      2018
      , pp. 348-
      361
    21. Khan, Abdullah; Lazzerini, Beatrice; Calabrese, Gaetano; Serafini, Luciano,
      Proceedings of 4th International Conference on Image Processing and Pattern Recognition (IPPR 2018),
      AIRCC Publishing Corporation,
      2018
      , pp. 119-
      129
    22. Luciano Serafini; Ivan Donadello; Artur d'Avila Garcez,
      Proceedings of the 32nd Annual ACM Symposium on Applied Computing,
      2017
      , pp. 125-
      130
    23. Ivan, Donadello; Luciano, Serafini; Artur, d'Avila Garcez,
      Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17,
      2017
      , pp. 1596-
      1602
    24. Ghidini, Chiara; Serafini, Luciano,
      Distributed First Order Logic,
      in «ARTIFICIAL INTELLIGENCE»,
      vol. 253,
      2017
      , pp. 1-
      39
    25. Stefano, Borgo; Loris, Bozzato; Alessio Palmero Aprosio, ; Marco, Rospocher; Luciano, Serafini,
      Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech,Morocco, April 3-7, 2017,
      ACM,
      2017
      , pp. 353-
      355
    26. Loris, Bozzato; Luciano, Serafini; Gaetano, Calabrese,
      Proceedings of the 30th International Workshop on Description Logics,Montpellier, France, July 18-21, 2017.,
      CEUR-WS.org,
      vol. 1879,
      2017
    27. Loris, Bozzato; Luciano, Serafini; Gaetano, Calabrese,
      Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference(ISWC 2017), Vienna, Austria, October 23rd - to - 25th, 2017.,
      CEUR-WS.org,
      vol. 1963,
      2017
    28. Donadello, Ivan; Serafini, Luciano,
      in «INTELLIGENZA ARTIFICIALE»,
      vol. 10,
      n. 1,
      2016
      , pp. 33-
      47
    29. Stefano, Borgo; Loris, Bozzato; Alessio Palmero Aprosio, ; Marco, Rospocher; Luciano, Serafini,
      vol. abs/1612.00227,
      2016
    30. L. Wanner; M. Rospocher; S. Vrochidis;H. Bosch;N. Bouayad-Agha;U. Bugel;G. Casamayor;T. Ertl;D. Hilbring;A. Karppinen;I. Kompatsiaris;T. Koskentalo;S. Mille;J. Mossgraber;A. Moumtzidou;M. Myllynen;E. Pianta;H. Saggion;L. Serafini;V. Tarvainen;S. Tonelli,
      The Semantic Web: ESWC 2012 Satellite Events - ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers,
      Springer Berlin Heidelberg,
      vol. 7540,
      2015
      , pp. 435-
      440
    31. Leo Wanner; Harald Bosch; Nadjet Bouayad-Agha; Gerard Casamayor; Thomas Ertl; Desiree Hilbring; Lasse Johansson; Kostas Karatzas; Ari Karppinen; Ioannis Kompatsiaris; Tarja Koskentalo; Simon Mille; Jürgen Mossgraber; Anastasia Moumtzidou; Maria Myllynen; Emanuele Pianta; Marco Rospocher; Luciano Serafini; Virpi Tarvainen; Sara Tonelli; Stefanos Vrochidis,
      in «EXPERT SYSTEMS»,
      vol. 32,
      n. 3,
      2015
      , pp. 405-
      432
    32. Marco Rospocher; Francesco Corcoglioniti; Roldano Cattoni; Bernardo Magnini; Luciano Serafini,
      Knowledge Engineering and Knowledge Management,
      Springer International Publishing,
      vol. 8982,
      2015
      , pp. 177-
      181
    33. Donadello, Ivan; Serafini, Luciano,
      Computer Vision - ECCV 2014 Workshops, Proceedings, Part II,
      vol. 8926,
      2015
      , pp. 283-
      298
    34. Bozzato, Loris; Borgo, Stefano; Palmero Aprosio, Alessio; Rospocher, Marco; Serafini, Luciano,
      Proceedings of the 4th International Workshop on Detection, Representation,and Exploitation of Events in the Semantic Web (DeRiVE 2015),
      CEUR-WS.org,
      vol. 1363,
      2015
      , pp. 47-
      57
    35. Segers, Roxane; Vossen, Piek; Rospocher, Marco; Serafini, Luciano; Laparra, Egoitz; Rigau, German,
      ESO: a Frame based Ontology for Events and Implied Situations,
      Proceedings of the MAPLEX 2015 Workshop,
      2015
    36. Cramerotti, Sofia; Turrini, Massimo; Buccio, Marco; Larentis, Silvia; Rospocher, Marco; Serafini, Luciano; Cardillo, Elena; Donadello, Ivan,
      in «MEDIA EDUCATION»,
      vol. 6,
      n. 1,
      2015
      , pp. 101-
      110
    37. Corcoglioniti, Francesco; Rospocher, Marco; Cattoni, Roldano; Magnini, Bernardo; Serafini, Luciano,
      in «INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS»,
      vol. 11,
      n. 2,
      2015
      , pp. 1-
      35
    38. Wanner, Leo; Rospocher, Marco; Vrochidis, Stefanos; Johansson, Lasse; Bouayad-Agha, Nadjet; Casamayor, Gerard; Karppinen, Ari; Kompatsiaris, Ioannis; Mille, Simon; Moumtzidou, Anastasia; Serafini, Luciano,
      in «EXPERT SYSTEMS WITH APPLICATIONS»,
      vol. 42,
      n. 12,
      2015
      , pp. 5032-
      5046
    39. Loris Bozzato; Thomas Eiter; and Luciano Serafini,
      DL2014,
      CEUR-WS.org,
      vol. 1193,
      2014
      , pp. 112-
      123
    40. Daniil Mirylenka; Marco Rospocher; Ivan Donadello; Elena Cardillo; Luciano Serafini,
      in «CEUR WORKSHOP PROCEEDINGS»,
      IESD 2014 - Intelligent Exploration of Semantic Data. Proceedings of the 3rd International Workshop on Intelligent Exploration of Semantic Data (IESD 2014) co-located with the 13th International Semantic Web Conference (ISWC 2014),
      CEUR Workshop Proceedings,
      vol. 1279,
      n. 0074-1279-6,
      2014
    41. Marco Rospocher; Elena Cardillo; Ivan Donadello; Luciano Serafini,
      in «LECTURE NOTES IN COMPUTER SCIENCE»,
      Knowledge Engineering and Knowledge Management 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014. Proceedings,
      Springer International Publishing,
      vol. 8876,
      2014
      , pp. 469-
      484
    42. S. Cramerotti;M. Buccio;G. Vaschetto;M. Rospocher;L. Serafini; Elena Cardillo; Ivan Donadello,
      ISWC 2014 Industry Track,
      vol. 1383,
      2014
    43. M. Rospocher;F. Corcoglioniti;R. Cattoni;B. Magnini;L. Serafini,
      in «CEUR WORKSHOP PROCEEDINGS»,
      Proceedings of the ISWC 2014 Posters & Demonstrations Track,
      vol. 1272,
      2014
      , pp. 69-
      72
    44. Marco Rospocher; Chiara Ghidini; Luciano Serafini,
      Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS2014, September, 22-25, 2014, Rio de Janeiro, Brazil,
      IOS Press,
      vol. 267,
      2014
      , pp. 133-
      146
    45. Loris Bozzato; Thomas Eiter; Luciano Serafini,
      CILC 2014,
      CEUR-WS.org,
      vol. 1195,
      2014
      , pp. 132-
      146
    46. Loris Bozzato; Luciano Serafini,
      ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014),
      IOS Press,
      vol. 263,
      2014
      , pp. 979-
      980
    47. Chiara Ghidini; Luciano Serafini,
      Context in Computing,
      2014
      , pp. 381-
      399
    48. Loris Bozzato; Luciano Serafini,
      2014
    49. Bozzato, Loris; Serafini, Luciano,
      Knowledge Engineering and Knowledge Management - EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linkoping, Sweden, November 24-28, 2014. Revised Selected Papers,
      Springer,
      vol. 8982,
      2014
      , pp. 35-
      51
    50. Loris, Bozzato; Luciano, Serafini,
      ARCOE-Logic 2014 (Workshop notes),
      vol. abs/1412.7964,
      2014
      , pp. 13-
      24
    51. R. Cattoni; F. Corcoglioniti; C. Girardi; B. Magnini; L. Serafini; R. Zanoli,
      Anchoring Background Knowledge to Rich Multimedia Contexts in the KnowledgeStore,
      New Trends of Research in Ontologies and Lexical Resources,
      Springer,
      2013
      , pp. 91-
      112
    52. A. Fokkens;M. v. Erp;P. Vossen;S. Tonelli;W. R. van;B. SynerScope;L. Serafini;R. Sprugnoli;J. Hoeksema,
      Proceedings of the 1st workshop on Events: Definition, Detection, Coreference, and Representation at the Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies,
      2013
      , pp. 11-
    53. Loris Bozzato; Luciano Serafini,
      DL2013,
      CEUR-WS.org,
      vol. 1014,
      2013
      , pp. 552-
      572
    54. Francesco Corcoglioniti; Marco Rospocher; Roldano Cattoni; Bernardo Magnini; Luciano Serafini,
      Interlinking Unstructured and Structured Knowledge in an Integrated Framework,
      Proceedings of the 7th IEEE International Conference on Semantic Computing (ICSC),
      2013
    55. Loris Bozzato; Chiara Ghidini; Luciano Serafini,
      Comparing contextual and flat representations of knowledge – a concrete case about football data.,
      Proceedings of the Seventh International Conference on Knowledge Capture (K-CAP 2013),
      2013
    56. Bozzato L.; Eiter T.; Serafini L.,
      Defeasibility in contextual reasoning with CKR,
      ARCOE-LogIC 2013,
      2013
    57. Bozzato L.; Homola M.; Serafini L.,
      Modeling and Using Context,
      Springer,
      vol. 8175,
      2013
      , pp. 199-
      212
    58. Semeraro G.; Basile P.; Basili R.; de Gemmis M.; Ghidini C.; Lenzerini M.; Lops P.; Moschitti P.; Musto C.; Narducci F.; Pipitone A.; Pirrone R.; Poccianti P.; Serafini L.,
      in «INTELLIGENZA ARTIFICIALE»,
      vol. 7,
      n. 2,
      2013
      , pp. 125-
      138
    59. van Erp M.; Fokkens A.; Vossen P.; Tonelli S.; van Hage W.R.; Serafini L.; Sprugnoli R.; Hoeksema J.,
      Proceedings of the ISWC 2013 Posters & Demonstrations Track,
      2013
      , pp. 189-
      192
    60. C. Ghidini; C. Di Francescomarino; M. Rospocher; P. Tonella; L. Serafini,
      in «IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. PART C, APPLICATIONS AND REVIEWS»,
      vol. 42,
      n. 1,
      2012
      , pp. 25-
      37
    61. Chiara Ghidini; Marco Rospocher; Luciano Serafini,
      eKNOW 2012, The Fourth International Conference on Information, Process, and Knowledge Management,
      IARIA XPS Press,
      2012
      , pp. 128-
      135
    62. L. Serafini; M. Homola,
      in «JOURNAL OF WEB SEMANTICS»,
      vol. 12,
      2012
    63. Volha Bryl; Sara Tonelli; Claudio Giuliano; Luciano Serafini,
      2012
    64. Manuel Atencia; Alexander Borgida; Jérôme Euzenat; Chiara Ghidini; Luciano Serafini,
      A Formal Semantics for Weighted Ontology Mappings,
      2012
    65. L. Bozzato; M. Homola; L. Serafini,
      CEUR-WS.org,
      vol. 846,
      2012
      , pp. 114-
      124
    66. Loris Bozzato; Francesco Corcoglioniti; Martin Homola; Mathew Joseph; Luciano Serafini,
      2012
    67. L. Bozzato; M. Homola; L. Serafini,
      2012
    68. Sara Tonelli; Volha Bryl; Claudio Giuliano; Luciano Serafini,
      Springer,
      2012
      , pp. 130-
      143
    69. Claudia d’Amato; Volha Bryl; Luciano Serafini,
      Springer,
      2012
      , pp. 26-
      31
    70. N. Bouayad-Agha; G. Casamayor; S. Mille; M. Rospocher; L. Serafini; J. Moßgraber; L. Wanner,
      Generation of Multilingual Personalized Environmental Bulletins from an OWL-based Ontology,
      Man - environment - Bauhaus. Light up the ideas of environmental Informatics : proceedings of the 26th International Conference on Informatics - Informatics for Environmental Protection, Sustainable Development and Risk Management, August 29 - 31, 2012...,
      Shaker Verlag GmbH,
      2012
      , pp. 481-
      489
    71. L. Wanner; S. Vrochidis; M. Rospocher; J. Mossgraber; H. Bosch; A. Karppinen; M. Myllynen; S. Tonelli; N. Bouayad-Agha; U. Bugel; G. Casamayor; T. Ert; D. Hilbring; K. Karatzas; I. Kompatsiaris; T. Koskentalo; S. Mille; A. Moumtzidou; E. Pianta; H. Saggion; L. Serafini; V. Tarvainen,
      Artificial Intelligence Applications and Innovations - AIAI 2012 International Workshops: AIAB, AIeIA, CISE, COPA, IIVC, ISQL, MHDW, and WADTMB, Halkidiki, Greece, September 27-30, 2012, Proceedings, Part II,
      Springer Berlin Heidelberg,
      vol. 382,
      2012
      , pp. 351-
      360
    72. N. Bouayad-Agha;G. Casamayor;S. Mille;M. Rospocher;H. Saggion;L. Serafini;L. Wanner,
      From Ontology to NL: Generation of Multilingual User-Oriented Environmental Reports,
      NLDB2012,
      Springer,
      vol. 7337,
      2012
      , pp. 216-
      221
    73. M. Rospocher; S. Tonelli; L. Serafini; E. Pianta,
      Knowledge Engineering and Knowledge Management - 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings,
      Springer Berlin Heidelberg,
      vol. 7603,
      2012
      , pp. 413-
      416
    74. Marco Rospocher; Luciano Serafini,
      Semantic Technologies meet Recommender Systems & Big Data,
      CEUR,
      vol. 919,
      2012
      , pp. 61-
      72
    75. Manuel Atencia; Alexander Borgida; Jerome Euzenat; Chiara Ghidini; Luciano Serafini.,
      A formal semantics for weighted ontology mappings.,
      The Semantic Web – ISWC 2012,
      Springer,
      vol. 7649,
      2012
      , pp. 17-
      33
    76. S. Klarman; S. Schlobach; L. Serafini,
      Formal Verification of Data Provenance Records,
      Springer,
      2012
    77. R. Cattoni; F. Corcoglioniti; C. Girardi; B. Magnini; L. Serafini; R. Zanoli,
      PAI 2012 Popularize Artificial IntelligenceProceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth,
      CEUR-WS,
      2012
      , pp. 21-
      26
    78. Rospocher, Marco; Tonelli, Sara; Serafini, Luciano; Pianta, Emanuele,
      in «APPLIED ONTOLOGY»,
      vol. 7,
      n. 4,
      2012
      , pp. 429-
      448
    79. Roldano Cattoni; Francesco Corcoglioniti; Christian Girardi; Bernardo Magnini; Luciano Serafini; Roberto Zanoli,
      The KnowledgeStore: an Entity-Based Storage System,
      2012
    80. L. Bozzato; M. Homola; L. Serafini,
      2012
      , pp. 11-
      18
    81. Claudia d'Amato; Volha Bryl; Luciano Serafini,
      2012
      , pp. 51-
      62
    82. M. Rospocher; L. Serafini,
      Semantic Technology - Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings,
      Springer Berlin Heidelberg,
      vol. 7774,
      2012
      , pp. 239-
      254
    83. C. Ghidini;M. Rospocher;L. Serafini,
      in «INTERNATIONAL JOURNAL ON ADVANCES IN LIFE SCIENCES»,
      vol. 4,
      n. 3&4,
      2012
      , pp. 111-
      124
    84. Chiara Di Francescomarino; Chiara Ghidini; Marco Rospocher; Luciano Serafini; Paolo Tonella,
      in «JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE»,
      vol. 23,
      n. 4,
      2011
      , pp. 261-
      295
    85. C.Ghidini; C. Di Francescomarino; M.Rospocher; P.Tonella; L.Serafini,
      2011
    86. Luciano Serafini; Martin Homola,
      Contextualized Knowledge Repositories for the Semantic Web,
      2011
    87. Leo Wanner; Stefanos Vrochidis; Sara Tonelli; Jürgen Moßgraber; Harald Bosch; Ari Karppinen; Maria Myllynen; Marco Rospocher; Nadjet Bouayad- Agha; Ulrich Bügel; Gerard Casamayor; Thomas Ertl; Ioannis Kompatsiaris; Tarja Koskentalo; Simon Mille; Anastasia Moumtzidou; Emanuele Pianta; Horacio Saggion; Luciano Serafini; Virpi Tarvainen,
      Environmental Software Systems. Frameworks of eEnvironment,
      Springer,
      vol. 359,
      2011
      , pp. 169-
      176
    88. M. Dragoni; C. Ghidini; M. Rospocher; L. Serafini; C. Di Francescomarino,
      On the Use and Evaluation of a Wiki-based Tool,
      2011
    89. M. Erdmann;D. Hansch;V. Pammer;M. Rospocher;C. Ghidini;S. Lindstaedt;L. Serafini,
      Context and Semantics for Knowledge Management: Technologies for Personal Productivity,
      Springer-Verlag,
      2011
      , pp. 229-
      254
    90. Sara Tonelli; Marco Rospocher; Emanuele Pianta; Luciano Serafini,
      Semantic Computing (ICSC), 2011 Fifth IEEE International Conference on,
      IEEE,
      2011
      , pp. 316-
      319
    91. C. Casagni; C. Di Francescomarino; M. Dragoni; L. Fiorentini; L. Franci; M. Gerosa; C. Ghidini; F. Rizzoli; M. Rospocher; A. Rovella; L. Serafini; S. Sparaco; A. Tabarroni,
      The Semantic Web – ISWC 2011,
      Springer,
      vol. 7032,
      2011
      , pp. 17-
      32
    92. L. Serafini; M. Homola,
      Contextual Representation and Reasoning with Description Logics,
      Proceedings of the 2011 International Workshop on Description Logics (DL2011),
      vol. 745,
      2011
    93. Luciano Serafini ; Volha Bryl ;Sofia Cramerotti ; Chiara Ravagni,
      2011
    94. M. Homola; L. Bozzato; L. Serafini,
      2011
    95. L. Bozzato; F. Corcoglioniti; M. Joseph; L. Serafini,
      2011
    96. L. Bozzato; F. Corcoglioniti; M. Homola; L. Serafini,
      2011
    97. E. Cardillo; A. Tamilin; L. Serafini,
      A Methodology for Knowledge Acquisition in Consumer-Oriented Healthcare,
      Knowledge Discovery, Knowlege Engineering and Knowledge Management,
      Springer,
      vol. 128, part 3,
      2011
      , pp. 249-
      261
    98. Martin Homola; Luciano Serafini,
      in «APPLIED ARTIFICIAL INTELLIGENCE»,
      Taylor and Francis,
      vol. 24,
      n. 1-2,
      2010
      , pp. 137-
      174
    99. Andrei Tamilin; Bernardo Magnini; Luciano Serafini; Christian Girardi; Mathew Joseph; Roberto Zanoli,
      Context-driven Semantic Enrichment of Italian News Archive,
      Proceedings of the 7th Extended Semantic Web Conference,
      Springer,
      2010
      , pp. 364-
      378
    100. Volha Bryl; Claudio Giuliano; Luciano Serafini; Kateryna Tymoshenko,
      2010
    101. Volha Bryl; Claudio Giuliano; Luciano Serafini; Kateryna Tymoshenko,
      2010
    102. Chiara Ghidini; Marco Rospocher; Luciano Serafini,
      ISWC 2010 Posters & Demonstrations Track: Collected Abstracts,
      CEUR Workshop Proceedings (CEUR-WS.org),
      vol. 658,
      2010
      , pp. 77-
      80
    103. Viktoria Pammer; Stefanie Lindstaedt; Chiara Ghidini; Marco Rospocher; Luciano Serafini,
      Proceedings of the EKAW2010 Poster and Demo Track,
      CEUR Workshop Proceedings (CEUR-WS.org),
      vol. 674,
      2010
    104. Chiara Ghidini; Marco Rospocher; Luciano Serafini,
      Proceedings of the EKAW2010 Poster and Demo Track,
      CEUR Workshop Proceedings (CEUR-WS.org),
      vol. 674,
      2010
    105. Leo Wanner; Harald Bosch; Nadjet Bouayad-Agha; Ulrich Bügel; Gerard Casamayor; Thomas Ertl; Ari Karppinen; Ioannis Kompatsiaris; Tarja Koskentalo; Simon Mille; Jürgen Moßgraber; Anastasia Moumtzidou; Maria Myllynen; Emanuele Pianta; Marco Rospocher; Horacio Saggion; Luciano Serafini; Virpi Tarvainen; Sara Tonelli; Thomas Usländer; Stefanos Vrochidis,
      Proceedings of the Workshop "Environmental Information Systems and Services - Infrastructures and Platforms",
      CEUR Workshop Proceedings (CEUR-WS.org),
      vol. 679,
      2010
    106. Chiara Ghidini; Luciano Serafini,
      Distributed First Order Logic,
      2010
    107. Chiara Ghidini; Marco Rospocher; Luciano Serafini,
      Conceptual Modeling in Wikis: a Reference Architecture and a Tool,
      2010
    108. Luciano Serafini; Martin Homola,
      Semantic Web Information Management: A Model-Based Perspective,
      Springer,
      2010
      , pp. 147-
      181
    109. Martin Homola; Luciano Serafini,
      Procs. of the 23rd International Workshop on Description Logics (DL2010),
      vol. 573,
      2010
    110. Martin Homola; Andrei Tamilin; Luciano Serafini,
      Procs. of the 2nd Workshop on Context, Information and Ontologies (CIAO-2010),
      vol. 626,
      2010
    111. Martin Homola; Luciano Serafini; Andrei Tamilin,
      Procs. of the 6th Workshop on Semantic Web Applications and Perspectives (SWAP2010),
      2010
    112. Chiara Ghidini; Barbara Kump; Stefanie Lindstaedt; Nahid Mabhub; Viktoria Pammer; Marco Rospocher; Luciano Serafini,
      MoKi: The Enterprise Modelling Wiki,
      The 6th Annual European Semantic Web Conference (ESWC2009),
      Springer,
      vol. 5554,
      2009
      , pp. 831-
      835
    113. Chiara Ghidini; Luciano Serafini; Sergio Tessaris,
      Bridging Heterogeneous Representations of Binary Relations,
      2009
    114. Mathew Joseph; Luciano Serafini; Andrei Tamilin,
      Workshop on Context, Information And Ontologies (CIAO-2009), collocated with the 6th European Semantic Web Conference (ESWC-2009),
      2009
    115. Luciano Serafini; Andrei Tamilin,
      Composing Modular Onotlogies with Distributed Description Logics,
      Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization,
      Springer Berlin / Heidelberg,
      vol. 5445,
      2009
      , pp. 321-
      347
    116. Marco Rospocher; Chiara Ghidini; Viktoria Pammer; Luciano Serafini; Stefanie Lindstaedt,
      SemWiki2009 - Fourth Workshop on Semantic Wikis,
      CEUR-WS.org,
      vol. 464,
      2009
      , pp. 113-
      127
    117. Viktoria Pammer; Barbara Kump; Chiara Ghidini; Marco Rospocher; Luciano Serafini; Stefanie Lindstaedt,
      5th International Conference on Semantic Systems (I-SEMANTICS `09),
      Verlag der Technischen Universität Graz,
      2009
      , pp. 501-
      508
    118. Marco Rospocher; Chiara Di Francescomarino; Chiara Ghidini; Luciano Serafini; Paolo Tonella,
      Business Process Management Workshops,
      Springer,
      vol. 43,
      2009
      , pp. 305-
      317
    119. Chiara Di Francescomarino; Chiara Ghidini; Marco Rospocher; Luciano Serafini; Paolo Tonella,
      Semantically-aided business process modeling,
      8th International Semantic Web Conference (ISWC 2009),
      Springer,
      n. 5823/2009,
      2009
      , pp. 114-
      129
    120. Paolo Bouquet; Chiara Ghidini; Luciano Serafini,
      Querying The Web Of Data: A Formal Approach,
      The Sematic Web, 4th Asian Semantic Web Conference (ASWC 2009),
      Springer,
      vol. 5926,
      2009
    121. Elena Cardillo; Andrei Tamilin; Luciano Serafini,
      A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition,
      International Workshop on Knowledge Representation 4 Healthcare (KR4HC - AIME),
      Springer,
      2009
    122. Elena Cardillo; Andrei Tamilin; Luciano Serafini,
      A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition,
      KEOD 2009 - International Conference on Knowledge Engineering and Ontology Development,
      INSTICC press,
      2009
      , pp. 64-
      71
    123. Elena Cardillo; Andrei Tamilin; Luciano Serafini,
      A Lexical-Ontological Resource for Consumer Healthcare,
      Electronic Healthcare - 2nd International Conference on eHealth 2009,
      Springer,
      2009
    124. Chiara Ghidini; Barbara Kump; Stefanie Lindstaedt; Nahid Mahbub; Viktoria Pammer; Marco Rospocher; Luciano Serafini,
      Workshop on Collaborative Construction, Management and Linking of Structured Knowledge (CK2009) - co-located with the 8th International Semantic Web Conference ISWC-2009,
      CEUR Workshop Proceedings,
      2009
    125. Chiara Ghidini; Marco Rospocher; Luciano Serafini,
      A formalisation of BPMN in Description Logics,
      2008
    126. Claudio Eccher; Elena Cardillo; Luciano Serafini; Andrei Tamilin,
      Logical Analysis of Mappings Between Medical Classification Systems,
      Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008,
      Springer,
      vol. 5253,
      2008
      , pp. 311-
      321
    127. Leo Wanner; Sören Brügmann; Joan Codina; Barrou Diallo; Enric Escorsa; Mark Giereth; Yiannis Kompatsiaris; Symeon Papadopoulos; Emanuele Pianta; Gemma Piella; Ingo Puhlmann; Gautam Rao; Martin Rotard; Pia Schoester; Luciano Serafini; Vasiliki Zervaki,
      Towards Content-Oriented Patent Document Processing,
      in «WORLD PATENT INFORMATION»,
      Elsevier,
      vol. 30,
      n. 1,
      2008
      , pp. 21-
      33
    128. Chiara Ghidini; Luciano Serafini,
      Mapping Properties of Heterogeneous Ontologies,
      Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008,
      Springer,
      vol. 5253,
      2008
      , pp. 181-
      193
    129. Chiara Ghidini; Luciano Serafini; Sergio Tessaris,
      21st International Workshop on Description Logics (DL2008),
      CEUR-WS.org,
      vol. 353,
      2008
    130. Chiara Di Francescomarino; Chiara Ghidini; Marco Rospocher; Luciano Serafini; Paolo Tonella,
      Reasoning on Semantically Annotated Processes,
      International Conference on Service-Oriented Computing,
      Springer,
      vol. 5364,
      2008
      , pp. 132-
      146
    131. Chiara Ghidini; Marco Rospocher; Luciano Serafini; Andreas Faatz; Barbara Kump; Tobias Ley; Viktoria Pammer; Stefanie Lindstaedt,
      The 16th International Conference on Knowledge Engineering and Knowledge Management Knowledge Patterns (EKAW 2008),
      2008
      , pp. 40-
      42
    132. Chiara Ghidini; Marco Rospocher; Luciano Serafini; Barbara Kump; Viktoria Pammer; Andreas Faatz; Andreas Zinnen; Joanna Guss; Stefanie Lindstaedt,
      International Conference on Semantic Systems (I-SEMANTICS `08),
      Graz University of Technology,
      2008
      , pp. 134-
      142
    133. Conny Christl; Chiara Ghidini; Joanna Guss; Viktoria Pammer; Stefanie Lindstaedt; Marco Rospocher; Peter Scheir; Luciano Serafini,
      Deploying semantic web technologies for work integrated learning in industry. A comparison: SME vs. large sized company,
      7th International Semantic Web Conference (ISWC 2008),
      Springer,
      vol. 318,
      2008
      , pp. 709-
      722
    134. Marco Rospocher; Chiara Ghidini; Luciano Serafini; Barbara Kump; Viktoria Pammer; Stefanie Lindstaedt; Andreas Faatz; Tobias Ley,
      Collaborative Enterprise Integrated Modelling,
      SWAP2008 - 5th Workshop on Semantic Web Applications and Perspectives,
      CEUR Workshop Proceedings,
      vol. 426,
      2008
    135. Chiara Ghidini; Luciano Serafini; Sergio Tessaris,
      Complexity of reasoning with expressive ontology mappings,
      5th international conference on formal ontology in information systems (FOIS’08),
      IOS Press,
      2008
      , pp. 151-
      163
    136. Paolo Bouquet; Luciano Serafini; Richmond Thomason,
      CSLI Publications,
      2008
    137. Martin Homola; Luciano Serafini,
      Volume 90 - Advances in Ontologies Knowledge Representation Ontology Workshop (KROW 2008),
      Australian Computer Society Inc.,
      2008
      , pp. 21-
      30
    138. Luciano Serafini,
      Towards Distributed Tableaux Reasoning Procedure for DDL with Increased Subsumption Propagation between Remote Ontologies,
      Knowledge Representation Ontology Workshop. KROW-08,
      ASR,
      vol. 90,
      2008
    139. Luciano Serafini,
      Distributed reasoning for semantically related domains - Revisited,
      2007
    140. Luciano Serafini; Andrei Tamilin,
      Reasoning with Instances in Distributed Description Logics,
      2007
    141. Chiara Ghidini; Luciano Serafini,
      Mapping properties of heterogeneous ontologies,
      1st International Workshop on Modular Ontologies, WoMO`06,
      CEUR-WS.org,
      2007
    142. Chiara Ghidini; Luciano Serafini; Sergio Tessaris,
      On relating heterogeneous elements from different ontologies,
      Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT`07),
      Springer,
      vol. 4635,
      2007
      , pp. 234-
      247
    143. Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Mark Jago; Brian Logan; Luciano Serafini,
      Verifying space and time requirements for resource-bounded agents,
      Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-06),
      Springer,
      vol. 4428,
      2007
      , pp. 19-
      34
    144. Mark Giereth; Steffen Koch; Yiannis Kompatsiaris; Symeon Papadopoulos; Emanuele Pianta; Luciano Serafini; Leo Wanner,
      A Modular Framework for Ontology-based Representation of Patent Information,
      Legal Knowledge and Information Systems - JURIX 2007: The Twentieth Annual Conference,
      IOS Press,
      2007
      , pp. 49-
      58
    145. Gerhard Brewka; Floris Roelofsen; Luciano Serafini,
      Contextual Default Reasoning,
      20th International Joint Conference on Artificial Intelligence (IJCAI-07),
      2007
      , pp. 268-
      273
    146. Luciano Serafini; Andrei Tamilin,
      Instance Migration in Heterogeneous Ontology Environments,
      The 6th International Semantic Web Conference and the 2nd Asian Semantic Web Conference 2007 (ISWC/ASWC 2007),
      Springer,
      vol. 4825,
      2007
      , pp. 452-
      465
    147. Luciano Serafini; Andrei Tamilin,
      Reasoning with Instances of Heterogeneous Ontologies,
      4th Italian Semantic Web Workshop (SWAP 2007),
      CEUR-WS.org,
      vol. 314,
      2007
    148. Jeff Z. Pan; Luciano Serafini; Yuting Zhao,
      1st International Workshop on Modular Ontologies, WoMO`06,
      CEUR-WS.org,
      vol. 232,
      2007
    149. Chiara Ghidini; Viktoria Pammer; Peter Scheir; Luciano Serafini; Stefanie Lindstaedt,
      International Conference on Semantic Systems (I-Semantics 07),
      Know-Center,
      2007
      , pp. 262-
      269
    150. D.G. Cameron; R. Carvajal-Schiaffino; C. Nicholson; K. Stockinger; F. Zini; A.P. Millar; L. Serafini,
      Formal analysis of an agent-based optimisation strategy for Data Grids,
      in «MULTIAGENT AND GRID SYSTEMS»,
      IOS Press,
      vol. 2,
      n. 1,
      2006
      , pp. 149-
      162
    151. N. Alechina; P. Bertoli; C. Ghidini; M. Jago; B. Logan; L. Serafini,
      Verifying space and time requirements for resource-bounded agents,
      5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006),
      ACM,
      2006
      , pp. 217-
      219
    152. A. Albore; N. Alechina; P. Bertoli; C. Ghidini; B. Logan; L. Serafini,
      Model-checking memory requirements of resource-bounded reasoners,
      Twenty-First National Conference on Artificial Intelligence (AAAI-06),
      AAAI Press,
      2006
      , pp. 213-
      218
    153. O. Popescu; B. Magnini; E. Pianta; L. Serafini; M. Speranza; A. Tamilin,
      From Mention to Ontology: A Pilot Study,
      3rd Italian Semantic Web Workshop on Semantic Web Applications and Perspectives (SWAP 2006),
      CEUR-WS.org,
      2006
    154. Y. Zhao; L. Serafini; F. Giunchiglia,
      Autonomous Ontology: Operations and Semantics,
      The Semantic Web - ASWC 2006, First Asian Semantic Web Conference,
      Springer,
      2006
      , pp. 646-
      652
    155. L. Serafini; S. Zanobini; S. Sceffer; P. Bouquet,
      Matching Hierarchical Classifications with Attributes,
      The Semantic Web: Research and Applications. 3rd European Semantic Web Conference (ESWC 2006), Proceedings,
      Springer,
      vol. 4011,
      2006
      , pp. 4-
      18
    156. C. Ghidini; L. Serafini,
      Reconciling Concepts and Relations in Heterogeneous Ontologies,
      The Semantic Web: Research and Applications. 3rd European Semantic Web Conference (ESWC 2006), Proceedings,
      Springer,
      vol. 4011,
      2006
      , pp. 50-
      64
    157. P. Bouquet; L. Serafini; S. Zanobini; S. Sceffer,
      Bootstrapping semantics on the web: meaning elicitation from schemas,
      15th international conference on World Wide Web, WWW 2006,
      ACM,
      2006
      , pp. 505-
      512
    158. L. C. Aiello; E. Giunchiglia; L. Serafini,
      Logics For Artificial Intelligence,
      in «INTELLIGENZA ARTIFICIALE»,
      AI*IA,
      vol. 3,
      n. 1-2,
      2006
      , pp. 7-
      13
    159. L. Serafini; A. Tamilin,
      DRAGO: Distributed Reasoning Architecture for the Semantic Web,
      2nd Annual European Semantic Web Conference (ESWC2005),
      Springer,
      vol. 3532,
      2005
      , pp. 361-
      376
    160. C. Ghidini; L. Serafini,
      Distributed First Order Logic - revised semantics,
      2005
    161. L. Serafini; S. Zanobini; S. Sceffer,
      Matching Semantic Graphs,
      2005
    162. L. Serafini; A. Borgida; A. Tamilin,
      Aspects of Distributed and Modular Ontology Reasoning,
      IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence,
      Professional Book Center,
      2005
      , pp. 570-
      575
    163. L. Serafini; H. Stuckenschmidt; H. Wache,
      A Formal Investigation of Mapping Language for Terminological Knowledge,
      IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence,
      Professional Book Center,
      2005
      , pp. 576-
      581
    164. L. Serafini,
      Distributed reasoning for semantically related domains,
      2005
    165. H. Stuckenschmidt; L. Serafini; H. Wache,
      Reasoning About Ontology Mappings,
      2005
    166. B. Magnini; M. Negri; E. Pianta; L. Romano; M. Speranza; L. Serafini; C. Girardi; V. Bartalesi; R. Sprugnoli,
      Semantic Web Applications and Perspectives (SWAP 2005)2nd Italian Semantic Web Workshop,
      2005
    167. F. Roelofsen; L. Serafini,
      Minimality and Non-determinism in Multi-context Systems,
      Modeling and Using Context, 5th International and Interdisciplinary Conference, CONTEXT 2005,
      Springer,
      vol. 3554,
      2005
      , pp. 424-
      435
    168. F. Roelofsen; L. Serafini,
      Minimal and Absent Information in Contexts,
      IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence,
      Professional Book Center,
      2005
      , pp. 558-
      563
    169. L. Serafini; A. Tamilin,
      Distributed Instance Retrieval in Heterogeneous Ontologies,
      SWAP 2005 - Semantic Web Applications and Perspectives, Proceedings of the 2nd Italian Semantic Web Workshop,
      CEUR-WS.org,
      2005
    170. P. Bouquet; L. Serafini; H. Stoermer,
      Introducing Context into RDF Knowledge Bases,
      SWAP 2005 - Semantic Web Applications and Perspectives, Proceedings of the 2nd Italian Semantic Web Workshop,
      CEUR-WS.org,
      2005
    171. P. Bouquet, L. Serafini,
      Comparing Formal theories of Context in AI,
      in «ARTIFICIAL INTELLIGENCE»,
      vol. 155,
      n. 1-2,
      2004
      , pp. 41-
      67
    172. E. Franconi; G. Kuper; A. Lopatenko; L. Serafini,
      A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems,
      Databases, Information Systems, and Peer-to-Peer Computing, First International Workshop, DBISP2P,
      Springer,
      vol. 2944,
      2004
      , pp. 64-
      76
    173. L. Serafini; A. Tamilin,
      2004 International Workshop on Description Logics [DL2004],
      CEUR-WS.org,
      vol. 104,
      2004
      , pp. 100-
      109
    174. L. Serafini; F. Roelofsen,
      Ninth International Conference on Principles of Knowledge Representation and Reasoning [KR2004],
      AAAI,
      2004
      , pp. 369-
      376
    175. M. Bonifacio; A. Donà; A. Molani; L. Serafini,
      Context matching for electronic marketplaces: a case study,
      in «KNOWLEDGE ENGINEERING REVIEW»,
      Cambridge Journals Online,
      vol. 18,
      n. 4,
      2004
      , pp. 317-
      328
    176. P. Bouquet; F. Giunchiglia; H. F. van Harmelen; L. Serafini; H. Stuckenschmidt,
      in «JOURNAL OF WEB SEMANTICS»,
      2004
      , pp. 325-
      343
    177. B. Magnini; L. Serafini; M. Speranza,
      Semantic Coordination for Document Retrieval,
      in «KI. KUNSTLICHE INTELLIGENZ»,
      Kamloth & Schweitzer oHG,
      vol. 4,
      2004
      , pp. 18-
      23
    178. L. Serafini; F. Roelofsen,
      Satisfiability for Propositional Contexts,
      Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004),
      AAAI Press,
      2004
      , pp. 369-
      376
    179. P. Bouquet; L. Serafini; S. Zanobini,
      Coordinating Semantic Peers,
      Artificial Intelligence: Methodology, Systems, and Applications, Proceedings of the 11th International Conference (AIMSA 2004),
      vol. 3192,
      2004
      , pp. 75-
      84
    180. L. Serafini; F. Roelofsen,
      Complexity of Contextual Reasoning,
      Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence,
      AAAI Press,
      2004
      , pp. 118-
      123
    181. P. Bouquet; L. Serafini; S. Zanobini,
      Peer to Peer Semantic Coordination,
      in «JOURNAL OF WEB SEMANTICS»,
      vol. 2,
      n. 1,
      2004
      , pp. 81-
      97
    182. H. Stuckenschmidt; H. F. Van; L. Serafini; P. Bouquet; F. Giunchiglia,
      Using C-OWL for the Alignment and Merging of Medical Ontologies,
      First International Workshop on Formal Biomedical Knowledge Representation (KR-MED 2004),
      2004
      , pp. 88-
      101
    183. S. Sceffer; L. Serafini; S. Zanobini,
      Semantic coordination of hierarchical classifications with attributes,
      2004
    184. F. Roelofsen; L. Serafini; A. Cimatti,
      Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems,
      Proceedings of 16th Eureopean Conference on Artificial Intelligence,
      2004
      , pp. 58-
      62
    185. Luciano Serafini; Paolo Bouquet; Bernardo Magnini; S. Zanobini,
      An algorithm for matching contextualized schemas via SAT,
      2003
    186. Bernardo Magnini; Luciano Serafini; A. Donà; Laura Gatti; Christian Girardi; Manuela Speranza,
      Large-scale Evaluation of Context Matching,
      2003
    187. Luciano Serafini; Fausto Giunchiglia; John Mylopoulos; Phil Bernstein,
      Local Relational Model: a logical formalization of database coordination,
      Modeling and Using Context. Proceedings of the 4th International and Interdisciplinary Conference [CONTEXT 2003],
      Springer,
      vol. 2680,
      2003
      , pp. 286-
      299
    188. Paolo Bouquet; Luciano Serafini,
      On the difference between bridge rules and lifting axioms,
      Modeling and Using Context. Proceedings of the 4th International and Interdisciplinary Conference (CONTEXT 2003),
      Springer,
      vol. 2680,
      2003
      , pp. 80-
      94
    189. Paolo Bouquet; A. Donà; Luciano Serafini; S. Zanobini,
      ConTeXtualized local ontology specification via CTXML,
      AAAI 2002 Workshop on Meaning Negotiation,
      AAAI Press,
      2003
      , pp. 64-
      71
    190. Matteo Bonifacio; Antonia Donà; Alessandra Molani; Luciano Serafini,
      Context matcing for electronic marketplaces: a case study,
      1st IJCAI Workshop on Ontologies and Distributed Systems,
      2003
    191. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
      Making explicit the hidden semantics of hierarchical classifications,
      2003
    192. Paolo Bouquet; Bernardo Magnini; Luciano Serafini; S. Zanobini,
      A SAT-based algorithm for context matching,
      Modeling and Using Context. Proceedings of the 4th International and Interdisciplinary Conference (CONTEXT 2003),
      Springer,
      vol. 2680,
      2003
      , pp. 66-
      79
    193. Paolo Bouquet; Luciano Serafini; S. Zanobini,
      Semantic coordination in systems of autonomous agents: the approach and an implementation,
      WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop `From Objects to Agents`: Intelligent Systems and Pervasive Computing,
      Pitagora Editrice,
      2003
      , pp. 179-
      186
    194. Paolo Bouquet; Luciano Serafini; Stefano Zanobini,
      Semantic Coordination: A New Approach and an Application,
      The Semantic Web - ISWC 2003. Proceedings of the Second International Semantic Web Conference,
      Springer,
      vol. 2870,
      2003
      , pp. 130-
      145
    195. Paolo Bouquet; Luciano Serafini; S. Zanobini; Massimo Benerecetti,
      An Algorithm for Semantic Coordination,
      Semantic Integration Workshop (SI-2003). Second International Semantic Web Conference,
      CEUR-WS.org,
      2003
      , pp. 21-
      26
    196. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
      Workshop on Human Language Technology for Semantic Web and Web Services. Proceedings of the ISWC 2003 Workshop,
      2003
      , pp. 23-
      37
    197. Alex Borgida; Luciano Serafini,
      Journal on Data Semantics I,
      Springer,
      vol. 2800,
      2003
      , pp. 153-
      184
    198. Stefano Bettelli; Tommaso Calarco; Luciano Serafini,
      in «THE EUROPEAN PHYSICAL JOURNAL. D, ATOMIC, MOLECULAR AND OPTICAL PHYSICS»,
      EDP Sciences,
      vol. 25,
      2003
      , pp. 181-
      200
    199. Paolo Bouquet; Fausto Giunchiglia; Harmelen Frank van; Luciano Serafini; Heiner Stuckenschmidt,
      C-OWL: Contextualizing Ontologies,
      The Semantic Web - ISWC 2003. Proceedings of the Second International Semantic Web Conference,
      Springer,
      vol. 2870,
      2003
      , pp. 164-
      179
    200. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
      Making Explicit the Hidden Semantics of Hierarchical Classifications,
      AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence,
      Springer,
      vol. 2829,
      2003
      , pp. 436-
      448
    201. Alex Borgida; Luciano Serafini,
      Distributed Description Logics: Assimilating Information from Peer Sources,
      2003
    202. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
      Making Explicit the Semantics Hidden in Schema Models,
      2003
    203. Paolo Bouquet; Luciano Serafini; S. Zanobini,
      Semantic Coordination: A New Approach and an Application,
      2003
    204. Mark James Carman; Luciano Serafini,
      Planning For Web Services the Hard Way,
      2003 Symposium on Applications and the Internet Workshops (SAINT 2003),
      IEEE Computer Society,
      2003
      , pp. 73-
      77
    205. G. Criscuolo; Fausto Giunchiglia; Luciano Serafini,
      A Foundation for Metareasoning Part I: The Proof Theory,
      in «JOURNAL OF LOGIC AND COMPUTATION»,
      Oxford University Press,
      vol. 12,
      n. 1,
      2002
      , pp. 167-
      208
    206. Luciano Serafini; Fausto Giunchiglia,
      Springer,
      vol. 11,
      n. 4,
      2002
      , pp. 471-
      518
    207. G. Criscuolo; Fausto Giunchiglia; Luciano Serafini,
      A Foundation for Metareasoning. Part II: The model theory,
      in «JOURNAL OF LOGIC AND COMPUTATION»,
      Oxford University Press,
      vol. 12,
      n. 3,
      2002
      , pp. 345-
      370
    208. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
      Linguistic Based Matching of Local Ontologies,
      Workshop on Meaning Negotiation 2002,
      2002
      , pp. 42-
      50
    209. M. Aiello; Paolo Busetta; A. Donà; Luciano Serafini,
      Ontological Overhearing,
      Intelligent Agents VIII, 8th International Workshop, ATAL 2001,
      Springer,
      vol. 2333,
      2002
      , pp. 175-
      189
    210. Antonia Donà; Luciano Serafini,
      Updating Contexts,
      KR2002: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning,
      Morgan Kaufmann,
      2002
      , pp. 251-
      264
    211. Mark James Carman; Floriano Zini; Luciano Serafini; K. Stockinger,
      Towards an Economy-Based optimisation of File Access and Replication on a Data Grid,
      2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002),
      IEEE Computer Society,
      2002
      , pp. 340-
      345
    212. Rolf Nossum; Luciano Serafini,
      Multicontext logic for semigroups of contexts,
      Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002,
      Springer,
      2002
      , pp. 90-
      101
    213. Luciano Serafini; A. Donà; Paolo Bouquet,
      Context Markup Language (CTXML),
      2002
    214. Alex Borgida; Luciano Serafini,
      International Workshop on Description Logics [DL2002],
      CEUR-WS.org,
      2002
    215. Phil Bernstein; Fausto Giunchiglia; A. Kementsietsidis; John Mylopoulos; Luciano Serafini; Ilya Zaihrayeu,
      Fifth International Workshop on the Web and Databases [WebDB 2002],
      2002
    216. Bernardo Magnini; Luciano Serafini; Manuela Speranza; S. Zanobini,
      CTXMATCH - A reference schema for Context Matching (V. 1.0),
      2002
    217. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
      Using NLP Techniques for Meaning Negotiation,
      VIII Convegno AI*IA,
      2002
    218. Alex Borgida; Luciano Serafini,
      Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources,
      On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE,
      Springer,
      vol. 2519,
      2002
      , pp. 36-
      53
    219. Bernardo Magnini; Luciano Serafini; Manuela Speranza,
      Making Hidden Semantics of Hierarchical Classifications Explicit,
      2002
    220. M. Aiello; Mike P. Papazoglou; J. Yang; Mark James Carman; Marco Pistore; Luciano Serafini; Paolo Traverso,
      Technologies for E-Services, Third International Workshop, TES 2002, Proceedings,
      Springer,
      vol. 2444,
      2002
      , pp. 76-
      85
    221. A.F. Dragoni; Paolo Giorgini; Luciano Serafini,
      Updating Mental States from Communication,
      Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000,
      Springer,
      vol. 1986,
      2001
      , pp. 15-
      30
    222. A.F. Dragoni; Paolo Giorgini; Luciano Serafini,
      Mental State Recognition from Communication,
      in «JOURNAL OF LOGIC AND COMPUTATION»,
      Oxford University Press,
      vol. 12,
      n. 1,
      2001
      , pp. 119-
      136
    223. Luciano Serafini; H. Stockinger; K. Stockinger; Floriano Zini,
      Agent-Based Query Optimization in a Grid Environment,
      IASTED International Conference. Applied Informatics, Symposium 2: Networks, Parallel and Distributed Processing, and Applications,
      Acta Press,
      2001
      , pp. 106-
      111
    224. Paolo Busetta; Luciano Serafini; D. Singh; Floriano Zini,
      Extending Multi-Agent Cooperation by Overhearing,
      Cooperative Information Systems, Proceedings of the 9th International Conference CoopIS 2001,
      Springer,
      vol. 2172,
      2001
      , pp. 40-
      52
    225. Paolo Bouquet; Luciano Serafini,
      Two formalizations of context: a comparison,
      CONTEXT`01: Third International and Interdisciplinary Conference on Modeling and Using Context,
      Springer,
      vol. 2116,
      2001
      , pp. 87-
      101
    226. Luciano Serafini,
      Quantificational logic of contexts revisited,
      2001
    227. Paolo Busetta; Mark James Carman; Luciano Serafini; K. Stockinger; Floriano Zini,
      Grid Query Optimisation in the Data Grid,
      2001
    228. Luciano Serafini; Fausto Giunchiglia; John Mylopoulos; Phil Bernstein,
      The Local Relational Model: Model and Proof Theory,
      2001
    229. Stefano Bettelli; Tommaso Calarco; Luciano Serafini,
      Toward an architecture for quantum programming,
      2001
    230. Paolo Bouquet; Luciano Serafini,
      Two formalizations of context: a comparison,
      2000
    231. Alessandro Cimatti; Luciano Serafini,
      A Context-Based Mechanization of Multi-Agent Reasoning,
      Formal Aspects of Context,
      Kluwer,
      vol. 20,
      2000
      , pp. 65-
      83
    232. Luciano Serafini; Chiara Ghidini,
      Context Based Semantics for Information Integration,
      Formal Aspects of Context,
      Kluwer,
      vol. 20,
      2000
      , pp. 175-
      192
    233. Chiara Ghidini; Luciano Serafini,
      Distributed First Order Logics,
      Frontiers of Combining Systems, Second International Symposium (FroCos 1998),
      n. 7,
      2000
      , pp. 121-
      139
    234. A.F. Dragoni; Paolo Giorgini; Luciano Serafini,
      Updating Mental States from Informative Communication,
      AGENTS 2000, Proceedings of the fourth international conference on Autonomous agents,
      ACM,
      2000
      , pp. 231-
      232
    235. Luciano Serafini; Chiara Ghidini,
      Using wrapper agents to answer queries in distributed information systems,
      First International Conference on Advances in Information Systems (ADVIS`2000),
      Springer,
      vol. 1909,
      2000
      , pp. 331-
      340
    236. Luciano Serafini; Chiara Ghidini,
      Using Wrapper Agents to Answer Queries in Distributed Information Systems,
      4th International Conference on Multi-Agent Systems (ICMAS 2000),,
      IEEE Computer Society,
      2000
      , pp. 429-
      430
    237. Chiara Ghidini; Luciano Serafini,
      A Context-based Logic for Distribution Knowledge Representation and Reasoning,
      Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT`99),
      Springer,
      vol. 1688,
      1999
      , pp. 159-
      172
    238. Luciano Serafini,
      Definizione dei servizi di base per l'informatizzazione della protezione civile della Provincia Autonoma di Trento,
      1999
    239. Paolo Avesani; A. Celli; Fausto Giunchiglia; Luciano Serafini,
      Primo nucleo di servizi di base per l'informatizzazione della Protezione Civile della Provincia Autonoma di Trento,
      1999
    240. Luciano Serafini; G. Tommasi,
      Censimento delle fonti informative rilevanti per il Sistema Informativo della Protezione Civile,
      1999
    241. Chiara Ghidini; Luciano Serafini,
      Model Theoretic Semantics for Information Integration,
      8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA`98),
      Springer,
      vol. 1480,
      1998
      , pp. 267-
      280
    242. Massimo Benerecetti; Fausto Giunchiglia; Luciano Serafini,
      1998 European Workshop on Validation and Verification of Knowledge-Based Systems [KR`98],
      1998
    243. Ghidini, Chiara; Serafini, Luciano,
      Proceedings of the First International Workshop on Agent Mediated Electronic Trading,
      Springer Verlag,
      vol. 1571,
      1998
      , pp. 189-
      206
    244. Luciano Serafini; Chiara Ghidini,
      Context Based Semantics for Federated Databases,
      International and Interdisciplinary Conference on Modeling and Using Context [Context-97],
      1997
      , pp. 33-
      45
    245. Luciano Serafini; Chiara Ghidini,
      Local Models Semantics for Information Integration,
      AAAI Fall symposium on Context in Knowledge Representation (KR) and Natural Language (NL),
      AAAI,
      1997
    246. Luciano Serafini; Chiara Ghidini,
      Formalizing and Reasoning about Constraints in Federated Databases,
      1997
    247. Massimo Benerecetti; Fausto Giunchiglia; Luciano Serafini,
      Model Checking Multiagent Systems,
      1997
    248. Chiara Ghidini; Luciano Serafini,
      Foundation of Federated Databases, I: A Model Theoretic Perspective,
      1997
    249. Alessandro Cimatti; Luciano Serafini,
      Mechanizing Multi-Agent Reasoning with Belief Contexts,
      Practical Reasoning, International Conference on Formal and Applied Practical Reasoning [FAPR`96],
      Springer,
      1996
      , pp. 694-
      696
    250. Massimo Benerecetti; Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
      Context-Based Formal Specification of Multi-Agent Systems,
      Working Notes of the Third International Workshop on Agent Theories, Architectures, and Languages [ATAL-96],
      1996
      , pp. 295-
      307
    251. Luciano Serafini; Chiara Ghidini,
      Local Semantics for Federated Databases,
      1996
    252. Alessandro Cimatti; Luciano Serafini,
      Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization,
      IJCAI-95 Workshop on Modelling Context in Knowledge Representation and Reasoning,
      1995
      , pp. 35-
      45
    253. Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
      Agents as Reasoners, Observers or Believers,
      Topics in Artificial Intelligence. Proceedings of the 4th Congresso AI*IA,
      Springer,
      vol. 992,
      1995
      , pp. 414-
      425
    254. Alessandro Cimatti; Luciano Serafini,
      Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study,
      Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages,
      Springer,
      vol. 890,
      1995
      , pp. 71-
      85
    255. Alessandro Cimatti; Luciano Serafini,
      Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance,
      First International Conference on Multiagent Systems,
      MIT Press,
      1995
      , pp. 57-
      64
    256. Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
      Agents as Reasoners, Observers, or Arbitrary Believers,
      First International Conference on Multiagent Systems,
      MIT Press,
      1995
      , pp. 448-
    257. G. Criscuolo; Fausto Giunchiglia; Luciano Serafini,
      A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case),
      1994
    258. Fausto Giunchiglia; Luciano Serafini,
      Multilanguage Hierarchical Logics or: How we can do Without Modal Logics,
      in «ARTIFICIAL INTELLIGENCE»,
      Elsevier,
      vol. 65,
      n. 1,
      1994
      , pp. 29-
      70
    259. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
      MRG: sistema di ragionamento,
      in «AUTOMAZIONE E STRUMENTAZIONE»,
      VNU Business Publications,
      vol. 9,
      1993
      , pp. 97-
      103
    260. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
      MRG: un nucleo di ragionamento per un sistema integrato multifunzionale,
      in «SISTEMI INTELLIGENTI»,
      il Mulino,
      vol. 3,
      1993
      , pp. 435-
      460
    261. Fausto Giunchiglia; Luciano Serafini; Enrico Giunchiglia; Marcello Frixione,
      Non-Omniscient Belief as Context-Based Resoning,
      13th International Joint Conference on Artificial Intelligence,
      Morgan Kaufmann,
      1993
      , pp. 548-
      554
    262. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
      Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento,
      Automation 1992, 36th ANIPLA Conference,
      Pirella,
      1992
      , pp. 620-
      633
    263. Fausto Giunchiglia; Luciano Serafini,
      Multilanguage hierarchical logics (or: how we can do without modal logics),
      CNKBS`92, Proceedings of the First Compulog Net Meeting on Knowledge Bases,
      1992
      , pp. 44-
      45
    264. Fausto Giunchiglia; Luciano Serafini; Alex K. Simpson,
      Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics,
      Meta-Programming in Logic, 3rd International Workshop, META-92,
      Springer,
      vol. 649,
      1992
      , pp. 235-
      249
    265. Fausto Giunchiglia; Paolo Traverso; Luciano Serafini,
      La deduzione automatica,
      in «SISTEMI INTELLIGENTI»,
      il Mulino,
      vol. 1,
      1991
    266. Fausto Giunchiglia; Luciano Serafini,
      Multilanguage First Order Theories of Propositional Attitudes,
      Third Scandinavian Conference on Artificial Intelligence 1991,
      IOS Press,
      vol. 12,
      1991
      , pp. 228-
      240

    Latest news