Over ons

Consortium

Team

AI Vlaanderen

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 Interactive Consultant allows them to interactively find solutions to particular problems.</p>

<h5>More Information:</h5>
<ul>
<li><strong>Grand Challenge/Workpackage(s)</strong>: <a href="/nl/onderzoek/onderzoeksuitdagingen/ai-driven-data-science" data-entry-id="58" target="_blank" rel="noopener">GC1</a> - 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, Javascript</li>
<li><a href="https://www.idp-z3.be/interactive_consultant.html" 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>

<h5>Publications:</h5>
<ul>
<li>
<p>P. Carbonnelle, B. Aerts, M. Deryck, J. Vennekens, M. Denecker, "An Interactive Consultant", BNAIC/BENELEARN 2019.</p>
</li>
</ul>