Proof theory for distributed knowledge

    Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

    Originalspråkengelska
    Titel på gästpublikationComputational logic in multi-agent systems : [edited by] Fariba Sadri, Ken Satoh
    Antal sidor17
    UtgivningsortNew York
    FörlagSpringer
    Utgivningsdatum2008
    Sidor100-116
    StatusPublicerad - 2008
    MoE-publikationstypA3 Del av bok eller annan forskningsbok

    Vetenskapsgrenar

    • 611 Filosofi
    • logiikka
    • tietoteoria
    • todistusteoria

    Citera det här