]> 2012-05-29T10:10:19-04:00 Luciano Serafini Luciano Luciano Serafini Serafini Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings Autonomous Ontology: Operations and Semantics DRAGO: Distributed Reasoning Architecture for the Semantic Web Matching Hierarchical Classifications with Attributes Reconciling Concepts and Relations in Heterogeneous Ontologies C-OWL: Contextualizing Ontologies Semantic Coordination: A New Approach and an Application Instance Migration in Heterogeneous Ontology Environments Bootstrapping semantics on the web: meaning elicitation from schemas Model-Checking Memory Requirements of Resource-Bounded Reasoners Complexity of Contextual Reasoning Non-Omniscient Belief as Context-Based Resoning Minimal and Absent Information in Contexts Aspects of Distributed and Modular Ontology Reasoning A Formal Investigation of Mapping Language for Terminological Knowledge From Mentions to Ontology: A Pilot Sudy Contextual Default Reasoning Reasoning on Semantically Annotated Processes Local Relational Model: A Logical Formalization of Database Coordination Contextualizing ontologies Peer-to-peer semantic coordination Semantic Import: An Approach for Partial Ontology Reuse Mapping Properties of Heterogeneous Ontologies Logical Analysis of Mappings between Medical Classification Systems Bridging Heterogeneous Representations of Binary Relations: First Results Complexity of Reasoning With Expressive Ontology Mappings Deploying Semantic Web Technologies for Work Integrated Learning in Industry - A Comparison: SME vs. Large Sized Company Collaborative Enterprise Integrated Modelling On Relating Heterogeneous Elements from Different Ontologies A Modular Framework for Ontology-based Representation of Patent Information Reasoning with Instances of Heterogeneous Ontologies Verifying space and time requirements for resource-bounded agents Verifying Space and Time Requirements for Resource-Bounded Agents Logics For Artificial Intelligence Formal analysis of an agent-based optimisation strategy for Data Grids A Formal Investigation of Mapping Languages for Terminological Knowledge Minimality and Non-determinism in Multi-context Systems Distributed Instance Retrieval in Heterogeneous Ontologies From Text to Knowledge for the Semantic Web: the ONTOTEXT Project Introducing Context into RDF Knowledge Bases Coordinating Semantic Peers Local Tableaux for Reasoning in Distributed Description Logics Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems Satisfiability for Propositional Contexts Using C-OWL for the alignment and merging of medical ontologies Comparing formal theories of context in AI Semantic Coordination for Document Retrieval Making Explicit the Hidden Semantics of Hierarchical Classifications A SAT-Based Algorithm for Context Matching On the Difference between Bridge Rules and Lifting Axioms A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems Planning For Web Services the Hard Way Semantic Coordination in Systems of Autonomous Agents: the Approach and an Implementation A Robust and Computational Characterisation of Peer-to-Peer Database Systems Distributed Description Logics: Assimilating Information from Peer Sources Multicontext Logic for Semigroups of Contexts Towards an Economy-Based Optimisation of File Access and Replication on a Data Grid Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources Updating Contexts A Request Language for Web-Services Based on Planning and Constraint Satisfaction Data Management for Peer-to-Peer Computing : A Vision Mental States Recognition from Communication A Foundation for Metareasoning Part I: The Proof Theory A Foundation for Metareasoning Part II: The Model Theory ML Systems: A Proof Theory for Contexts Ontological Overhearing Two Formalizations of Context: A Comparison Extending Multi-agent Cooperation by Overhearing Toward an architecture for quantum programming Using Wrapper Agents to Answer Queries in Distributed Information Systems Updating Mental States from Communication Updating mental states from informative communication A Context-Based Logic for Distributed Knowledge Representation and Reasoning Model Theoretic Semantics for Information Integration Information Integration for Electronic Commerce A Model Checking Algorithm for Multiagent Systems Model Checking Multiagent Systems Formal Specification of Beliefs in Multi-Agent Systems Mechanizing Multi-Agent Reasoning with Belief Contexts Agents as Reasoners, Observers or Believers Agents as Reasoners, Observers, or Arbitrary Believers Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study Multilanguage Hierarchical Logics or: How we can do Without Modal Logics Multilanguage hierarchical logics (or: how we can do without modal logics) Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics Mulitlanguage First Order Theories of Propositional Attitudes Has author Has editor Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person