Zobrazeno 1 - 3
of 3
pro vyhledávání: '"ACTLW"'
Autor:
Bagić Babac, Marina
One of the major application areas of reasoning about knowledge are multi-agent systems (MAS). The paradigm of MAS has been employed successfully in several fields, including philosophy, economics and software engineering. MAS formalism enables us to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8887921756a5bc2c5f3df9f003d3938b
https://www.bib.irb.hr/392561
https://www.bib.irb.hr/392561
Publikováno v:
CSTST
This paper provides a framework for specification and verification of intelligent agent-based systems, with the emphasis on their cognitive and reactive features. We use an epistemic transition system to specify the agents and an epistemic synchronou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b807909c0923dc0104e7ec0f88b19830
https://www.bib.irb.hr/370134
https://www.bib.irb.hr/370134
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.