Luciano Serafini

From Tetherless World Wiki

Jump to: navigation, search
Luciano Serafini [ Edit ]
Photo:
Name: Luciano Serafini
Occupation:
Affiliation(s):
Homepage(s):
Email(s):
Phone:
Fax:
Interests:
Other tags:
Alias:
Please also add"{{alias}}" to your alias pages.


Publication

Update publication from DBLP

  1. Marco Rospocher, Chiara Ghidini, Luciano Serafini, Barbara Kump, Viktoria Pammer, Stefanie N. Lindstaedt, Andreas Faatz, Tobias Ley. Collaborative Enterprise Integrated Modelling, In SWAP, , 2008 .
  2. Chiara Ghidini, Luciano Serafini, Sergio Tessaris. Complexity of Reasoning With Expressive Ontology Mappings, In FOIS, pp. 151-163, 2008 .
  3. Elena Cardillo, Claudio Eccher, Luciano Serafini, Andrei Tamilin. Logical Analysis of Mappings between Medical Classification Systems, In AIMSA, pp. 311-321, 2008 .
  4. Conny Christl, Chiara Ghidini, Joanna Guss, Stefanie N. Lindstaedt, Viktoria Pammer, Marco Rospocher, Peter Scheir, Luciano Serafini. Deploying Semantic Web Technologies for Work Integrated Learning in Industry - A Comparison: SME vs. Large Sized Company, In International Semantic Web Conference, pp. 709-722, 2008 .
  5. Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciano Serafini, Paolo Tonella. Reasoning on Semantically Annotated Processes, In ICSOC, pp. 132-146, 2008 .
  6. Chiara Ghidini, Luciano Serafini, Sergio Tessaris. Bridging Heterogeneous Representations of Binary Relations: First Results, In Description Logics, , 2008 .
  7. Chiara Ghidini, Luciano Serafini. Mapping Properties of Heterogeneous Ontologies, In AIMSA, pp. 181-193, 2008 .
  8. Gerhard Brewka, Floris Roelofsen, Luciano Serafini. Contextual Default Reasoning, In IJCAI, pp. 268-273, 2007 (Download) .
  9. Luciano Serafini, Andrei Tamilin. Instance Migration in Heterogeneous Ontology Environments, In ISWC/ASWC, pp. 452-465, 2007 (Download) .
  10. Luciano Serafini, Andrei Tamilin. Reasoning with Instances of Heterogeneous Ontologies, In SWAP, , 2007 .
  11. Chiara Ghidini, Luciano Serafini, Sergio Tessaris. On Relating Heterogeneous Elements from Different Ontologies, In CONTEXT, pp. 234-247, 2007 .
  12. Mark Giereth, Steffen Koch, Yiannis Kompatsiaris, Symeon Papadopoulos, Emanuele Pianta, Luciano Serafini, Leo Wanner. A Modular Framework for Ontology-based Representation of Patent Information, In JURIX, pp. 49-58, 2007 .
  13. David G. Cameron, Rub \'e n Carvajal-Schiaffino, Caitriana Nicholson, Kurt Stockinger, Floriano Zini, A. Paul Millar, Luciano Serafini. Formal analysis of an agent-based optimisation strategy for Data Grids, In Multiagent and Grid Systems, 2(2):149-162, 2006 .
  14. Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini. Model-Checking Memory Requirements of Resource-Bounded Reasoners, In AAAI, , 2006 (Download) .
  15. Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini. Verifying Space and Time Requirements for Resource-Bounded Agents, In MoChArt, pp. 19-34, 2006 .
  16. Jeff Z. Pan, Luciano Serafini, Yuting Zhao. Semantic Import: An Approach for Partial Ontology Reuse, In WoMO, , 2006 .
  17. Luciano Serafini, Stefano Zanobini, Simone Sceffer, Paolo Bouquet. Matching Hierarchical Classifications with Attributes, In ESWC, pp. 4-18, 2006 (Download) .
  18. Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini. Logics For Artificial Intelligence, In Intelligenza Artificiale, 3(1-2):7-13, 2006 .
  19. Yuting Zhao, Luciano Serafini, Fausto Giunchiglia. Autonomous Ontology: Operations and Semantics, In ASWC, pp. 646-652, 2006 (Download) .
  20. Paolo Bouquet, Luciano Serafini, Stefano Zanobini, Simone Sceffer. Bootstrapping semantics on the web: meaning elicitation from schemas, In WWW, pp. 505-512, 2006 (Download) .
  21. Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini, Luciano Serafini. Verifying space and time requirements for resource-bounded agents, In AAMAS, pp. 217-219, 2006 .
  22. Octavian Popescu, Bernardo Magnini, Emanuele Pianta, Luciano Serafini, Manuela Speranza. From Mentions to Ontology: A Pilot Sudy, In SWAP, , 2006 .
  23. Chiara Ghidini, Luciano Serafini. Reconciling Concepts and Relations in Heterogeneous Ontologies, In ESWC, pp. 50-64, 2006 (Download) .
  24. Luciano Serafini, Andrei Tamilin. DRAGO: Distributed Reasoning Architecture for the Semantic Web, In ESWC, pp. 361-376, 2005 (Download) .
  25. Paolo Bouquet, Luciano Serafini, Heiko Stoermer. Introducing Context into RDF Knowledge Bases, In SWAP, , 2005 .
  26. Luciano Serafini, Heiner Stuckenschmidt, Holger Wache. A Formal Investigation of Mapping Language for Terminological Knowledge, In IJCAI, pp. 576-581, 2005 (Download) .
  27. Luciano Serafini, Andrei Tamilin. Distributed Instance Retrieval in Heterogeneous Ontologies, In SWAP, , 2005 .
  28. Floris Roelofsen, Luciano Serafini. Minimal and Absent Information in Contexts, In IJCAI, pp. 558-563, 2005 (Download) .
  29. Luciano Serafini, Heiner Stuckenschmidt, Holger Wache. A Formal Investigation of Mapping Languages for Terminological Knowledge, In BNAIC, pp. 379-380, 2005 .
  30. Bernardo Magnini, Matteo Negri, Emanuele Pianta, Lorenza Romano, Manuela Speranza, Luciano Serafini, Christian Girardi, Valentina Bartalesi, Rachele Sprugnoli. From Text to Knowledge for the Semantic Web: the ONTOTEXT Project, In SWAP, , 2005 .
  31. Luciano Serafini, Alexander Borgida, Andrei Tamilin. Aspects of Distributed and Modular Ontology Reasoning, In IJCAI, pp. 570-575, 2005 (Download) .
  32. Floris Roelofsen, Luciano Serafini. Minimality and Non-determinism in Multi-context Systems, In CONTEXT, pp. 424-435, 2005 .
  33. Luciano Serafini, Floris Roelofsen. Satisfiability for Propositional Contexts, In KR, pp. 369-376, 2004 .
  34. Luciano Serafini, Andrei Tamilin. Local Tableaux for Reasoning in Distributed Description Logics, In Description Logics, , 2004 .
  35. Bernardo Magnini, Luciano Serafini, Manuela Speranza. Semantic Coordination for Document Retrieval, In KI, 18(4):18-23, 2004 .
  36. Heiner Stuckenschmidt, Frank van Harmelen, Paolo Bouquet, Fausto Giunchiglia, Luciano Serafini. Using C-OWL for the alignment and merging of medical ontologies, In KR-MED, pp. 88-101, 2004 .
  37. Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt. Contextualizing ontologies, In J. Web Sem., 1(4):325-343, 2004 (Download) .
  38. Floris Roelofsen, Luciano Serafini, Alessandro Cimatti. Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems, In ECAI, pp. 58-62, 2004 .
  39. Floris Roelofsen, Luciano Serafini. Complexity of Contextual Reasoning, In AAAI, pp. 118-123, 2004 (Download) .
  40. Paolo Bouquet, Luciano Serafini, Stefano Zanobini. Coordinating Semantic Peers, In AIMSA, pp. 75-84, 2004 .
  41. Luciano Serafini, Paolo Bouquet. Comparing formal theories of context in AI, In Artif. Intell., 155(1-2):41-67, 2004 .
  42. Paolo Bouquet, Luciano Serafini, Stefano Zanobini. Peer-to-peer semantic coordination, In J. Web Sem., 2(1):81-97, 2004 (Download) .
  43. Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini. A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems, In DBISP2P, pp. 64-76, 2003 .
  44. Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein. Local Relational Model: A Logical Formalization of Database Coordination, In CONTEXT, pp. 286-299, 2003 .
  45. Paolo Bouquet, Bernardo Magnini, Luciano Serafini, Stefano Zanobini. A SAT-Based Algorithm for Context Matching, In CONTEXT, pp. 66-79, 2003 .
  46. Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt. C-OWL: Contextualizing Ontologies, In International Semantic Web Conference, pp. 164-179, 2003 (Download) .
  47. Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini. A Robust and Computational Characterisation of Peer-to-Peer Database Systems, In CoRR, cs.DC/0308013, 2003 .
  48. Mark Carman, Luciano Serafini. Planning For Web Services the Hard Way, In SAINT Workshops, pp. 73-77, 2003 .
  49. Paolo Bouquet, Luciano Serafini. On the Difference between Bridge Rules and Lifting Axioms, In CONTEXT, pp. 80-93, 2003 .
  50. Bernardo Magnini, Luciano Serafini, Manuela Speranza. Making Explicit the Hidden Semantics of Hierarchical Classifications, In AI*IA, pp. 436-448, 2003 .
  51. Paolo Bouquet, Luciano Serafini, Stefano Zanobini. Semantic Coordination: A New Approach and an Application, In International Semantic Web Conference, pp. 130-145, 2003 (Download) .
  52. Alexander Borgida, Luciano Serafini. Distributed Description Logics: Assimilating Information from Peer Sources, In J. Data Semantics, 1:153-184, 2003 .
  53. Paolo Bouquet, Luciano Serafini, Mario Zanobini. Semantic Coordination in Systems of Autonomous Agents: the Approach and an Implementation, In WOA, pp. 179-186, 2003 .
  54. Marco Aiello, Mike P. Papazoglou, Jian Yang, Mark Carman, Marco Pistore, Luciano Serafini, Paolo Traverso. A Request Language for Web-Services Based on Planning and Constraint Satisfaction, In TES, pp. 76-85, 2002 .
  55. Alexander Borgida, Luciano Serafini. Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources, In CoopIS/DOA/ODBASE, pp. 36-53, 2002 .
  56. Luciano Serafini, Fausto Giunchiglia. ML Systems: A Proof Theory for Contexts, In Journal of Logic, Language and Information, 11(4):471-518, 2002 .
  57. Rolf Nossum, Luciano Serafini. Multicontext Logic for Semigroups of Contexts, In AISC, pp. 90-101, 2002 .
  58. Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini. A Foundation for Metareasoning Part I: The Proof Theory, In J. Log. Comput., 12(1):167-208, 2002 .
  59. Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, Ilya Zaihrayeu. Data Management for Peer-to-Peer Computing : A Vision, In WebDB, pp. 89-94, 2002 .
  60. Antonia Don \`a, Luciano Serafini. Updating Contexts, In KR, pp. 251-264, 2002 .
  61. Mark Carman, Floriano Zini, Luciano Serafini, Kurt Stockinger. Towards an Economy-Based Optimisation of File Access and Replication on a Data Grid, In CCGRID, pp. 340-345, 2002 .
  62. Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini. A Foundation for Metareasoning Part II: The Model Theory, In J. Log. Comput., 12(3):345-370, 2002 .
  63. Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini. Mental States Recognition from Communication, In J. Log. Comput., 12(1):119-136, 2002 .
  64. Paolo Bouquet, Luciano Serafini. Two Formalizations of Context: A Comparison, In CONTEXT, pp. 87-101, 2001 .
  65. Paolo Busetta, Luciano Serafini, Dhirendra Singh, Floriano Zini. Extending Multi-agent Cooperation by Overhearing, In CoopIS, pp. 40-52, 2001 .
  66. Marco Aiello, Paolo Busetta, Antonia Don \`a, Luciano Serafini. Ontological Overhearing, In ATAL, pp. 175-189, 2001 .
  67. S. Bettelli, Luciano Serafini, T. Calarco. Toward an architecture for quantum programming, In CoRR, cs.PL/0103009, 2001 .
  68. Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini. Updating mental states from informative communication, In Agents, pp. 231-232, 2000 .
  69. Luciano Serafini, Chiara Ghidini. Using Wrapper Agents to Answer Queries in Distributed Information Systems, In ADVIS, pp. 331-340, 2000 .
  70. Aldo Franco Dragoni, Paolo Giorgini, Luciano Serafini. Updating Mental States from Communication, In ATAL, pp. 15-30, 2000 .
  71. Chiara Ghidini, Luciano Serafini. A Context-Based Logic for Distributed Knowledge Representation and Reasoning, In CONTEXT, pp. 159-172, 1999 .
  72. Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini. A Model Checking Algorithm for Multiagent Systems, In ATAL, pp. 163-176, 1998 .
  73. Chiara Ghidini, Luciano Serafini. Model Theoretic Semantics for Information Integration, In AIMSA, pp. 267-280, 1998 .
  74. Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini. Model Checking Multiagent Systems, In J. Log. Comput., 8(3):401-423, 1998 .
  75. Chiara Ghidini, Luciano Serafini. Information Integration for Electronic Commerce, In AMET, pp. 189-206, 1998 .
  76. Alessandro Cimatti, Luciano Serafini. Mechanizing Multi-Agent Reasoning with Belief Contexts, In FAPR, pp. 694-696, 1996 .
  77. Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini. Formal Specification of Beliefs in Multi-Agent Systems, In ATAL, pp. 117-130, 1996 .
  78. Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini. Agents as Reasoners, Observers, or Arbitrary Believers, In ICMAS, pp. 448, 1995 .
  79. Alessandro Cimatti, Luciano Serafini. Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance, In ICMAS, pp. 57-64, 1995 .
  80. Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini. Agents as Reasoners, Observers or Believers, In AI*IA, pp. 414-425, 1995 .
  81. Alessandro Cimatti, Luciano Serafini. Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study, In ECAI Workshop on Agent Theories, Architectures, and Languages, pp. 71-85, 1994 .
  82. Fausto Giunchiglia, Luciano Serafini. Multilanguage Hierarchical Logics or: How we can do Without Modal Logics, In Artif. Intell., 65(1):29-70, 1994 .
  83. Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione. Non-Omniscient Belief as Context-Based Resoning, In IJCAI, pp. 548-554, 1993 (Download) .
  84. Fausto Giunchiglia, Luciano Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics), In CNKBS, pp. 44-45, 1992 .
  85. Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson. Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics, In META, pp. 235-249, 1992 .
  86. Fausto Giunchiglia, Luciano Serafini. Mulitlanguage First Order Theories of Propositional Attitudes, In SCAI, pp. 228-240, 1991 .

External Links

More information on Google, and DBLP

Facts about Luciano SerafiniRDF feed
Foaf:depiction Anonymous.png  +
Foaf:firstName Luciano  +
Foaf:name Luciano Serafini  +
Foaf:surname Serafini  +
Has identifier Luciano Serafini  +
Retrieved from "http://tw.rpi.edu/wiki/Luciano_Serafini"
Personal tools