Search the dblp DataBase
Luciano Serafini :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alexandre Albore , Natasha Alechina , Piergiorgio Bertoli , Chiara Ghidini , Brian Logan , Luciano Serafini Model-Checking Memory Requirements of Resource-Bounded Reasoners. [Citation Graph (0, 0)][DBLP ] AAAI, 2006, pp:- [Conf ] Floris Roelofsen , Luciano Serafini Complexity of Contextual Reasoning. [Citation Graph (0, 0)][DBLP ] AAAI, 2004, pp:118-123 [Conf ] Luciano Serafini , Chiara Ghidini Using Wrapper Agents to Answer Queries in Distributed Information Systems. [Citation Graph (0, 0)][DBLP ] ADVIS, 2000, pp:331-340 [Conf ] Aldo Franco Dragoni , Paolo Giorgini , Luciano Serafini Updating mental states from informative communication. [Citation Graph (0, 0)][DBLP ] Agents, 2000, pp:231-232 [Conf ] Enrico Giunchiglia , Fausto Giunchiglia , Luciano Serafini Agents as Reasoners, Observers or Believers. [Citation Graph (0, 0)][DBLP ] AI*IA, 1995, pp:414-425 [Conf ] Bernardo Magnini , Luciano Serafini , Manuela Speranza Making Explicit the Hidden Semantics of Hierarchical Classifications. [Citation Graph (0, 0)][DBLP ] AI*IA, 2003, pp:436-448 [Conf ] Paolo Bouquet , Luciano Serafini , Stefano Zanobini Coordinating Semantic Peers. [Citation Graph (0, 0)][DBLP ] AIMSA, 2004, pp:75-84 [Conf ] Chiara Ghidini , Luciano Serafini Model Theoretic Semantics for Information Integration. [Citation Graph (0, 0)][DBLP ] AIMSA, 1998, pp:267-280 [Conf ] Rolf Nossum , Luciano Serafini Multicontext Logic for Semigroups of Contexts. [Citation Graph (0, 0)][DBLP ] AISC, 2002, pp:90-101 [Conf ] Chiara Ghidini , Luciano Serafini Information Integration for Electronic Commerce. [Citation Graph (0, 0)][DBLP ] AMET, 1998, pp:189-206 [Conf ] Yuting Zhao , Luciano Serafini , Fausto Giunchiglia Autonomous Ontology: Operations and Semantics. [Citation Graph (0, 0)][DBLP ] ASWC, 2006, pp:646-652 [Conf ] Marco Aiello , Paolo Busetta , Antonia Donà , Luciano Serafini Ontological Overhearing. [Citation Graph (0, 0)][DBLP ] ATAL, 2001, pp:175-189 [Conf ] Natasha Alechina , Mark Jago , Piergiorgio Bertoli , Brian Logan , Chiara Ghidini , Luciano Serafini Verifying space and time requirements for resource-bounded agents. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:217-219 [Conf ] Massimo Benerecetti , Alessandro Cimatti , Enrico Giunchiglia , Fausto Giunchiglia , Luciano Serafini Formal Specification of Beliefs in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] ATAL, 1996, pp:117-130 [Conf ] Massimo Benerecetti , Fausto Giunchiglia , Luciano Serafini A Model Checking Algorithm for Multiagent Systems. [Citation Graph (0, 0)][DBLP ] ATAL, 1998, pp:163-176 [Conf ] Aldo Franco Dragoni , Paolo Giorgini , Luciano Serafini Updating Mental States from Communication. [Citation Graph (0, 0)][DBLP ] ATAL, 2000, pp:15-30 [Conf ] Luciano Serafini , Heiner Stuckenschmidt , Holger Wache A Formal Investigation of Mapping Languages for Terminological Knowledge. [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:379-380 [Conf ] Mark Carman , Floriano Zini , Luciano Serafini , Kurt Stockinger Towards an Economy-Based Optimisation of File Access and Replication on a Data Grid. [Citation Graph (0, 0)][DBLP ] CCGRID, 2002, pp:340-345 [Conf ] Fausto Giunchiglia , Luciano Serafini Multilanguage hierarchical logics (or: how we can do without modal logics). [Citation Graph (0, 0)][DBLP ] CNKBS, 1992, pp:44-45 [Conf ] Chiara Ghidini , Luciano Serafini A Context-Based Logic for Distributed Knowledge Representation and Reasoning. [Citation Graph (0, 0)][DBLP ] CONTEXT, 1999, pp:159-172 [Conf ] Paolo Bouquet , Bernardo Magnini , Luciano Serafini , Stefano Zanobini A SAT-Based Algorithm for Context Matching. [Citation Graph (0, 0)][DBLP ] CONTEXT, 2003, pp:66-79 [Conf ] Paolo Bouquet , Luciano Serafini Two Formalizations of Context: A Comparison. [Citation Graph (0, 0)][DBLP ] CONTEXT, 2001, pp:87-101 [Conf ] Paolo Bouquet , Luciano Serafini On the Difference between Bridge Rules and Lifting Axioms. [Citation Graph (0, 0)][DBLP ] CONTEXT, 2003, pp:80-93 [Conf ] Floris Roelofsen , Luciano Serafini Minimality and Non-determinism in Multi-context Systems. [Citation Graph (0, 0)][DBLP ] CONTEXT, 2005, pp:424-435 [Conf ] Luciano Serafini , Fausto Giunchiglia , John Mylopoulos , Philip A. Bernstein Local Relational Model: A Logical Formalization of Database Coordination. [Citation Graph (0, 0)][DBLP ] CONTEXT, 2003, pp:286-299 [Conf ] Alexander Borgida , Luciano Serafini Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. [Citation Graph (0, 0)][DBLP ] CoopIS/DOA/ODBASE, 2002, pp:36-53 [Conf ] Paolo Busetta , Luciano Serafini , Dhirendra Singh , Floriano Zini Extending Multi-agent Cooperation by Overhearing. [Citation Graph (0, 0)][DBLP ] CoopIS, 2001, pp:40-52 [Conf ] Enrico Franconi , Gabriel M. Kuper , Andrei Lopatenko , Luciano Serafini A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. [Citation Graph (0, 0)][DBLP ] DBISP2P, 2003, pp:64-76 [Conf ] Luciano Serafini , Andrei Tamilin Local Tableaux for Reasoning in Distributed Description Logics. [Citation Graph (0, 0)][DBLP ] Description Logics, 2004, pp:- [Conf ] Floris Roelofsen , Luciano Serafini , Alessandro Cimatti Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:58-62 [Conf ] Alessandro Cimatti , Luciano Serafini Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study. [Citation Graph (0, 0)][DBLP ] ECAI Workshop on Agent Theories, Architectures, and Languages, 1994, pp:71-85 [Conf ] Luciano Serafini , Andrei Tamilin DRAGO: Distributed Reasoning Architecture for the Semantic Web. [Citation Graph (0, 0)][DBLP ] ESWC, 2005, pp:361-376 [Conf ] Luciano Serafini , Stefano Zanobini , Simone Sceffer , Paolo Bouquet Matching Hierarchical Classifications with Attributes. [Citation Graph (0, 0)][DBLP ] ESWC, 2006, pp:4-18 [Conf ] Chiara Ghidini , Luciano Serafini Reconciling Concepts and Relations in Heterogeneous Ontologies. [Citation Graph (0, 0)][DBLP ] ESWC, 2006, pp:50-64 [Conf ] Alessandro Cimatti , Luciano Serafini Mechanizing Multi-Agent Reasoning with Belief Contexts. [Citation Graph (0, 0)][DBLP ] FAPR, 1996, pp:694-696 [Conf ] Alessandro Cimatti , Luciano Serafini Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance. [Citation Graph (0, 0)][DBLP ] ICMAS, 1995, pp:57-64 [Conf ] Enrico Giunchiglia , Fausto Giunchiglia , Luciano Serafini Agents as Reasoners, Observers, or Arbitrary Believers. [Citation Graph (0, 0)][DBLP ] ICMAS, 1995, pp:448- [Conf ] Luciano Serafini , Chiara Ghidini Using Wrapper Agents to Answer Queries in Distributed Information Systems. [Citation Graph (0, 0)][DBLP ] ICMAS, 2000, pp:429-430 [Conf ] Fausto Giunchiglia , Luciano Serafini , Enrico Giunchiglia , Marcello Frixione Non-Omniscient Belief as Context-Based Resoning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1993, pp:548-554 [Conf ] Floris Roelofsen , Luciano Serafini Minimal and Absent Information in Contexts. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:558-563 [Conf ] Luciano Serafini , Alexander Borgida , Andrei Tamilin Aspects of Distributed and Modular Ontology Reasoning. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:570-575 [Conf ] Luciano Serafini , Heiner Stuckenschmidt , Holger Wache A Formal Investigation of Mapping Language for Terminological Knowledge. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:576-581 [Conf ] Gerhard Brewka , Floris Roelofsen , Luciano Serafini Contextual Default Reasoning. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:268-273 [Conf ] Antonia Donà , Luciano Serafini Updating Contexts. [Citation Graph (0, 0)][DBLP ] KR, 2002, pp:251-264 [Conf ] Luciano Serafini , Floris Roelofsen Satisfiability for Propositional Contexts. [Citation Graph (0, 0)][DBLP ] KR, 2004, pp:369-376 [Conf ] Heiner Stuckenschmidt , Frank van Harmelen , Paolo Bouquet , Fausto Giunchiglia , Luciano Serafini Using C-OWL for the alignment and merging of medical ontologies. [Citation Graph (0, 0)][DBLP ] KR-MED, 2004, pp:88-101 [Conf ] Fausto Giunchiglia , Luciano Serafini , Alex K. Simpson Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. [Citation Graph (0, 0)][DBLP ] META, 1992, pp:235-249 [Conf ] Mark Carman , Luciano Serafini Planning For Web Services the Hard Way. [Citation Graph (0, 0)][DBLP ] SAINT Workshops, 2003, pp:73-77 [Conf ] Fausto Giunchiglia , Luciano Serafini Mulitlanguage First Order Theories of Propositional Attitudes. [Citation Graph (0, 0)][DBLP ] SCAI, 1991, pp:228-240 [Conf ] Paolo Bouquet , Fausto Giunchiglia , Frank van Harmelen , Luciano Serafini , Heiner Stuckenschmidt C-OWL: Contextualizing Ontologies. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2003, pp:164-179 [Conf ] Paolo Bouquet , Luciano Serafini , Stefano Zanobini Semantic Coordination: A New Approach and an Application. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2003, pp:130-145 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] TES, 2002, pp:76-85 [Conf ] Philip A. Bernstein , Fausto Giunchiglia , Anastasios Kementsietsidis , John Mylopoulos , Luciano Serafini , Ilya Zaihrayeu Data Management for Peer-to-Peer Computing : A Vision. [Citation Graph (0, 0)][DBLP ] WebDB, 2002, pp:89-94 [Conf ] Paolo Bouquet , Luciano Serafini , Mario Zanobini Semantic Coordination in Systems of Autonomous Agents: the Approach and an Implementation. [Citation Graph (0, 0)][DBLP ] WOA, 2003, pp:179-186 [Conf ] Paolo Bouquet , Luciano Serafini , Stefano Zanobini , Simone Sceffer Bootstrapping semantics on the web: meaning elicitation from schemas. [Citation Graph (0, 0)][DBLP ] WWW, 2006, pp:505-512 [Conf ] Fausto Giunchiglia , Luciano Serafini Multilanguage Hierarchical Logics or: How we can do Without Modal Logics. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1994, v:65, n:1, pp:29-70 [Journal ] Luciano Serafini , Paolo Bouquet Comparing formal theories of context in AI. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2004, v:155, n:1-2, pp:41-67 [Journal ] Enrico Franconi , Gabriel M. Kuper , Andrei Lopatenko , Luciano Serafini A Robust and Computational Characterisation of Peer-to-Peer Database Systems [Citation Graph (0, 0)][DBLP ] CoRR, 2003, v:0, n:, pp:- [Journal ] S. Bettelli , Luciano Serafini , T. Calarco Toward an architecture for quantum programming [Citation Graph (0, 0)][DBLP ] CoRR, 2001, v:0, n:, pp:- [Journal ] Luigia Carlucci Aiello , Enrico Giunchiglia , Luciano Serafini Logics For Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Intelligenza Artificiale, 2006, v:3, n:1-2, pp:7-13 [Journal ] Alexander Borgida , Luciano Serafini Distributed Description Logics: Assimilating Information from Peer Sources. [Citation Graph (0, 0)][DBLP ] J. Data Semantics, 2003, v:1, n:, pp:153-184 [Journal ] Luciano Serafini , Fausto Giunchiglia ML Systems: A Proof Theory for Contexts. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 2002, v:11, n:4, pp:471-518 [Journal ] Bernardo Magnini , Luciano Serafini , Manuela Speranza Semantic Coordination for Document Retrieval. [Citation Graph (0, 0)][DBLP ] KI, 2004, v:18, n:4, pp:18-23 [Journal ] Massimo Benerecetti , Fausto Giunchiglia , Luciano Serafini Model Checking Multiagent Systems. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1998, v:8, n:3, pp:401-423 [Journal ] Giovanni Criscuolo , Fausto Giunchiglia , Luciano Serafini A Foundation for Metareasoning Part I: The Proof Theory. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2002, v:12, n:1, pp:167-208 [Journal ] Giovanni Criscuolo , Fausto Giunchiglia , Luciano Serafini A Foundation for Metareasoning Part II: The Model Theory. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2002, v:12, n:3, pp:345-370 [Journal ] Aldo Franco Dragoni , Paolo Giorgini , Luciano Serafini Mental States Recognition from Communication. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2002, v:12, n:1, pp:119-136 [Journal ] Paolo Bouquet , Fausto Giunchiglia , Frank van Harmelen , Luciano Serafini , Heiner Stuckenschmidt Contextualizing ontologies. [Citation Graph (0, 0)][DBLP ] J. Web Sem., 2004, v:1, n:4, pp:325-343 [Journal ] Paolo Bouquet , Luciano Serafini , Stefano Zanobini Peer-to-peer semantic coordination. [Citation Graph (0, 0)][DBLP ] J. Web Sem., 2004, v:2, n:1, pp:81-97 [Journal ] Chiara Ghidini , Luciano Serafini , Sergio Tessaris On Relating Heterogeneous Elements from Different Ontologies. [Citation Graph (0, 0)][DBLP ] CONTEXT, 2007, pp:234-247 [Conf ] Luciano Serafini , Andrei Tamilin Instance Migration in Heterogeneous Ontology Environments. [Citation Graph (0, 0)][DBLP ] ISWC/ASWC, 2007, pp:452-465 [Conf ] Natasha Alechina , Piergiorgio Bertoli , Chiara Ghidini , Mark Jago , Brian Logan , Luciano Serafini Verifying Space and Time Requirements for Resource-Bounded Agents. [Citation Graph (0, 0)][DBLP ] MoChArt, 2006, pp:19-34 [Conf ] Luciano Serafini , Andrei Tamilin Distributed Instance Retrieval in Heterogeneous Ontologies. [Citation Graph (0, 0)][DBLP ] SWAP, 2005, pp:- [Conf ] Paolo Bouquet , Luciano Serafini , Heiko Stoermer Introducing Context into RDF Knowledge Bases. [Citation Graph (0, 0)][DBLP ] SWAP, 2005, pp:- [Conf ] Chiara Ghidini , Luciano Serafini Reconciling Concepts and Relations in Heterogeneous Ontologies. [Citation Graph (0, 0)][DBLP ] SWAP, 2006, pp:- [Conf ] Octavian Popescu , Bernardo Magnini , Emanuele Pianta , Luciano Serafini , Manuela Speranza From Mentions to Ontology: A Pilot Sudy. [Citation Graph (0, 0)][DBLP ] SWAP, 2006, pp:- [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SWAP, 2005, pp:- [Conf ] A Hybrid Methodology for Consumer-Oriented Healthcare Knowledge Acquisition. [Citation Graph (, )][DBLP ] Logical Analysis of Mappings between Medical Classification Systems. [Citation Graph (, )][DBLP ] Mapping Properties of Heterogeneous Ontologies. [Citation Graph (, )][DBLP ] Querying the Web of Data: A Formal Approach. [Citation Graph (, )][DBLP ] Collaborative Specification of Semantically Annotated Business Processes. [Citation Graph (, )][DBLP ] On Relating Heterogeneous Elements from Different Ontologies. [Citation Graph (, )][DBLP ] Bridging Heterogeneous Representations of Binary Relations: First Results. [Citation Graph (, )][DBLP ] Using Background Knowledge to Support Coreference Resolution. [Citation Graph (, )][DBLP ] MoKi: The Enterprise Modelling Wiki. [Citation Graph (, )][DBLP ] Context-Driven Semantic Enrichment of Italian News Archive. [Citation Graph (, )][DBLP ] Complexity of Reasoning With Expressive Ontology Mappings. [Citation Graph (, )][DBLP ] Reasoning on Semantically Annotated Processes. [Citation Graph (, )][DBLP ] Semantic Import: An Approach for Partial Ontology Reuse. [Citation Graph (, )][DBLP ] Mapping Properties of Heterogeneous Ontologies. [Citation Graph (, )][DBLP ] Deploying Semantic Web Technologies for Work Integrated Learning in Industry - A Comparison: SME vs. Large Sized Company. [Citation Graph (, )][DBLP ] Semantically-Aided Business Process Modeling. [Citation Graph (, )][DBLP ] Reasoning with Instances of Heterogeneous Ontologies. [Citation Graph (, )][DBLP ] Collaborative Enterprise Integrated Modelling. [Citation Graph (, )][DBLP ] MoKi: the Modelling wiKi. [Citation Graph (, )][DBLP ] A Modular Framework for Ontology-based Representation of Patent Information. [Citation Graph (, )][DBLP ] A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition. [Citation Graph (, )][DBLP ] Augmenting Subsumption Propagation in Distributed Description Logics. [Citation Graph (, )][DBLP ] Search in 0.011secs, Finished in 0.014secs