dblp.uni-trier.dewww.uni-trier.de

Luciano Serafini Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

1Luigia Carlucci Aiello (Luigia Aiello) [67]
2Marco Aiello [25] [31]
3Alexandre Albore [78]
4Natasha Alechina [73] [77] [78]
5Massimo Benerecetti [11] [12] [13] [17]
6Philip A. Bernstein [30] [45]
7Piergiorgio Bertoli [73] [77] [78]
8S. Bettelli [22]
9Alexander Borgida [33] [36] [61]
10Paolo Bouquet [17] [24] [38] [40] [41] [43] [44] [48] [49] [50] [51] [55] [57] [70] [75] [85]
11Gerhard Brewka [82]
12Patrick Brézillon [17]
13Saartje Brockmans [94]
14Paolo Busetta [23] [25]
15T. Calarco [22]
16David G. Cameron [66]
17Elena Cardillo [91]
18Mark James Carman [31] [34] [39]
19Rubén Carvajal-Schiaffino [66]
20F. Castellani [17]
21Conny Christl [87]
22Alessandro Cimatti [6] [7] [10] [11] [53]
23Giovanni Criscuolo [27] [28]
24Antonia Donà [25] [32]
25Aldo Franco Dragoni [19] [20] [29]
26Claudio Eccher [91]
27Jérôme Euzenat [85]
28Andreas Faatz [86]
29Chiara Di Francescomarino [88]
30Enrico Franconi [37] [42]
31Marcello Frixione [4]
32Chiara Ghidini [14] [15] [16] [18] [21] [69] [71] [73] [74] [77] [78] [83] [84] [85] [86] [87] [88] [89] [90] [92] [95]
33Mark Giereth [80]
34Paolo Giorgini [19] [20] [29]
35Christian Girardi [58]
36Enrico Giunchiglia [4] [8] [9] [11] [67]
37Fausto Giunchiglia [1] [2] [3] [4] [5] [8] [9] [11] [12] [13] [26] [27] [28] [30] [40] [45] [49] [51] [76]
38Joanna Guss [87]
39Peter Haase [94]
40Frank van Harmelen [40] [49] [51]
41Mark Jago [73] [77]
42Anastasios Kementsietsidis [30]
43Steffen Koch [80]
44Yiannis Kompatsiaris (Ioannis Kompatsiaris) [80]
45Barbara Kump [86] [95]
46Gabriel M. Kuper [37] [42]
47Valentina Bartalesi Lenzi (Valentina Bartalesi) [58]
48Tobias Ley [86]
49Stefanie N. Lindstaedt [86] [87] [95]
50Brian Logan [73] [77] [78]
51Andrei Lopatenko [37] [42]
52Bernardo Magnini [44] [46] [47] [58] [72]
53Nahid Mahbub [95]
54Deborah L. McGuinness [85]
55A. Paul Millar [66]
56John Mylopoulos [30] [45]
57Matteo Negri [58]
58Caitriana Nicholson [66]
59Rolf Nossum [35]
60Viktoria Pammer [86] [87] [95]
61Jeff Z. Pan [68]
62Symeon Papadopoulos [80]
63Mike P. Papazoglou [31]
64Emanuele Pianta [58] [72] [80]
65Marco Pistore [31]
66Octavian Popescu [72]
67Floris Roelofsen [52] [53] [56] [62] [64] [82]
68Lorenza Romano [58]
69Marco Rospocher [86] [87] [88] [95]
70Simone Sceffer [70] [75]
71Peter Scheir [87]
72Pavel Shvaiko [85]
73Alex K. Simpson (Alex Simpson) [2]
74Dhirendra Singh [23]
75Manuela Speranza [46] [47] [58] [72]
76Rachele Sprugnoli [58]
77Kurt Stockinger [34] [66]
78Heiko Stoermer [57]
79Heiner Stuckenschmidt [40] [49] [51] [60] [65] [94]
80Andrei Tamilin [54] [59] [61] [63] [79] [81] [91] [93]
81Sergio Tessaris [83] [84] [89] [90]
82Paolo Tonella [88]
83Paolo Traverso [31]
84Holger Wache [60] [65] [85]
85Leo Wanner [80]
86Jian Yang [31]
87Ilya Zaihrayeu [30]
88Mario Zanobini [38]
89Stefano Zanobini [41] [44] [48] [55] [70] [75]
90Yuting Zhao [68] [76]
91Floriano Zini [23] [34] [66]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)