Media And Press Centre

Spotlight

Highlighting our most recent significant stories.

Logical AI Software Specification & Reasoning: GSSOTC

Tau Language is a logical AI language enabling Software & AI specification with advanced AI capabilities.

Tau Language Low Level Summary

The Tau language is a language extension of other classical logics (the “base logics”) intended to be a logic whose formulas denote software specifications.

Using First-Order Theories of Boolean Algebras to Provide Safe AI Systems and a Novel Software Specification Logic

This patent is about a specification language with unique properties of high expressiveness while retaining decidability, software synthesis and referring to its own sentences.

Logical AI Software Specification & Reasoning: GSSOTC

Tau Language is a logical AI language enabling Software & AI specification with advanced AI capabilities.

Logical AI Software Specification & Reasoning: GSSOTC

Tau Language is a logical AI language enabling Software & AI specification with advanced AI capabilities.

Tau Language Low Level Summary

The Tau language is a language extension of other classical logics (the “base logics”) intended to be a logic whose formulas denote software specifications.

Menu

Start Building

Technical Support