C Mercier, H Chateau-Laurent, F Alexandre… - … 2021 Workshop on …, 2021 - hal.science
Some human cognitive tasks may involve tightly interleaved logical and numerical
computations. On the one hand, ontologies allow us to describe symbolic structured …