4978 search results - page 246 / 996 » Logical models of argument |
156
click to vote
ISMVL
2003
IEEE
15 years 11 months ago
2003
IEEE
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...
223
click to vote
DANCE
2002
IEEE
15 years 10 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
161
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
146
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
164
click to vote
AEI
1999
15 years 5 months ago
1999
This article describes a new adaptive fuzzy logic control scheme. The proposed scheme is based on the structure of the self-tuning regulator and employs neural network and genetic...