haku: @keyword Petri-verkot / yhteensä: 10
viite: 2 / 10
Tekijä:Pääkkönen, Rauni
Työn nimi:Implementing a formal agent description language
Formaalin agenttien kuvauskielen toteutus
Julkaisutyyppi:Diplomityö
Julkaisuvuosi:2001
Sivut:62      Kieli:   eng
Koulu/Laitos/Osasto:Tietotekniikan osasto
Oppiaine:Tietojenkäsittelyteoria   (T-119)
Valvoja:Niemelä, Ilkka
Ohjaaja:Janhunen, Tomi
Digitoitu julkaisu: https://aaltodoc.aalto.fi/handle/123456789/89375
OEVS:
Digitoitu arkistokappale on julkaistu Aaltodocissa
Sijainti:P1 Ark Aalto     | Arkisto
Avainsanat:software agents
agent languages
knowledge representation
rule-based reasoning
logic programming
Petri nets
agentit
agenttikielet
tietämyksen esittäminen
sääntöpohjainen päättely
logiikkaohjelmointi
Petri-verkot
ED:2002-01-14
INSSI tietueen numero: 18218
+ lisää koriin
INSSI