In this thesis, a particular class of agent is singled out for examination. In order to provide
a guiding metaphor, we speak of control room agents. Our focus is on rational decision-
making by such agents, where the ...
Halland, KJ; Labuschagne, W.A.(South African Computer Society (SAICSIT), 1995)
The relationships between the best-known forms of circumscription are elucidated with the aid of an hypothetical ancestor, which we choose to call naive circumscription.