[FOM] more on circumscription and Harvey's first order minimality

Martin Davis martin at eipye.com
Wed Jan 21 14:04:08 EST 2004

 From Vladimir Lifschitz:

<<Right. T(min) is the early form of circumscription defined by John 
[McCarthy] in
"Epistemological problems of Artificial Intelligence," Proc. IJCAI-77.
Later he called it "domain circumscription." T(max) seems to be new.>>


More information about the FOM mailing list