About us

Consortium

Team

Meet the Alumni

Flanders AI

Contact

<h5>Description:</h5>
<p>FO(.) is First-Order logic extended with types, arithmetic, aggregates, inductive definitions and intensional objects. Experts use this expressive language to represent knowledge in their domain, be it engineering, law or commerce. Our IDP-Z3 engine can then be used to solve a variety of problems in these domains using generic reasoning methods.</p>

<h5>More Information:</h5>
<ul>
<li><strong>Grand Challenge/Workpackage(s): </strong><a href="/en/research/research-challenges-2019-2023/ai-driven-data-science"[entry:airesearch:58:/research/research-challenges/ai-driven-data-science]data-entry-id="58" target="_blank" rel="noopener">GC1</a> -&nbsp; WP2</li>
<li><strong>Responsible Research Lead: </strong><a href="mailto:marc.denecker@kuleuven.be" target="_blank" rel="noopener">Marc Denecker</a></li>
<li><strong>Authors: </strong><a href="mailto:pierre.carbonnelle@kuleuven.be" target="_blank" rel="noopener">Pierre Carbonnelle</a></li>
<li><strong>Programming Language: </strong>Python</li>
<li><a href="https://www.idp-z3.be/#" target="_blank" rel="noopener">Link to the website</a></li>
<li><a href="https://gitlab.com/krr/IDP-Z3" target="_blank" rel="noopener">Link to the repository</a></li>
<li><strong>Categories:</strong> Symbolic AI</li>
</ul>