search query: @keyword logic programming / total: 8
reference: 5 / 8
| Author: | Pääkkönen, Rauni |
| Title: | Implementing a formal agent description language |
| Formaalin agenttien kuvauskielen toteutus | |
| Publication type: | Master's thesis |
| Publication year: | 2001 |
| Pages: | 62 Language: eng |
| Department/School: | Tietotekniikan osasto |
| Main subject: | Tietojenkäsittelyteoria (T-119) |
| Supervisor: | Niemelä, Ilkka |
| Instructor: | Janhunen, Tomi |
| Digitized copy: | https://aaltodoc.aalto.fi/handle/123456789/89375 |
| OEVS: | Digitized archive copy is available in Aaltodoc
|
| Location: | P1 Ark Aalto | Archive |
| Keywords: | 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 record number: 18218
+ add basket
INSSI