973 search results - page 54 / 195 » Arguing Using Opponent Models |
AI
1998
Springer
13 years 7 months ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
ALIFE
2008
13 years 7 months ago
2008
Using biological examples and theoretical arguments, the case is presented for extending the notion of natural selection to include internal selection in order to account for the e...
FOSAD
2000
Springer
13 years 11 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
EDM
2008
13 years 9 months ago
2008
One of the unresolved problems faced in the construction of intelligent tutoring systems is the acquisition of background knowledge, either for the specification of the teaching st...
ECOOP
1999
Springer
13 years 12 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...