476 search results - page 53 / 96 » Dynamic Rule Mining for Argumentation Based Systems |
ADMA
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The web with its rapid expansion has become an excellent resource for gathering information and people’s opinion. A company owner wants to know who is the competitor, a...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
ACRI
2004
Springer
14 years 1 months ago
2004
Springer
Cellular automata (CA) are highly parallel and discrete dynamical systems, whose behavior is completely specified in terms of a local relation. They were successfully applied for s...
JIIS
2002
13 years 7 months ago
2002
Although computer speed has steadily increased and memory is getting cheaper, the need for storage managers to deal efficiently with applications that cannot be held into main memo...
MATA
2004
Springer
14 years 1 months ago
2004
Springer
Mobile agents are software entities consisting of code, data and state that can migrate autonomously from host to host executing their code. Unfortunately, security issues restrict...