Specification and Verification of Agent Interaction Using Abductive Reasoning

2006 ◽  
pp. 243-264 ◽  
Author(s):  
Federico Chesani ◽  
Marco Gavanelli ◽  
Marco Alberti ◽  
Evelina Lamma ◽  
Paola Mello ◽  
...  
Keyword(s):  
Abductive Reasoning ◽  
Agent Interaction ◽  
Specification And Verification

scholarly journals Specification and Verification of Agent Interaction using Social Integrity Constraints

2004 ◽  
Vol 85 (2) ◽  
pp. 94-116 ◽  
Author(s):  
Marco Alberti ◽  
Marco Gavanelli ◽  
Evelina Lamma ◽  
Paola Mello ◽  
Paolo Torroni
Keyword(s):  
Integrity Constraints ◽  
Agent Interaction ◽  
Specification And Verification
Sign in / Sign up

Export Citation Format

Share Document