|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 41 van 65 gevonden artikelen
| Titel: |
Programming mobile intelligent agents: An operational semantics |
| Auteur: |
Suna, A. El Fallah Seghrouchni, A. |
| Verschenen in: |
Web intelligence and agent systems |
| Paginering: | Jaargang 5 (2007) nr. 1 pagina's 47-67 |
| Jaar: |
2007-04-23 |
| Inhoud: |
This paper presents the operational semantics of an agent-oriented programming language called CLAIM. CLAIM allows to design multi-agent systems that support both stationary and mobile agents, endowed with cognitive capabilities and able to communicate. The semantics takes into account agents' reasoning, mobility, communication and concurrence, and contains a set of reduction rules between coherent states of a program. The operational semantics is a first step towards the formal verification of agent-based programs written in CLAIM. The reduction rules are illustrated on a case study. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 41 van 65 gevonden artikelen
| << vorige | volgende >> |