Gregory S. Tseytin

Learn More
Targeted marketing is an increasing trend in advertising with companies attempting to send heavily customised mail shots to only that subset of customers identified as likely to be interested. This requires detailed demographic data on the target group and, when the customer is identified by virtue of having paid by credit card or ordered by mail, such data(More)
A system of formal reasoning, termed object-oriented logic (OOL), is presented which is based on the logical concepts present in modern computer programming and not related directly to predicate logic. It is expected to be eecient in deriving simple conclusions when information is centered around objects and in combining independently designed subsystems.(More)
  • 1