502 search results - page 72 / 101 » Development and Application of a Formal Agent Framework |
117
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
135
click to vote
OWLED
2007
15 years 5 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
119
click to vote
WETICE
2002
IEEE
15 years 9 months ago
2002
IEEE
The Web is the most pervasive collaborative technology in widespread use today; however, access to the web and its many applications cannot be taken for granted. Web accessibility...
124
click to vote
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
153
click to vote
CMSB
2010
Springer
14 years 11 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...