<https://aaai.org/#organization>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/Organization>
<https://aaai.org/papers/icaps-08-037-a-compact-and-efficient-sat-encoding-for-planning/>