Advertisement

Abstract

Formal models of MAS usually use different types of modal family logics to describe the system. Our intention is to allow such expressions to be used within OCL expressions.

Keywords

Artificial Intelligence Formal Model Modal Logic Common Knowledge Temporal Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2007

Personalised recommendations