Formal Models of Agent systems
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Formal Models of Agent systems
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F01%2F1485" target="_blank" >GA102/01/1485: Enviroment for development, modelling and application of heterogenous systems</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2002
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of 36th International Conference MOSIS '02
ISBN
80-85988-71-2
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
163-168
Publisher name
Neuveden
Place of publication
Ostrava
Event location
Rožnov pod Radhoštěm
Event date
Apr 22, 2002
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—