haku: @keyword logic programming / yhteensä: 8
viite: 5 / 8
| 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