4 found
Order:
  1.  1
    Automated Composition of Web Services Via Planning in Asynchronous Domains.Piergiorgio Bertoli, Marco Pistore & Paolo Traverso - 2010 - Artificial Intelligence 174 (3-4):316-361.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. 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 (...)
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  3.  1
    Strong Planning Under Partial Observability.Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri & Paolo Traverso - 2006 - Artificial Intelligence 170 (4-5):337-384.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  4
    A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.Piergiorgio Bertoli, Marco Bozzano & Alessandro Cimatti - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 1--18.
    Direct download  
     
    Export citation  
     
    Bookmark