2214 search results - page 121 / 443 » Complexity of Reasoning |
131
Voted
CW
2005
IEEE
15 years 9 months ago
2005
IEEE
Agents are systems capable of perceiving their environment through sensors, reasoning about their sensory input using some characteristic reasoning process and acting in their env...
104
click to vote
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
ESAW
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, after a short review of the dichotomous view of norms usually seen as either regular behaviors or obligations issued by authorities, norms are proposed to be defined...
133
click to vote
CPAIOR
2005
Springer
15 years 8 months ago
2005
Springer
The effects of combining search and modelling techniques can be complex and unpredictable, so guidelines are very important for the design and development of effective and robust s...
130
click to vote
ICSE
2003
IEEE-ACM
15 years 8 months ago
2003
IEEE-ACM
There is wide agreement that architecture plays a prominent role in large, complex software systems. Selection of an appropriate architecture – one that matches the system requi...