Build legal assistants
Quickly develop interactive apps to help make legal decisions
Quickly develop interactive apps to help make legal decisions
To find feasible solutions that meet customer requirements
Formalize domain knowledge in FO-dot, and verify it interactively with experts
You formalize the laws of your field using familiar notations. And that's it.
Our algorithm determines what matters.
It will find the consequences of what the user enters.
It verifies that decisions satisfy the laws of the field.
It reasons at the speed of light.
Re-use generic components, such as the smart user interface.
"KU Leuven has been our research partner as of the start of our commercial activities.
Since then, the DTAI research group has supported us along the way
in providing academic background to some of our developments,
and even developing innovative solutions for our clients together.
Our collaboration is fruitful for all parties involved:
we, at Intelli-Select, get to present our clients
with unseen industry solutions pushing the envelope
of what’s possible or imaginable further than
what’s currently available in the market;
and at the same time, we provide new research questions
and potential applications to the amazingly brilliant people
at KU Leuven for further investigation.
So far it has been a pleasure and we are looking forward
to continue working with the professional
and highly skilled team at KU Leuven."
Bart Coppens,
Intelli-Select