 | 2010 |
|---|
| 100 |       | Martin Homola,
Luciano Serafini:
Augmenting Subsumption Propagation in Distributed Description Logics.
Applied Artificial Intelligence 24(1&2): 39-76 (2010) |
| 2009 |
|---|
| 99 | | Paolo Bouquet,
Chiara Ghidini,
Luciano Serafini:
Querying the Web of Data: A Formal Approach.
ASWC 2009: 291-305 |
| 98 | | Chiara Ghidini,
Barbara Kump,
Stefanie N. Lindstaedt,
Nahid Mahbub,
Viktoria Pammer,
Marco Rospocher,
Luciano Serafini:
MoKi: The Enterprise Modelling Wiki.
ESWC 2009: 831-835 |
| 97 | | Chiara Di Francescomarino,
Chiara Ghidini,
Marco Rospocher,
Luciano Serafini,
Paolo Tonella:
Semantically-Aided Business Process Modeling.
International Semantic Web Conference 2009: 114-129 |
| 96 |  | Elena Cardillo,
Andrei Tamilin,
Luciano Serafini:
A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition.
KEOD 2009: 64-71 |
| 95 | | Marco Rospocher,
Chiara Ghidini,
Viktoria Pammer,
Luciano Serafini,
Stefanie N. Lindstaedt:
MoKi: the Modelling wiKi.
SemWiki 2009 |
| 94 | | Saartje Brockmans,
Peter Haase,
Luciano Serafini,
Heiner Stuckenschmidt:
Formal and Conceptual Comparison of Ontology Mapping Languages.
Modular Ontologies 2009: 267-291 |
| 93 | | Luciano Serafini,
Andrei Tamilin:
Composing Modular Ontologies with Distributed Description Logics.
Modular Ontologies 2009: 321-347 |
| 2008 |
|---|
| 92 | | Chiara Ghidini,
Luciano Serafini:
Mapping Properties of Heterogeneous Ontologies.
AIMSA 2008: 181-193 |
| 91 | | Elena Cardillo,
Claudio Eccher,
Luciano Serafini,
Andrei Tamilin:
Logical Analysis of Mappings between Medical Classification Systems.
AIMSA 2008: 311-321 |
| 90 | | Chiara 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 |
| 88 | | Chiara Di Francescomarino,
Chiara Ghidini,
Marco Rospocher,
Luciano Serafini,
Paolo Tonella:
Reasoning on Semantically Annotated Processes.
ICSOC 2008: 132-146 |
| 87 | | 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.
International Semantic Web Conference 2008: 709-722 |
| 86 | | Marco 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 |
| 84 | | Chiara Ghidini,
Luciano Serafini,
Sergio Tessaris:
On Relating Heterogeneous Elements from Different Ontologies.
CONTEXT 2007: 234-247 |
| 83 | | Chiara Ghidini,
Luciano Serafini,
Sergio Tessaris:
On Relating Heterogeneous Elements from Different Ontologies.
Description Logics 2007 |
| 82 | | Gerhard Brewka,
Floris Roelofsen,
Luciano Serafini:
Contextual Default Reasoning.
IJCAI 2007: 268-273 |
| 81 | | Luciano 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 |
| 79 | | Luciano 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 |
| 77 | | Natasha Alechina,
Mark Jago,
Piergiorgio Bertoli,
Brian Logan,
Chiara Ghidini,
Luciano Serafini:
Verifying space and time requirements for resource-bounded agents.
AAMAS 2006: 217-219 |
| 76 | | Yuting Zhao,
Luciano Serafini,
Fausto Giunchiglia:
Autonomous Ontology: Operations and Semantics.
ASWC 2006: 646-652 |
| 75 | | Luciano Serafini,
Stefano Zanobini,
Simone Sceffer,
Paolo Bouquet:
Matching Hierarchical Classifications with Attributes.
ESWC 2006: 4-18 |
| 74 | | Chiara Ghidini,
Luciano Serafini:
Reconciling Concepts and Relations in Heterogeneous Ontologies.
ESWC 2006: 50-64 |
| 73 | | Natasha Alechina,
Piergiorgio Bertoli,
Chiara Ghidini,
Mark Jago,
Brian Logan,
Luciano Serafini:
Verifying Space and Time Requirements for Resource-Bounded Agents.
MoChArt 2006: 19-34 |
| 72 | | Octavian Popescu,
Bernardo Magnini,
Emanuele Pianta,
Luciano Serafini,
Manuela Speranza:
From Mentions to Ontology: A Pilot Sudy.
SWAP 2006 |
| 71 | | Chiara Ghidini,
Luciano Serafini:
Reconciling Concepts and Relations in Heterogeneous Ontologies.
SWAP 2006 |
| 70 | | Paolo Bouquet,
Luciano Serafini,
Stefano Zanobini,
Simone Sceffer:
Bootstrapping semantics on the web: meaning elicitation from schemas.
WWW 2006: 505-512 |
| 69 | | Chiara Ghidini,
Luciano Serafini:
Mapping Properties of Heterogeneous Ontologies.
WoMO 2006 |
| 68 | | Jeff 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) |
| 66 | | David 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 |
| 64 | | Floris Roelofsen,
Luciano Serafini:
Minimality and Non-determinism in Multi-context Systems.
CONTEXT 2005: 424-435 |
| 63 | | Luciano Serafini,
Andrei Tamilin:
DRAGO: Distributed Reasoning Architecture for the Semantic Web.
ESWC 2005: 361-376 |
| 62 | | Floris Roelofsen,
Luciano Serafini:
Minimal and Absent Information in Contexts.
IJCAI 2005: 558-563 |
| 61 | | Luciano Serafini,
Alexander Borgida,
Andrei Tamilin:
Aspects of Distributed and Modular Ontology Reasoning.
IJCAI 2005: 570-575 |
| 60 | | Luciano Serafini,
Heiner Stuckenschmidt,
Holger Wache:
A Formal Investigation of Mapping Language for Terminological Knowledge.
IJCAI 2005: 576-581 |
| 59 | | Luciano Serafini,
Andrei Tamilin:
Distributed Instance Retrieval in Heterogeneous Ontologies.
SWAP 2005 |
| 58 | | 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.
SWAP 2005 |
| 57 | | Paolo 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 |
| 55 | | Paolo Bouquet,
Luciano Serafini,
Stefano Zanobini:
Coordinating Semantic Peers.
AIMSA 2004: 75-84 |
| 54 | | Luciano 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 |
| 51 | | Heiner 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 |
| 50 | | Luciano Serafini,
Paolo Bouquet:
Comparing formal theories of context in AI.
Artif. Intell. 155(1-2): 41-67 (2004) |
| 49 | | Paolo Bouquet,
Fausto Giunchiglia,
Frank van Harmelen,
Luciano Serafini,
Heiner Stuckenschmidt:
Contextualizing ontologies.
J. Web Sem. 1(4): 325-343 (2004) |
| 48 | | Paolo Bouquet,
Luciano Serafini,
Stefano Zanobini:
Peer-to-peer semantic coordination.
J. Web Sem. 2(1): 81-97 (2004) |
| 47 | | Bernardo Magnini,
Luciano Serafini,
Manuela Speranza:
Semantic Coordination for Document Retrieval.
KI 18(4): 18-23 (2004) |
| 2003 |
|---|
| 46 | | Bernardo Magnini,
Luciano Serafini,
Manuela Speranza:
Making Explicit the Hidden Semantics of Hierarchical Classifications.
AI*IA 2003: 436-448 |
| 45 | | Luciano Serafini,
Fausto Giunchiglia,
John Mylopoulos,
Philip A. Bernstein:
Local Relational Model: A Logical Formalization of Database Coordination.
CONTEXT 2003: 286-299 |
| 44 | | Paolo Bouquet,
Bernardo Magnini,
Luciano Serafini,
Stefano Zanobini:
A SAT-Based Algorithm for Context Matching.
CONTEXT 2003: 66-79 |
| 43 | | Paolo Bouquet,
Luciano Serafini:
On the Difference between Bridge Rules and Lifting Axioms.
CONTEXT 2003: 80-93 |
| 42 | | Enrico Franconi,
Gabriel M. Kuper,
Andrei Lopatenko,
Luciano Serafini:
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems.
DBISP2P 2003: 64-76 |
| 41 | | Paolo Bouquet,
Luciano Serafini,
Stefano Zanobini:
Semantic Coordination: A New Approach and an Application.
International Semantic Web Conference 2003: 130-145 |
| 40 | | Paolo Bouquet,
Fausto Giunchiglia,
Frank van Harmelen,
Luciano Serafini,
Heiner Stuckenschmidt:
C-OWL: Contextualizing Ontologies.
International Semantic Web Conference 2003: 164-179 |
| 39 | | Mark 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 |
| 37 | | Enrico Franconi,
Gabriel M. Kuper,
Andrei Lopatenko,
Luciano Serafini:
A Robust and Computational Characterisation of Peer-to-Peer Database Systems
CoRR cs.DC/0308013: (2003) |
| 36 | | Alexander Borgida,
Luciano Serafini:
Distributed Description Logics: Assimilating Information from Peer Sources.
J. Data Semantics 1: 153-184 (2003) |
| 2002 |
|---|
| 35 | | Rolf Nossum,
Luciano Serafini:
Multicontext Logic for Semigroups of Contexts.
AISC 2002: 90-101 |
| 34 | | Mark 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 |
| 33 | | Alexander 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 |
| 31 | | Marco 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 |
| 30 | | Philip 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 |
| 29 | | Aldo Franco Dragoni,
Paolo Giorgini,
Luciano Serafini:
Mental States Recognition from Communication.
J. Log. Comput. 12(1): 119-136 (2002) |
| 28 | | Giovanni Criscuolo,
Fausto Giunchiglia,
Luciano Serafini:
A Foundation for Metareasoning Part I: The Proof Theory.
J. Log. Comput. 12(1): 167-208 (2002) |
| 27 | | Giovanni 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 |
|---|
| 25 | | Marco Aiello,
Paolo Busetta,
Antonia Donà,
Luciano Serafini:
Ontological Overhearing.
ATAL 2001: 175-189 |
| 24 | | Paolo Bouquet,
Luciano Serafini:
Two Formalizations of Context: A Comparison.
CONTEXT 2001: 87-101 |
| 23 | | Paolo Busetta,
Luciano Serafini,
Dhirendra Singh,
Floriano Zini:
Extending Multi-agent Cooperation by Overhearing.
CoopIS 2001: 40-52 |
| 22 | | S. Bettelli,
Luciano Serafini,
T. Calarco:
Toward an architecture for quantum programming
CoRR cs.PL/0103009: (2001) |
| 2000 |
|---|
| 21 | | Luciano Serafini,
Chiara Ghidini:
Using Wrapper Agents to Answer Queries in Distributed Information Systems.
ADVIS 2000: 331-340 |
| 20 | | Aldo Franco Dragoni,
Paolo Giorgini,
Luciano Serafini:
Updating Mental States from Communication.
ATAL 2000: 15-30 |
| 19 | | Aldo Franco Dragoni,
Paolo Giorgini,
Luciano Serafini:
Updating mental states from informative communication.
Agents 2000: 231-232 |
| 18 | | Luciano 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 |
| 16 | | Chiara Ghidini,
Luciano Serafini:
A Context-Based Logic for Distributed Knowledge Representation and Reasoning.
CONTEXT 1999: 159-172 |
| 1998 |
|---|
| 15 | | Chiara Ghidini,
Luciano Serafini:
Model Theoretic Semantics for Information Integration.
AIMSA 1998: 267-280 |
| 14 | | Chiara 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 |
