<https://aaai.org/#/schema/logo/image/>
<http://schema.org/width>
"1051"^^<http://www.w3.org/2001/XMLSchema#integer>
<https://aaai.org/papers/02459-2459-horn-belief-contraction-remainders-envelopes-and-complexity/>