7 found
Sort by:
  1. Marco Rospocher, Sara Tonelli, Luciano Serafini & Emanuele Pianta (2012). Corpus-Based Terminological Evaluation of Ontologies. Applied Ontology 7 (4):429-448.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan & Luciano Serafini (2007). Verifying Space and Time Requirements for Resource-Bounded Agents. In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer.
    The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge base. In this paper we show how to determine the effective reasoning capability of an agent with limited memory by encoding the agent as a transition system and automatically verifying whether a state where the agent believes a certain conclusion is reachable from the start state. We present experimental results using (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Chiara Ghidini, Luciano Serafini & Sergio Tessaris (2007). On Relating Heterogeneous Elements From Different Ontologies. In D. C. Richardson B. Kokinov (ed.), Modeling and Using Context. Springer. 234--247.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Floris Roelofsen & Luciano Serafini (2005). Minimality and Non-Determinism in Multi-Context Systems. In B. Kokinov A. Dey (ed.), Modeling and Using Context. Springer. 424--435.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Luciano Serafini & Fausto Giunchiglia (2002). ML Systems: A Proof Theory for Contexts. [REVIEW] Journal of Logic, Language and Information 11 (4):471-518.
    In the last decade the concept of context has been extensivelyexploited in many research areas, e.g., distributed artificialintelligence, multi agent systems, distributed databases, informationintegration, cognitive science, and epistemology. Three alternative approaches to the formalization of the notion ofcontext have been proposed: Giunchiglia and Serafini's Multi LanguageSystems (ML systems), McCarthy's modal logics of contexts, andGabbay's Labelled Deductive Systems.Previous papers have argued in favor of ML systems with respect to theother approaches. Our aim in this paper is to support these arguments froma (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Paolo Bouquet & Luciano Serafini (2001). Two Formalizations of Context: A Comparison. In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer. 87--101.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Paolo Bouquet, Patrick Brezillon, Francesca Castellani & Luciano Serafini (eds.) (1999). In Modeling and Using Context. Proceedings of the Second International and Interdisciplinary Conference. Springer.
    No categories
     
    My bibliography  
     
    Export citation