Number of the records: 1  

Formal Reasoning in the Bang3 Multi-Agent System

    1.
    SYSNO ASEP0405001
    Document TypeV - Research Report
    R&D Document TypeThe record was not marked in the RIV
    TitleFormal Reasoning in the Bang3 Multi-Agent System
    Author(s) Beuster, Gerd (UIVT-O)
    Issue dataPrague: ICS AS CR, 2003
    SeriesTechnical Report
    Series numberV-889
    Number of pages16 s.
    Languageeng - English
    CountryCZ - Czech Republic
    KeywordsMAS ; bang ; logic ; deduction ; description logics ; agents
    CEZ1030915
    WorkplaceInstitute of Computer Science
    ContactTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Year of Publishing2004

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all