> ## Documentation Index
> Fetch the complete documentation index at: https://aegean.ai/llms.txt
> Use this file to discover all available pages before exploring further.

# Applications of Automated Reasoning

> Real-world applications of automated reasoning in cloud security and beyond.

## Securing the cloud

Logical reasoning is used not only for scene analytics. AWS was the first cloud provider to recognize its significance and the following video shows why and what they have developed in this space. To the best of our knowledge (minus military applications we don't know) this is the largest deployment of logical reasoning technology to this day.

<iframe width="560" height="315" src="https://www.youtube.com/embed/x6wsTFnU3eY" title="AWS re:Inforce 2019: The Evolution of Automated Reasoning Technology at AWS" frameBorder="0" allowFullScreen />

***

<Callout icon="pen-to-square" iconType="regular">
  [Edit this page on GitHub](https://github.com/aegean-ai/eaia/edit/main/src/aiml-common/lectures/logical-reasoning/applications/index.mdx) or [file an issue](https://github.com/aegean-ai/eaia/issues/new/choose).
</Callout>