|
|||||
|
|
Agent strands in the action language |
|
| Authors: | Robert Craven Marek Sergot |
| Affiliation: | aDepartment of Computing, Imperial College London, UK |
| Abstract: | |
| Keywords: | Action languages Transition systems Deontic logic Norm-governed agent systems Formal specification |
| 本文献已被 ScienceDirect 等数据库收录！ | |