Expressing your knowledge about a particular domain is much simpler than writing programs. IDP-Z3 understands knowledge expressed in familiar mathematical notation and easy-to-maintain Excel-like tables.
In our daily lives, we often use the same knowledge to perform very different tasks. IDP-Z3 also has the intelligence to re-use knowledge to solve very different problems.
IDP-Z3 uses logic to rigorously make inferences. There are no black-box models. Whenever IDP-Z3 gives you a solution, it can be explained.
FO(.) (aka FO-dot) is our knowledge representation language based on first-order logic, with extensions to make it more expressive: types, (inductive) definitions, aggregates, and partial functions.
cDMN is an extension of the Decision Modelling Notation (DMN) standard. It facilitates the maintenance of knowledge bases by end-users.