4 found
Order:
  1.  19
    On Relating Heterogeneous Elements From Different Ontologies.Chiara Ghidini, Luciano Serafini & Sergio Tessaris - 2007 - In D. C. Richardson B. Kokinov (ed.), Modeling and Using Context. Springer. pp. 234--247.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  41
    Verifying Space and Time Requirements for Resource-Bounded Agents.Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan & Luciano Serafini - 2007 - 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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  3.  38
    Exploring the Future with Resource-Bounded Agents.Michael Fisher & Chiara Ghidini - 2009 - Journal of Logic, Language and Information 18 (1):3-21.
    We here describe research into the formal specification and implementation of resource-bounded agents. In particular, we provide an overview of our work on incorporating resource limitations into executable agent specifications. In addition, we outline future directions, highlighting both their promise and their problems.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  4.  2
    On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective.Massimo Benerecetti, Paolo Bouquet & Chiara Ghidini - 2001 - In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer. pp. 59--72.
    Direct download  
     
    Export citation  
     
    My bibliography