620 search results - page 44 / 124 » Verification and Validation and Artificial Intelligence |
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
LFCS
2009
Springer
14 years 4 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
MICAI
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we propose a differential evolution algorithm to solve constrained optimization problems. Our approach uses three simple selection criteria based on feasibility to g...
PRICAI
2004
Springer
14 years 3 months ago
2004
Springer
Orion Systems International Limited has recognised the need in the healthcare industry for an application to provide robust clinical decision support. One possible approach is to d...