Detail výsledku
Intention Structures Modelling Using Object Oriented Petri Nets
ZBOŘIL, F.; KOČÍ, R. Intention Structures Modelling Using Object Oriented Petri Nets. Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007. p. 33-38. ISBN: 0-7695-2976-3.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Abstrakt
This paper describes an approach to the Object-oriented Petri nets usage in the area of deliberative agents.
Klíčová slova
BDI agents, Intentions, OOPN
Rok
2007
Strany
33–38
Sborník
Proceedings of the 7th ISDA
Konference
7th International Conference on Intelligent Systems Design and Applications
ISBN
0-7695-2976-3
Vydavatel
IEEE Computer Society
Místo
Los Alamitos
BibTeX
@inproceedings{BUT26113,
author="František {Zbořil} and Radek {Kočí}",
title="Intention Structures Modelling Using Object Oriented Petri Nets",
booktitle="Proceedings of the 7th ISDA",
year="2007",
pages="33--38",
publisher="IEEE Computer Society",
address="Los Alamitos",
isbn="0-7695-2976-3"
}
Projekty
Inteligentní agentní a multiagentní systémy, GAČR, Postdoktorandské granty, GP102/07/P431, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Vývoj systémů založený na modelech, GAČR, Postdoktorandské granty, GP102/07/P306, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Vývoj systémů založený na modelech, GAČR, Postdoktorandské granty, GP102/07/P306, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina inteligentních systémů (VZ INTSYS)
Pracoviště