| 2007 |
|---|
| 82 | | 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 |
| 81 | EE | Chiara Ghidini,
Luciano Serafini,
Sergio Tessaris:
On Relating Heterogeneous Elements from Different Ontologies.
CONTEXT 2007: 234-247 |
| 80 | EE | Chiara Ghidini,
Luciano Serafini,
Sergio Tessaris:
On Relating Heterogeneous Elements from Different Ontologies.
Description Logics 2007 |
| 79 | EE | Gerhard Brewka,
Floris Roelofsen,
Luciano Serafini:
Contextual Default Reasoning.
IJCAI 2007: 268-273 |
| 78 | EE | Luciano Serafini,
Andrei Tamilin:
Instance Migration in Heterogeneous Ontology Environments.
ISWC/ASWC 2007: 452-465 |
| 2006 |
|---|
| 77 | | Alexandre Albore,
Natasha Alechina,
Piergiorgio Bertoli,
Chiara Ghidini,
Brian Logan,
Luciano Serafini:
Model-Checking Memory Requirements of Resource-Bounded Reasoners.
AAAI 2006 |
| 76 | EE | 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 |
| 75 | EE | Yuting Zhao,
Luciano Serafini,
Fausto Giunchiglia:
Autonomous Ontology: Operations and Semantics.
ASWC 2006: 646-652 |
| 74 | EE | Luciano Serafini,
Stefano Zanobini,
Simone Sceffer,
Paolo Bouquet:
Matching Hierarchical Classifications with Attributes.
ESWC 2006: 4-18 |
| 73 | EE | Chiara Ghidini,
Luciano Serafini:
Reconciling Concepts and Relations in Heterogeneous Ontologies.
ESWC 2006: 50-64 |
| 72 | EE | 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 |
| 71 | EE | Octavian Popescu,
Bernardo Magnini,
Emanuele Pianta,
Luciano Serafini,
Manuela Speranza:
From Mentions to Ontology: A Pilot Sudy.
SWAP 2006 |
| 70 | EE | Chiara Ghidini,
Luciano Serafini:
Reconciling Concepts and Relations in Heterogeneous Ontologies.
SWAP 2006 |
| 69 | EE | Paolo Bouquet,
Luciano Serafini,
Stefano Zanobini,
Simone Sceffer:
Bootstrapping semantics on the web: meaning elicitation from schemas.
WWW 2006: 505-512 |
| 68 | EE | Chiara Ghidini,
Luciano Serafini:
Mapping Properties of Heterogeneous Ontologies.
WoMO 2006 |
| 67 | EE | Jeff Z. Pan,
Luciano Serafini,
Yuting Zhao:
Semantic Import: An Approach for Partial Ontology Reuse.
WoMO 2006 |
| 66 | | Luigia Carlucci Aiello,
Enrico Giunchiglia,
Luciano Serafini:
Logics For Artificial Intelligence.
Intelligenza Artificiale 3(1-2): 7-13 (2006) |
| 2005 |
|---|
| 65 | | Luciano Serafini,
Heiner Stuckenschmidt,
Holger Wache:
A Formal Investigation of Mapping Languages for Terminological Knowledge.
BNAIC 2005: 379-380 |
| 64 | EE | Floris Roelofsen,
Luciano Serafini:
Minimality and Non-determinism in Multi-context Systems.
CONTEXT 2005: 424-435 |
| 63 | EE | Luciano Serafini,
Andrei Tamilin:
DRAGO: Distributed Reasoning Architecture for the Semantic Web.
ESWC 2005: 361-376 |
| 62 | EE | Floris Roelofsen,
Luciano Serafini:
Minimal and Absent Information in Contexts.
IJCAI 2005: 558-563 |
| 61 | EE | Luciano Serafini,
Alexander Borgida,
Andrei Tamilin:
Aspects of Distributed and Modular Ontology Reasoning.
IJCAI 2005: 570-575 |
| 60 | EE | Luciano Serafini,
Heiner Stuckenschmidt,
Holger Wache:
A Formal Investigation of Mapping Language for Terminological Knowledge.
IJCAI 2005: 576-581 |
| 59 | EE | Luciano Serafini,
Andrei Tamilin:
Distributed Instance Retrieval in Heterogeneous Ontologies.
SWAP 2005 |
| 58 | EE | 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 | EE | 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 | EE | Paolo Bouquet,
Luciano Serafini,
Stefano Zanobini:
Coordinating Semantic Peers.
AIMSA 2004: 75-84 |
| 54 | EE | 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 | EE | 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 | EE | Luciano Serafini,
Paolo Bouquet:
Comparing formal theories of context in AI.
Artif. Intell. 155(1-2): 41-67 (2004) |
| 49 | EE | Paolo Bouquet,
Fausto Giunchiglia,
Frank van Harmelen,
Luciano Serafini,
Heiner Stuckenschmidt:
Contextualizing ontologies.
J. Web Sem. 1(4): 325-343 (2004) |
| 48 | EE | Paolo Bouquet,
Luciano Serafini,
Stefano Zanobini:
Peer-to-peer semantic coordination.
J. Web Sem. 2(1): 81-97 (2004) |
| 47 | EE | Bernardo Magnini,
Luciano Serafini,
Manuela Speranza:
Semantic Coordination for Document Retrieval.
KI 18(4): 18-23 (2004) |
| 2003 |
|---|
| 46 | EE | Bernardo Magnini,
Luciano Serafini,
Manuela Speranza:
Making Explicit the Hidden Semantics of Hierarchical Classifications.
AI*IA 2003: 436-448 |
| 45 | EE | Luciano Serafini,
Fausto Giunchiglia,
John Mylopoulos,
Philip A. Bernstein:
Local Relational Model: A Logical Formalization of Database Coordination.
CONTEXT 2003: 286-299 |
| 44 | EE | Paolo Bouquet,
Bernardo Magnini,
Luciano Serafini,
Stefano Zanobini:
A SAT-Based Algorithm for Context Matching.
CONTEXT 2003: 66-79 |
| 43 | EE | Paolo Bouquet,
Luciano Serafini:
On the Difference between Bridge Rules and Lifting Axioms.
CONTEXT 2003: 80-93 |
| 42 | EE | 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 | EE | Paolo Bouquet,
Luciano Serafini,
Stefano Zanobini:
Semantic Coordination: A New Approach and an Application.
International Semantic Web Conference 2003: 130-145 |
| 40 | EE | Paolo Bouquet,
Fausto Giunchiglia,
Frank van Harmelen,
Luciano Serafini,
Heiner Stuckenschmidt:
C-OWL: Contextualizing Ontologies.
International Semantic Web Conference 2003: 164-179 |
| 39 | EE | Mark 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 | EE | 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 | EE | Alexander Borgida,
Luciano Serafini:
Distributed Description Logics: Assimilating Information from Peer Sources.
J. Data Semantics 1: 153-184 (2003) |
| 2002 |
|---|
| 35 | EE | Rolf Nossum,
Luciano Serafini:
Multicontext Logic for Semigroups of Contexts.
AISC 2002: 90-101 |
| 34 | EE | Mark 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 | EE | 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 | EE | 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.
TES 2002: 76-85 |
| 30 | EE | 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 | EE | Aldo Franco Dragoni,
Paolo Giorgini,
Luciano Serafini:
Mental States Recognition from Communication.
J. Log. Comput. 12(1): 119-136 (2002) |
| 28 | EE | Giovanni Criscuolo,
Fausto Giunchiglia,
Luciano Serafini:
A Foundation for Metareasoning Part I: The Proof Theory.
J. Log. Comput. 12(1): 167-208 (2002) |
| 27 | EE | 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 | EE | Marco Aiello,
Paolo Busetta,
Antonia Donà,
Luciano Serafini:
Ontological Overhearing.
ATAL 2001: 175-189 |
| 24 | EE | Paolo Bouquet,
Luciano Serafini:
Two Formalizations of Context: A Comparison.
CONTEXT 2001: 87-101 |
| 23 | EE | Paolo Busetta,
Luciano Serafini,
Dhirendra Singh,
Floriano Zini:
Extending Multi-agent Cooperation by Overhearing.
CoopIS 2001: 40-52 |
| 22 | EE | S. Bettelli,
Luciano Serafini,
T. Calarco:
Toward an architecture for quantum programming
CoRR cs.PL/0103009: (2001) |
| 2000 |
|---|
| 21 | EE | Luciano Serafini,
Chiara Ghidini:
Using Wrapper Agents to Answer Queries in Distributed Information Systems.
ADVIS 2000: 331-340 |
| 20 | EE | Aldo Franco Dragoni,
Paolo Giorgini,
Luciano Serafini:
Updating Mental States from Communication.
ATAL 2000: 15-30 |
| 19 | EE | Aldo Franco Dragoni,
Paolo Giorgini,
Luciano Serafini:
Updating mental states from informative communication.
Agents 2000: 231-232 |
| 18 | EE | 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 | EE | Chiara Ghidini,
Luciano Serafini:
A Context-Based Logic for Distributed Knowledge Representation and Reasoning.
CONTEXT 1999: 159-172 |
| 1998 |
|---|
| 15 | EE | Chiara Ghidini,
Luciano Serafini:
Model Theoretic Semantics for Information Integration.
AIMSA 1998: 267-280 |
| 14 | EE | 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 |
