资源分类
》 资源 》论文》A Logic for Coalitions with Bounded Resources

A Logic for Coalitions with Bounded Resources

2019-11-15 | |  74 |   47 |   0

Abstract Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However there is no natural way of expressing resource requirements in these logics. This paper presents a Resource-Bounded Coalition Logic (RBCL) which has explicit representation of resource bounds in the language, and gives a complete and sound axiomatisation of RBCL

上一篇：A New Bayesian Approach to Multiple Intermittent Fault Diagnosis

下一篇：Repairing Preference-Based Argumentation Frameworks

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...