Formal Models of Agent systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F02%3APU36186" target="_blank" >RIV/00216305:26230/02:PU36186 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Formal Models of Agent systems
Popis výsledku v původním jazyce
The paper is focused on the BDI logic and its usage to descriptions of agent systems. The main three chapters of the paper deal with BDI logic (basic principles), with Relations among B, D and I agent mental states and with Example of BDI logic usage.
Název v anglickém jazyce
Formal Models of Agent systems
Popis výsledku anglicky
The paper is focused on the BDI logic and its usage to descriptions of agent systems. The main three chapters of the paper deal with BDI logic (basic principles), with Relations among B, D and I agent mental states and with Example of BDI logic usage.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F01%2F1485" target="_blank" >GA102/01/1485: Prostředí pro vývoj, modelování a aplikaci heterogenních systémů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2002
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of 36th International Conference MOSIS '02
ISBN
80-85988-71-2
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
163-168
Název nakladatele
Neuveden
Místo vydání
Ostrava
Místo konání akce
Rožnov pod Radhoštěm
Datum konání akce
22. 4. 2002
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—