172 search results - page 35 / 35 » Automatic Termination Analysis of Logic Programs |
AAAI
1998
14 years 10 months ago
1998
This paper discusses the design and implementation of ESSPL, an expert system which generates security plans for alarm systems (Figure 1). Security planning is the task of determi...
MICAI
2005
Springer
15 years 2 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...