Sciweavers

2398 search results - page 11 / 480
» On modelling agent systems with Erlang
Sort
View
132
Voted
WETICE
2002
IEEE
15 years 10 months ago
Intrusion Detection: Systems and Models
Joseph S. Sherif, Tommy G. Dearmond
DALT
2006
Springer
15 years 9 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
AAAI
2008
15 years 8 months ago
An Extended Interpreted System Model for Epistemic Logics
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
Kaile Su, Abdul Sattar
MAGS
2006
150views more  MAGS 2006»
15 years 5 months ago
The Agent-Rule-Class framework for Multi-Agent Systems
Multi-Agent Systems (MAS) have become increasingly mature, but this maturity does not make the traditional Object Oriented (OO) approaches obsolete. On the contrary, building MAS i...
Liang Xiao 0002, Des Greer
ATAL
2006
Springer
15 years 9 months ago
Run-time model checking of interaction and deontic models for multi-agent systems
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
Nardine Osman, David Robertson, Christopher Walton