Switch to: References

Add citations

You must login to add citations.
  1. Quantified Coalition Logic.Thomas Ågotnes, Wiebe van der Hoek & Michael Wooldridge - 2008 - Synthese 165 (2):269 - 294.
    We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as "every coalition satisfying property P can achieve φ" and "there exists a coalition C satisfying property P such that C can achieve φ". We give an axiomatisation of QCL, and show that while it is no more expressive than Coalition Logic, it is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Quantified coalition logic.Thomas Ågotnes, Wiebe Hoek & Michael Wooldridge - 2008 - Synthese 165 (2):269-294.
    We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as “every coalition satisfying property P can achieve φ” and “there exists a coalition C satisfying property P such that C can achieve φ”. We give an axiomatisation of QCL, and show that while it is no more expressive than Coalition Logic, it is (...)
    Download  
     
    Export citation  
     
    Bookmark