5 found
Sort by:
Disambiguations:
Chiara Ghidini [4]C. Ghidini [1]
  1. Michael Fisher & Chiara Ghidini (2009). Exploring the Future with Resource-Bounded Agents. 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)  
     
    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. P. Blackburn, C. Ghidini, R. Turner & F. Giunchiglia (eds.) (2003). Proceedings of the Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03), Lecture Notes in Artificial Intelligence, Vol. 2680. Springer.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  5. Massimo Benerecetti, Paolo Bouquet & Chiara Ghidini (2001). On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective. In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer. 59--72.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation