1912 search results - page 87 / 383 » GOAL as a Planning Formalism |
163
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
175
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
143
click to vote
ICCCI
2009
Springer
16 years 26 days ago
2009
Springer
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
187
click to vote
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for deļ¬ning them have not been developed yet. One approach to simplify the deļ...
148
click to vote
IWFM
1998
15 years 7 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...